SK
Publications
6
Views
2,087
Downloads
2,271
Supervised works
0
Items per page
1 - 6 of 6
Title Published in Access level OA Policy Year Views Downloads
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
accessLevelPublic
2019 270 223
A domain-specific language approach to hybrid cps modelling
accessLevelPublic
2019 814 1,240
CREST - A DSL for Reactive Cyber-Physical Systems10th International Conference on System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, SAM 2018
accessLevelPublic
2018 250 249
ML4CREST: Machine Learning for CPS ModelsProceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018)
accessLevelPublic
2018 246 176
Petri Sport: A Sport for Petri NettersProceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets and the 18th International Conference on Application of Concurrency to System Design ACSD
accessLevelPublic
2018 207 162
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018
accessLevelPublic
2018 300 221
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack