Search for persons
X
?
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science ,
3
A Semantic-Aware, Accurate and Efficient API for (Co-)Simul..:
, In:
?
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
4
Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physic..:
, In:
?
2021 Forum on specification & Design Languages (FDL) ,
5
Debugging and Verification Tools for Lingua Franca in Gemoc..:
, In:
?
Proceedings of the 2020 International Conference on Big Data in Management ,
6
CoSim20 : An Integrated Development Environment for Accu..:
, In:
?
2019 Forum for Specification and Design Languages (FDL) ,
8
WIP on a Coordination Language to Automate the Generation o..:
, In:
?
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems ,
9
Preface to the 1st multi-paradigm modeling for cyber-physic..:
, In:
?
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
10
Towards Sketching Interfaces for Multi-paradigm Modeling:
, In:
?
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
11
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physic..:
, In:
?
Lecture Notes in Electrical Engineering; Languages, Design Methods, and Tools for Electronic System Design ,
12
Time in SCCharts:
, In:
?
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems ,
13
Towards sketching interfaces for multi-paradigm modeling:
, In:
?
14
Time in SCCharts
Technische Berichte des Instituts für Informatik ; Bericht Nr. 1805 (July 2018)
?
Software Technologies: Applications and Foundations; Lecture Notes in Computer Science ,
15