Person profile

Univ.Prof. Dipl.-Ing. Dr.rer.nat. Dr.h.c.

Radu Grosu

Phone +43 1 58801 18210

E-Mailradu.grosu@tuwien.ac.at

Assigned

E191-01	E056-17

Business Card

https://orcid.org/0000-0001-5715-2142

Research area

Name	Management/Member
	Member
Research Unit of Cyber-Physical Systems	Management
Service Unit of Trustworthy Autonomous Cyber-Physical Systems	Member

Profile

Research profile (German):

Forschungsinteressen: Modellierung, Analyse und Steuerung von cyber-physicalischen und biologischen Systemen; Applikations-Schwerpunkt liegt auf umweltfreundlichen Betriebssystemen, mobilen Ad-Hoc Netzwerken, Automobilsysteme, Mars-Rover, Herzzellen-Netzwerken und Genregulationsnetzwerken.

Research profile (English):

research interests include modeling, analysis and control of cyber-physical and biological systems and application focus includes green operating systems, mobile ad-hoc networks, automotive systems, the Mars rover, cardiac-cell networks and genetic regulatory networks.

Target group:

nationale und internationale Kooperationspartner in den Bereichen Cyber-Physical Systems and Biological Systems

Additional information:

CV und weitere Informationen auf Homepage ti.tuwien.ac.at/cps/people/grosu

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
Modellierung	Modelling
Steuerung	Control
Cyber-Physical Systems	Cyber-Physical Systems
Verifikation	Verification
Analyse	Analysis
Abstraktion	Abstraction
Stochastic Model Checking	Stochastic Model Checking
Kompositionales Beweisen	Compositional Reasoning
Modellierung, Analyse und Steuerung von Herzzellen-Netzwerke	Modelling, Analysis and Control of Cardiac-Cell Networks

Research Focal Areas

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	10
Information and Communication Technology	Computer Engineering and Software-Intensive Systems	Dependable Networked Embedded Systems, Fehlertolerante verteilte Echtzeitsysteme, Zeitgesteuerte Echtzeitsysteme, Dependable Systems-on-Chip, Model-based Design, Validation & Verification, Automation Systems, Speichersysteme	70
Information and Communication Technology	Automation and Robotics	Adaptive Automation, Cognitive Automation and Robotics, Biological Computer Principles	20

Faculty focus

Faculty focus	Percentage
ComputerEngineering	100

Reference Projects

Title	Funding program	Function	Website	From
National, FFG - Austrian Research Promotion Agency
Doctoral Program Logical Methods in Computer Science (LogiCS)	structural program		logic-cs.at	01.10.2014
TUW-intern, TU Wien
Doctoral College Cyber-Physical Production Systems (CPPS)	Internal research funding	Participation / Faculty	dc-cpps.tuwien.ac.at	01.12.2014

Membership in committee

Description	Location	From-To
Artemis (Ecsel)	Austria	01/2012 -
Cyber-Physical Systems Transatlantic Summit	Belgium	01/2014 -
IFIP Working Group 2.2	Austria	01/2005 -
Österreichische Computer Gesellschaft	Austria	01/2013 -

Journal participation

Title	Classification	Referenced	Function	From-To
ACM Transactions on Programming Languages and Systems ACM Transactions on Design Automation of Electronic Systems	unclassified	Yes	Reviewer	-
ACM Transactions on Software Engineering and Methodology	unclassified	Yes	Reviewer	-
Acta Informatica	SCI (Science Citation Index)	Yes	Reviewer	-
Formal Aspects of Computing	unclassified	Yes	Reviewer	-
Fundamenta Informaticae IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems	unclassified	Yes	Reviewer	-
IEEE Transactions on Parallel and Distributed Systems	SCI (Science Citation Index)	Yes	Reviewer	-
IEEE Transactions on Software Engineering	SCI (Science Citation Index)	Yes	Reviewer	-
Information and Computation, An International Journal	unclassified	Yes	Reviewer	-
Information and Software Technology	SCI (Science Citation Index)	Yes	Reviewer	-
International Journal on Software Tools for Technology Transfer	unclassified	Yes	Reviewer	-
Journal of Symbolic Computation	SCI (Science Citation Index)	Yes	Reviewer	-
The Journal of Real-Time Systems	unclassified	Yes	Reviewer	-
Theoretical Computer Science	SCI (Science Citation Index)	Yes	Reviewer	-

Events / Conferences

Category	Collaboration	Event name	From	Until	Function/Comments
Scientific Conference / Symposium	Organisator_in	The 15th International Conference on Runtime Verification (RV 2015)	09/2015	09/2015	General Chair und Organisator
Scientific Conference / Symposium	Organisator_in	Cyber-Physical-Systems Week 2016	04/2016	04/2016	General Chair und Organisator
Scientific Conference / Symposium	Organisator_in	FBTC'10, 3rd Int. Workshop From Biology to Concurrency and Back			PC Member
Scientific Conference / Symposium	Organisator_in	V'10, 1st Int. Conf. on Runtime Verification			PC Member
Scientific Conference / Symposium	Organisator_in	HSCC'09, 12th Int. Conf. on Hybrid Systems: Computation and Control			PC Member
Scientific Conference / Symposium	Organisator_in	FSEN'10, the IPM Int. Symp. on Fundamentals of Software Engineering			PC Member
Scientific Conference / Symposium	Organisator_in	FSEN'09, IPM Int. Symp. on Fundamentals of Software Engineering			PC Member
Scientific Conference / Symposium	Organisator_in	RV'09, 9th Int. Workshop on Runtime Verification			PC Member
Scientific Conference / Symposium	Organisator_in	From Biology to Concurrency and Back Workshop			PC Member
Scientific Conference / Symposium	Organisator_in	Int. Workshop on Network Tools and Applications in Biology			PC Member
Scientific Conference / Symposium	Organisator_in	FM'08, 15th Int. Symp. on Formal Methods			PC Member
Scientific Conference / Symposium	Organisator_in	AMAST'08, 12th Int. Conf. on Algebraic Methodology and Software Technology			PC Member
Scientific Conference / Symposium	Organisator_in	FSEN'08, IPM Int. Symp. on Fundamentals of Software Engineering			PC Member
Scientific Conference / Symposium	Organisator_in	HSCC'08, 11th Int. Conf. on Hybrid Systems: Computation and Control			PC Member
Scientific Conference / Symposium	Organisator_in	ICCP'07, IEEE 3nd Int. Conf. on Intelligent Computer Communication and Processing,			PC Member
Scientific Conference / Symposium	Organisator_in	HSCC'07, 10th Int. Conf. on Hybrid Systems: Computation and Control			PC Member
Scientific Conference / Symposium	Organisator_in	FSEN'07, IPM Int. Symp. on Fundamentals of Software Engineering			PC Member
Scientific Conference / Symposium	Organisator_in	FBTC'07, From Biology to Concurrency and Back Int. Workshop			PC Member
Scientific Conference / Symposium	Organisator_in	SAC'06, 21st ACM Symp. on Applied Computing, Dijon			PC Member
Scientific Conference / Symposium	Organisator_in	ICCP'06, IEEE 2nd Int. Conf. on Intelligent Computer Communication and Processing			PC Member
Scientific Conference / Symposium	Organisator_in	ACSD'05, the 5th Int. Conf. on Application of Concurrency to System Design			PC Member
Scientific Conference / Symposium	Organisator_in	ACSD'06, 6th Int. Conf. on Application of Concurrency to System Design			PC Member
Scientific Conference / Symposium	Organisator_in	ACSD'04, the 4th Int. Conf. on Application of Concurrency to System Design			PC Member
Scientific Conference / Symposium	Organisator_in	VMCAI'04, the 5th Int. Conf. on Verification, Model Checking and Abstract Interpretation			PC Member
Scientific Conference / Symposium	Organisator_in	CSDUML'03, Workshop on Critical Systems Development with UML			PC Member
Scientific Conference / Symposium	Organisator_in	CSDUML'04, Workshop on Critical Systems Development with UML			PC Member
Scientific Conference / Symposium	Organisator_in	CSDUML'02, Workshop on Critical Systems Development with UML			PC Member
Scientific Conference / Symposium	Organisator_in	VMCAI'03, the 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation			PC Member
Scientific Conference / Symposium	Organisator_in	AMAST'00, the 8th Int. Conf. on Algebraic Methodology And Software Technology			PC Member
Scientific Conference / Symposium	Organisator_in	ISORC'00, the 3rd IEEE Int. Symp. on Object-oriented, Real-time distributed Computing			PC Member
Scientific Conference / Symposium	Organisator_in	WDS'99, Workshop on formal methods applied to Distributed Systems			PC Member
Scientific Conference / Symposium	Organisator_in	UML'99, the 2nd Int. Conf. on the Unified Modeling Language			PC Member
Scientific Conference / Symposium	Organisator_in	HSCC'13, the 16th Int. Conf. on Hybrid Systems: Computation and Control			PC Member
Scientific Conference / Symposium	Organisator_in	First International SPIN Symposium on Model Checking of Software			PC Member
Scientific Conference / Symposium	Organisator_in	Die Deutsche Multikonferenz Software Engineering			PC Member
Scientific Conference / Symposium	Organisator_in	FSEN'13, the IPM Int. Symp. on Fundamentals of Software Engineering			PC Member
Scientific Conference / Symposium	Organisator_in	HSCC'12, the 15h Int. Conf. on Hybrid Systems: Computation and Control,			PC Member
Scientific Conference / Symposium	Organisator_in	BioTechno'13, the Fifth International Conference on Bioinformatics, Biocomputational Sys- tems and Biotechnologies			PC Member
Scientific Conference / Symposium	Organisator_in	FORMATS'11, the 9th Int. Conf. on Formal Modeling and Analysis of Timed Systems			PC Member
Scientific Conference / Symposium	Organisator_in	SEW-35, the 35th Annual IEEE Software Engineering Workshop			PC Member
Scientific Conference / Symposium	Organisator_in	SEW-34, the 34th Annual IEEE Software Engineering Workshop			PC Member
Scientific Conference / Symposium	Organisator_in	RV'11, the 2nd Int. Conf. on Runtime Verification			PC Member
Scientific Conference / Symposium	Organisator_in	HSCC'11, the 14th Int. Conf. on Hybrid Systems: Computation and Control			PC Member
Scientific Conference / Symposium	Organisator_in	HCMDSS/MDPnP'11, the 3rd Joint Workshop On High Confidence Medical Devices, Soft- ware, and Systems & Medical Device Plug-and-Play Interoperability			PC Member
Scientific Conference / Symposium	Organisator_in	FSEN'11, the IPM Int. Symp. on Fundamentals of Software Engineering			PC Member
Scientific Conference / Symposium	Organisator_in	NFM'11, the 3rd NASA Formal Methods Symposium			PC Member
Scientific Conference / Symposium	Organisator_in	HSCB'09, 1st Int. Workshop on Hybrid Systems Approaches to Computational Biology Workshop			Program Co-Chair und Co-Organisator
Scientific Conference / Symposium	Organisator_in	HSCC'11, the 14th Int. Conf. on Hybrid Systems: Computation and Control			Program Co-Chair und Co-Organisator
Scientific Conference / Symposium	Organisator_in	Dagstuhl Seminar 06411: Specification, Verification and Testing of Open Systems,			Program Co-Chair und Co-Organisator
Scientific Conference / Symposium	Organisator_in	ICCP'06, the IEEE 2nd Int. Conf. on Intelligent Computer Communication and Processing			Program Co-Chair und Co-Organisator
Scientific Conference / Symposium	Organisator_in	CoFI'96, Common Framework Initiative Meeting			Program Co-Chair und Co-Organisator
Scientific Conference / Symposium	Organisator_in	VMCAI'03, the 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation			Program Co-Chair und Co-Organisator

Patents

Number	Title	Inventors	Date of First Patent Application	Publishing Links	Countries
DE19837871	Automatic generation of computer program for system with interacting components, being based upon interaction specification	Broy Manfred, Grosu Radu, Krueger Ingolf	03/2000	worldwide.espacenet.com/public...
US6405361	Automatically Generating a Program	Broy Manfred, Grosu Radu, Krueger Ingolf	06/2002	worldwide.espacenet.com/public...