SK
Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
---|---|---|---|---|---|---|---|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development | 2019 | 264 | 219 | ||||
A domain-specific language approach to hybrid cps modelling | 2019 | 788 | 1,239 | ||||
CREST - A DSL for Reactive Cyber-Physical Systems | 10th International Conference on System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, SAM 2018 | 2018 | 244 | 244 | |||
ML4CREST: Machine Learning for CPS Models | Proceedings 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) | 2018 | 244 | 161 | |||
Petri Sport: A Sport for Petri Netters | Proceedings 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 | 2018 | 203 | 158 | |||
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning | 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018 | 2018 | 299 | 217 |