R. Grosu
发表
S. Stoller,
S. Smolka,
E. Bartocci,
2013,
RV.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2008,
CACM.
S. Smolka,
R. Grosu,
E. Entcheva,
2008,
IET systems biology.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Calin Belta,
Ezio Bartocci,
Radu Grosu,
2015,
HSCC.
Manfred Broy,
Bernhard Rumpe,
Radu Grosu,
1996
.
I. V. Ramakrishnan,
Radu Grosu,
Scott A. Smolka,
2007,
HSCC.
S. Smolka,
R. Grosu,
E. Entcheva,
2006,
2006 International Conference of the IEEE Engineering in Medicine and Biology Society.
Radu Grosu,
R. Grosu,
Gheorghe Stefanescu,
1999
.
R. Grosu,
Christian Hirsch,
M. Redl,
2018
.
A. Ciabattoni,
E. Bartocci,
R. Grosu,
2016
.
R. Grosu,
R. Breu,
2005
.
Manfred Broy,
Bran Selic,
Radu Grosu,
1998,
OOPSLA 1998.
R. Grosu,
H. Brantner,
2020
.
R. Grosu,
1999
.
Ramin M. Hasani,
R. Grosu,
Magdalena Fuchs,
2017
.
R. Grosu,
R. Breu,
2000
.
S. Stoller,
S. Smolka,
R. Grosu,
2015
.
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016
.
Verfassung der Arbeit,
R. Grosu,
M. Thesis,
2014
.
Zhichao Li,
Radu Grosu,
Erez Zadok,
2011,
SYSTOR '11.
Radu Grosu,
Scott A. Smolka,
Scott D. Stoller,
2020,
SETTA.
Manfred Broy,
Radu Grosu,
Peter Scholz,
1999,
IFIP International Federation for Information Processing.
Ramin M. Hasani,
S. Hochreiter,
T. Henzinger,
2022,
ArXiv.
Radu Grosu,
Haris Isakovic,
Zlatan Tucakovic,
2021,
2021 22nd IEEE International Conference on Industrial Technology (ICIT).
R. Grosu,
P. Neubauer,
I. Majić,
2022,
2206.13274.
Ramin M. Hasani,
T. Henzinger,
S. Smolka,
2022,
AAAI.
Graham W. Taylor,
Sinead Williamson,
R. Grosu,
2019
.
Radu Grosu,
R. Grosu,
2021,
ISPDC.
Ramin M. Hasani,
R. Grosu,
D. Thesis,
2018
.
R. Grosu,
M. Unchen,
1997
.
R. Grosu,
Luigi Berducci,
2022,
2210.11259.
J. Glimm,
F. Fenton,
E. Bartocci,
2011
.
R. Grosu,
C. Zamboglou,
A. Grosu,
2022,
ArXiv.
Ramin M. Hasani,
R. Grosu,
Lucas Liebenwein,
2022,
ArXiv.
Taylor T. Johnson,
A. Podelski,
Alexandre Donzé,
2015,
International Journal on Software Tools for Technology Transfer.
S. Stoller,
S. Smolka,
R. Grosu,
2017,
Formal Methods Syst. Des..
S. Stoller,
S. Smolka,
R. Grosu,
2009
.
Stefan Jakšić,
D. Ničković,
E. Bartocci,
2016,
RV.
E. Bartocci,
R. Grosu,
Sergiy Bogomolov,
2018,
International Journal on Software Tools for Technology Transfer.
R. Grosu,
H. Rabiee,
A. Movaghar,
2018,
Social Network Analysis and Mining.
Radu Grosu,
Daniela Rus,
Mathias Lechner,
2020,
AAAI.
Radu Grosu,
Daniela Rus,
Mathias Lechner,
2018,
ArXiv.
Ramin M. Hasani,
D. Rus,
Alexander Amini,
2018,
ArXiv.
Radu Grosu,
Nicola Paoletti,
Scott A. Smolka,
2018,
ATVA.
Radu Grosu,
Elahe Ghalebi,
Hamidreza Mahyar,
2018
.
Radu Grosu,
Hamidreza Mahyar,
K. ElaheGhalebi,
2018,
2018 International Joint Conference on Neural Networks (IJCNN).
Radu Grosu,
Guodong Wang,
Ramin M. Hasani,
2017,
IWANN.
Radu Grosu,
Mathias Lechner,
Ramin Hasani,
2020,
Nature Machine Intelligence.
Ramin M. Hasani,
R. Grosu,
D. Rus,
2021,
2022 International Conference on Robotics and Automation (ICRA).
Ramin M. Hasani,
D. Rus,
R. Grosu,
2021,
ArXiv.
Thomas A. Henzinger,
Rajeev Alur,
Radu Grosu,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Radu Grosu,
Scott A. Smolka,
Mathias Lechner,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Cyrille Jégourel,
Axel Legay,
Ezio Bartocci,
2016,
ISoLA.
Manfred Broy,
Radu Grosu,
Gheorghe Stefanescu,
1998,
Proceedings 1998 International Conference on Application of Concurrency to System Design.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2013
.
Kim G. Larsen,
Luca Cardelli,
Radu Grosu,
2021,
QEST.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2011,
CMSB.
Scott A. Smolka,
Radu Grosu,
Emilia Entcheva,
2005
.
R. Grosu,
C. Zamboglou,
T. Fechter,
2021,
ArXiv.
Radu Grosu,
Mathias Lechner,
Ramin Hasani,
2021,
ICML.
Insup Lee,
Rajeev Alur,
Radu Grosu,
2006,
J. Log. Algebraic Methods Program..
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2011,
CAV.
Rance Cleaveland,
Radu Grosu,
Scott A. Smolka,
2018,
Theor. Comput. Sci..
Radu Grosu,
Dayou Liu,
Guodong Wang,
2017,
Sensors.
Alisa S. Bettermann,
M. Benndorf,
R. Grosu,
2021,
Theranostics.
Radu Grosu,
R. Grosu,
2009,
HSCC.
Radu Grosu,
Ashish Tiwari,
Scott A. Smolka,
2020,
2002.08955.
A. Tiwari,
S. Smolka,
R. Grosu,
2020
.
Radu Grosu,
Mathias Lechner,
Ramin Hasani,
2019,
2019 International Conference on Robotics and Automation (ICRA).
H. Veith,
E. Bartocci,
R. Grosu,
2019
.
Ashish Tiwari,
Radu Grosu,
Nicola Paoletti,
2017,
SAC.
Ashish Tiwari,
Ezio Bartocci,
Radu Grosu,
2016,
TACAS.
Ashish Tiwari,
Radu Grosu,
Scott A. Smolka,
2016,
CONCUR.
Radu Grosu,
Oliviero Riganelli,
Scott A. Smolka,
2008,
MASCOTS.
Radu Grosu,
Ashish Tiwari,
Scott A. Smolka,
2019,
FoSSaCS.
Baharan Mirzasoleiman,
Jure Leskovec,
Radu Grosu,
2018,
NeurIPS.
Ezio Bartocci,
Radu Grosu,
Denise Ratasich,
2017,
IWANN.
Radu Grosu,
Ramin M. Hasani,
Magdalena Fuchs,
2017,
ArXiv.
Non-Associative Learning Representation in the Nervous System of the Nematode Caenorhabditis elegans
pdf
Radu Grosu,
Ramin M. Hasani,
Magdalena Fuchs,
2017,
ArXiv.
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Radu Grosu,
Edmund M. Clarke,
Scott A. Smolka,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Radu Grosu,
Scott A. Smolka,
Chuchu Fan,
2015,
HSB.
Rupinder Singh,
Samuel Sanchez,
Diquan Moore,
2011,
Advances in physiology education.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2009,
Theor. Comput. Sci..
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2008,
BMC Bioinformatics.
R. Grosu,
Penghua Li,
Zhongwei Deng,
2022,
Renewable and Sustainable Energy Reviews.
Ezio Bartocci,
Radu Grosu,
Oliviero Riganelli,
2008,
Concurrency, Graphs and Models.
Radu Grosu,
Scott A. Smolka,
S. Smolka,
2005,
TACAS.
Manfred Broy,
Ingolf Krüger,
Radu Grosu,
1998,
DIPES.
Radu Grosu,
Scott A. Smolka,
Stavros Tripakis,
2006,
Monterey Workshop.
Bernhard Rumpe,
Ruth Breu,
Radu Grosu,
1997,
ECOOP Workshops.
Thomas A. Henzinger,
Radu Grosu,
Daniela Rus,
2021,
2021 IEEE International Conference on Robotics and Automation (ICRA).
Radu Grosu,
R. Grosu,
1995
.
Radu Grosu,
Scott A. Smolka,
Scott D. Stoller,
2017,
ArXiv.
Radu Grosu,
Scott A. Smolka,
Karem A. Sakallah,
2009,
IFM.
Rajeev Alur,
Radu Grosu,
R. Alur,
2004,
TOPL.
Radu Grosu,
Scott A. Smolka,
S. Smolka,
2004,
ISoLA.
Radu Grosu,
R. Grosu,
2000,
MFCS.
R. Alur,
R. Grosu,
2000,
POPL '00.
Ezio Bartocci,
Radu Grosu,
Erez Zadok,
2011,
RV.
C. R. Ramakrishnan,
Ezio Bartocci,
Radu Grosu,
2011,
TACAS.
Radu Grosu,
Scott A. Smolka,
Mathias Lechner,
2020,
AAAI.
Radu Grosu,
Daniela Rus,
Mathias Lechner,
2020,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Radu Grosu,
Alexandra Brintrup,
Ramin M. Hasani,
2019,
Appl. Soft Comput..
Radu Grosu,
Daniela Rus,
Mathias Lechner,
2018,
2019 International Joint Conference on Neural Networks (IJCNN).
Radu Grosu,
Ramin Hasani,
Padraig Gleeson,
2018,
Philosophical Transactions of the Royal Society B: Biological Sciences.
Radu Grosu,
Dieter Haerle,
Ramin M. Hasani,
2016,
2016 12th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME).
Radu Grosu,
Mathias Lechner,
Daniela Rus,
2020,
ICML.
Thomas A. Henzinger,
Radu Grosu,
Daniela Rus,
2021,
ArXiv.
Muhammad Shafique,
Radu Grosu,
Haris Isakovic,
2017,
2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC).
R. Grosu,
Haris Isakovic,
E. Crespo,
2020,
SmartCity360°.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2017,
CAV.
Rajeev Alur,
Radu Grosu,
Michael McDougall,
2000,
CAV.
Muhammad Shafique,
Ezio Bartocci,
Radu Grosu,
2018,
IEEE Access.
Radu Grosu,
Hamid R. Rabiee,
Ali Movaghar,
2018
.
Abhishek Rai,
Radu Grosu,
Erez Zadok,
2006,
MBT.
Radu Grosu,
Scott A. Smolka,
S. Smolka,
2006,
APC 25.
Radu Grosu,
Sumit Jain,
Scott A. Smolka,
2006,
SoftMC@CAV.
Radu Grosu,
R. Grosu,
2005
.
R. Grosu,
C. Zamboglou,
A. Grosu,
2023,
Comput. Medical Imaging Graph..
Radu Grosu,
Ali Movaghar-Rahimabadi,
Mohammad Firouzi,
2016,
Social Network Analysis and Mining.
Antoine Girard,
Radu Grosu,
Scott A. Smolka,
2014,
HSCC.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2012,
CMSB.
Radu Grosu,
Schahram Dustdar,
Haris Isakovic,
2019,
IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society.
R. Grosu,
Lukas Esterle,
2016,
Elektrotech. Informationstechnik.
Manfred Broy,
Radu Grosu,
Andreas Rausch,
1999,
Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.
Bernhard Rumpe,
Ingolf Krüger,
Ruth Breu,
1998,
Comput. Stand. Interfaces.
Manfred Broy,
Radu Grosu,
Cornel Klein,
1997,
FME.
Radu Grosu,
Penghua Li,
Yifeng Yang,
2022,
IEEE Transactions on Intelligent Transportation Systems.
Bernhard Rumpe,
Ruth Breu,
Radu Grosu,
2014,
UML Workshop.
Manfred Broy,
Radu Grosu,
Franz Regensburger,
1993
.
Radu Grosu,
Guodong Wang,
Ramin M. Hasani,
2017,
2017 IEEE International Conference on Industrial Technology (ICIT).
D. Ničković,
E. Bartocci,
R. Grosu,
2021,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2021,
ArXiv.
R. Grosu,
D. Thesis,
C. Djelassi,
2016
.
Radu Grosu,
Scott A. Smolka,
Lukas Esterle,
2017,
ATVA.
C. R. Ramakrishnan,
Radu Grosu,
Doron A. Peled,
2014,
ISoLA.
Ingolf Krüger,
Radu Grosu,
Thomas Stauner,
2000,
Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).
Ingolf Krüger,
Radu Grosu,
Thomas Stauner,
1999,
Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems.
Ezio Bartocci,
Radu Grosu,
Denise Ratasich,
2019,
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
Radu Grosu,
Denise Ratasich,
Konstantin Selyunin,
2018,
2018 IEEE Industrial Cyber-Physical Systems (ICPS).
Edgar A. Aguilar,
R. Grosu,
Luigi Berducci,
2021,
2110.02792.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2015,
Theor. Comput. Sci..
Radu Grosu,
Haris Isakovic,
Alexander Fasching,
2019,
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT).
E. Beyne,
J. Abella,
D. Ielmini,
2023,
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Radu Grosu,
Alejandra Ruiz,
Georg Macher,
2018
.
An Automated Auto-encoder Correlation-based Health-Monitoring and Prognostic Method for Machine Bearings
pdf
Radu Grosu,
Guodong Wang,
Ramin M. Hasani,
2017,
ArXiv.
Radu Grosu,
Denise Ratasich,
Bernhard Frömel,
2015,
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Radu Grosu,
Guodong Wang,
Ramin M. Hasani,
2019,
AAAI.
Radu Grosu,
Scott A. Smolka,
Denise Ratasich,
2015,
RV.
Radu Grosu,
Elahe Ghalebi,
Hamidreza Mahyar,
2017
.
Radu Grosu,
Nicola Paoletti,
Scott A. Smolka,
2019,
NFM.
Ezio Bartocci,
Radu Grosu,
Christian Hirsch,
2019,
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT).
S. Stoller,
S. Smolka,
R. Grosu,
2012,
International Journal on Software Tools for Technology Transfer.
Insup Lee,
Rajeev Alur,
Radu Grosu,
2001,
HSCC.
Rajeev Alur,
Radu Grosu,
Bow-Yaw Wang,
2000,
FMCAD.
Ezio Bartocci,
Radu Grosu,
Scott A. Smolka,
2011,
2011 IEEE 34th Software Engineering Workshop.
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2019,
International Journal on Software Tools for Technology Transfer.
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2015,
Haifa Verification Conference.
Vijay Kumar,
Radu Grosu,
Janos Sztipanovits,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Ashish Tiwari,
Radu Grosu,
Scott A. Smolka,
2019,
SAC.
Radu Grosu,
Ashish Tiwari,
Scott A. Smolka,
2020,
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS).
Harry Eugene Stanley,
Radu Grosu,
Rouzbeh Hasheminezhad,
2018,
COMPLEX NETWORKS.
Radu Grosu,
Scott A. Smolka,
Md. Ariful Islam,
2017
.
Radu Grosu,
Scott A. Smolka,
Abhishek Murthy,
2015,
HSCC.
R. Grosu,
Sophie A. Neubauer,
2023,
Principles of Systems Design.
Radu Grosu,
Scott A. Smolka,
Jacek Cyranka,
2019,
ARCH@CPSIoTWeek.
Radu Grosu,
Scott A. Smolka,
Sicun Gao,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Radu Grosu,
Scott A. Smolka,
Paul L. Jones,
2017,
CAV.
Arndt von Twickel,
Christian Berghoff,
R. Grosu,
2011
.
Rajarshi Ray,
E. Asarin,
A. Podelski,
2012
.
R. Grosu,
H. Mahyar,
Peter Tulala,
2022,
2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA).
Radu Grosu,
Mathias Lechner,
Ramin M. Hasani,
2018,
ArXiv.
Radu Grosu,
Franz Regensburger,
R. Grosu,
1993,
HOA.
R. Grosu,
K. Stoelen,
1995
.
Radu Grosu,
Dieter Nazareth,
R. Grosu,
1994
.
Radu Grosu,
G. Wang,
R. Grosu,
2017
.
Radu Grosu,
Guodong Wang,
Mohamed Amin Ben Sassi,
2018,
2018 IEEE Industrial Cyber-Physical Systems (ICPS).
Radu Grosu,
Alessio Lomuscio,
Christian F. Baumgartner,
2017,
2017 International Joint Conference on Neural Networks (IJCNN).
C. R. Ramakrishnan,
Radu Grosu,
Oliviero Riganelli,
2008,
2008 11th IEEE High Assurance Systems Engineering Symposium.
S. Smolka,
E. Bartocci,
R. Grosu,
2013,
IEEE/ACM Transactions on Computational Biology & Bioinformatics.
Richard A. Gray,
Ezio Bartocci,
Radu Grosu,
2011,
CMSB.
D. Ničković,
E. Bartocci,
R. Grosu,
2023,
2023 60th ACM/IEEE Design Automation Conference (DAC).
R. Grosu,
Luigi Berducci,
Shuo Yang,
2023,
ArXiv.
Radu Grosu,
Gheorghe Stefanescu,
Dorel Lucanu,
2000,
J. Univers. Comput. Sci..
Radu Grosu,
Ali Movaghar-Rahimabadi,
Hamidreza Mahyar,
2018,
Principles of Modeling.
S. Smolka,
R. Grosu,
Ashish Tiwari,
2020,
ArXiv.
Radu Grosu,
Nicola Paoletti,
Scott A. Smolka,
2017,
ArXiv.
Radu Grosu,
R. Grosu,
2010,
CIAA.
Arndt von Twickel,
Mark Fleischer,
Christian Berghoff,
2005,
nlin/0502003.
Radu Grosu,
Lukas Esterle,
R. Grosu,
2016,
e & i Elektrotechnik und Informationstechnik.
Manfred Broy,
Bran Selic,
Radu Grosu,
1999,
Behavioral Specifications of Businesses and Systems.
Radu Grosu,
Scott A. Smolka,
S. Smolka,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Rajeev Alur,
Radu Grosu,
R. Alur,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Radu Grosu,
Scott A. Smolka,
Pei Ye,
2008,
CMSB.
Radu Grosu,
Scott A. Smolka,
P Ye,
2008
.
R. Grosu,
Felix Resch,
D. Scheuchenstuhl,
2023,
ArXiv.
Radu Grosu,
Erez Zadok,
Scott A. Smolka,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
Radu Grosu,
Erez Zadok,
Scott A. Smolka,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Arndt von Twickel,
Matthias Neu,
R. Grosu,
2022
.
Vijay Kumar,
Insup Lee,
Rajeev Alur,
2000,
HSCC.
Manfred Broy,
Radu Grosu,
Thomas Stauner,
1998,
FTRTFT.
P. Priller,
D. Ničković,
R. Grosu,
2024,
ArXiv.
L. Cardelli,
K. Larsen,
R. Grosu,
2023,
IEEE Transactions on Automatic Control.
Ezio Bartocci,
Radu Grosu,
Houssam Abbas,
2016,
CMSB.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2016,
Formal Methods in System Design.
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Dejan Nickovic,
Ezio Bartocci,
Radu Grosu,
2012,
ATVA.
Ezio Bartocci,
Radu Grosu,
Erez Zadok,
2012,
RV.
Ezio Bartocci,
Radu Grosu,
Dejan Ničković,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Radu Grosu,
Elahe Ghalebi,
Hamidreza Mahyar,
2019,
ArXiv.
Sinead Williamson,
R. Grosu,
H. Mahyar,
2021
.
S. Stoller,
S. Smolka,
R. Grosu,
2022,
Leveraging Applications of Formal Methods.
S. Stoller,
S. Smolka,
R. Grosu,
2022
.
A. Tiwari,
S. Stoller,
S. Smolka,
2022,
2023 IEEE International Conference on Robotics and Automation (ICRA).
Axel Legay,
Radu Grosu,
Scott A. Smolka,
2019,
Computing and Software Science.
R. Grosu,
Z. Babaiee,
Peyman M. Kiasari,
2024,
2401.14469.
R. Grosu,
M'onika Farsang,
2024,
2403.08791.
Ramin M. Hasani,
R. Grosu,
Mathias Lechner,
2023,
ArXiv.
Ramin M. Hasani,
D. Rus,
Alexander Amini,
2020,
ICML.
Sergiy Bogomolov,
Radu Grosu,
Andreas Podelski,
2014,
Haifa Verification Conference.
Ezio Bartocci,
Radu Grosu,
Denise Ratasich,
2015,
ArXiv.