Personenprofil

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

Radu Grosu

Telefon +43 1 58801 18210

E-Mailradu.grosu@tuwien.ac.at

Zugeordnet

E191-01	E902	E056-15	E056-17

Visitenkarte

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

Forschungsbereich

Name	Leitung/Mitglied
Fachbereich Resilient Embedded Systems	Mitglied
Forschungsbereich Cyber-Physical Systems	Leitung
Fachbereich Trustworthy Autonomous Cyber-Physical Systems	Mitglied

Profil

Forschungsprofil (Deutsch):

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.

Forschungsprofil (Englisch):

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.

Zielgruppe:

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

Weitere Informationen:

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

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
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

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
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

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
ComputerEngineering	100

Referenzprojekte

Titel	Webpage	Laufzeit von

Doctoral Program Logical Methods in Computer Science (LogiCS)	logic-cs.at	01.10.2014
Doctoral College Cyber-Physical Production Systems (CPPS)	dc-cpps.tuwien.ac.at	01.12.2014

Mitgliedschaft in Gremien

Bezeichnung	Sitz	Von-Bis
Artemis (Ecsel)	Österreich	01/2012 -
Cyber-Physical Systems Transatlantic Summit	Belgien	01/2014 -
IFIP Working Group 2.2	Österreich	01/2005 -
Österreichische Computer Gesellschaft	Österreich	01/2013 -

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis
ACM Transactions on Programming Languages and Systems ACM Transactions on Design Automation of Electronic Systems	unklassifiziert	Ja	Reviewer	-
ACM Transactions on Software Engineering and Methodology	unklassifiziert	Ja	Reviewer	-
Acta Informatica	SCI (Science Citation Index)	Ja	Reviewer	-
Formal Aspects of Computing	unklassifiziert	Ja	Reviewer	-
Fundamenta Informaticae IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems	unklassifiziert	Ja	Reviewer	-
IEEE Transactions on Parallel and Distributed Systems	SCI (Science Citation Index)	Ja	Reviewer	-
IEEE Transactions on Software Engineering	SCI (Science Citation Index)	Ja	Reviewer	-
Information and Computation, An International Journal	unklassifiziert	Ja	Reviewer	-
Information and Software Technology	SCI (Science Citation Index)	Ja	Reviewer	-
International Journal on Software Tools for Technology Transfer	unklassifiziert	Ja	Reviewer	-
Journal of Symbolic Computation	SCI (Science Citation Index)	Ja	Reviewer	-
The Journal of Real-Time Systems	unklassifiziert	Ja	Reviewer	-
Theoretical Computer Science	SCI (Science Citation Index)	Ja	Reviewer	-

Veranstaltung / Kongresse

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

Patente

Number	Titel	Erfinder_innen	Datum der ersten Patentanmeldung	Links zur Veröffentlichung	Länder
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...