h1

h2

h3

h4

h5
h6

123420

Lehr- und Forschungsgebiet Theorie Hybrider Systeme
IDI:(DE-82)123420_20140620

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a book  ;  ;  ;  ;  ;  ;  ;
Reachability analysis of Hybrid Rebeca models
Journal of systems architecture : JSA 167, 103493 () [10.1016/j.sysarc.2025.103493] special issue: "Reliable Software Technologies (AEiC2025) : Special issue / Guest Editors: Dr. Sara Royuela Alcazar, Dr. Laurent Pautet"  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Proceedings  ;
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023) : Special issue
10. IPM International Conference on Fundamentals of Software Engineering, FSEN 2023, TehranTehran, Iran, 4 May 2023 - 5 May 20232023-05-042023-05-05 Science of computer programming ()  GO   Download fulltextFulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article (Preface)/Contribution to a conference proceedings  ;
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)
10. IPM International Conference on Fundamentals of Software Engineering, FSEN 2023, TehranTehran, Iran, 4 May 2023 - 5 May 20232023-05-042023-05-05 Science of computer programming 243, 103244 () [10.1016/J.SCICO.2024.103244] special issue: "Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023) : Special issue / Guest Editors: Professor Hossein Hojjat, Prof. Dr. Erika Ábrahám"  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;
Introduction to the Special Issue on QEST 2022, Part 2
19. International Conference on Quantitative Evaluation of SysTems, QEST 2022, WarsawWarsaw, Poland, 13 Sep 2022 - 16 Sep 20222022-09-132022-09-16 ACM transactions on internet technology : TOIT 35(2), 9 () [10.1145/3724078]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;  ;  ;
FMplex: Exploring a Bridge between Fourier-Motzkin and SimplexArticle
Logical methods in computer science : LMCS 21(2), 13362 () [10.46298/lmcs-21(2:6)2025]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;  ;  ;  ;  ;
On Projective Delineability
2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) : [Proceedings]
26. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, TimisoaraTimisoara, Romania, 16 Sep 2024 - 19 Sep 20242024-09-162024-09-19 Pisctaway, NJ : IEEE 9-16 () [10.1109/SYNASC65383.2024.00015]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a book  ;  ;
Numerical Modeling and Analysis of Shadow Flicker Using Solar Path Functions for Enhanced Predictive Accuracy
Energies : open-access journal of related scientific research, technology development and studies in policy and management 18(2), 352 () [10.3390/en18020352] special issue: "Simulation Modelling and Analysis of a Renewable Energy System, Volume II / Special Issue Editors: Dr. Sojung Kim, Guest Editor; Dr. Sumin Kim, Guest Editor"  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint  ;  ;  ;  ;  ;  ;  ;
Hybrid Rebeca Revisited
25 Seiten () [10.48550/arXiv.2411.03160]  GO OpenAccess  Download fulltext Files  Download fulltextFulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;  ;  ;  ;
A European Project on AI-based Robotics
2024 IEEE International Conference on Teaching, Assessment and Learning for Engineering conference proceedings : December 9-12, 2024 / IEEE TALE 2024, International Conference on Teaching, Asessment, and Learning for Engineering ; technical co-sponsors: IEEE Education Society, IEEE Bangalore Section, IEEE Region 10, IEEE India Council
International Conference on Teaching, Assessment and Learning for Engineering, TALE, BengaluruBengaluru, India, 9 Dec 2024 - 12 Dec 20242024-12-092024-12-12 Piscataway, NJ : IEEE 7 Seiten () [10.1109/TALE62452.2024.10834389]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book  ;  ;
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems
Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th Birthday : part III / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15262, 309-337 () [10.1007/978-3-031-75778-5_15]  GO BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

 Record created 2014-07-16, last modified 2022-01-21
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)