SK
Publications
6
Views
2,042
Downloads
2,238
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 264 219
A domain-specific language approach to hybrid cps modelling
accessLevelPublic
2019 788 1,239
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 244 244
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 244 161
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 203 158
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 299 217
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack