September 2020Generation of Co-simulation Algorithms Subject to Simulator ContractsCláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe and Peter Gorm Larsen
Software Engineering and Formal Method (SEFM 2019),
volume 12226 of LNCS,Springer, Cham.
2020Describing Capabilities of Industrie 4.0 ComponentsAndreas Bayha, Jürgen Bock, Birgit Boss, Christian Diedrich and Somayeh MalakutiGerman Electrical and Electronics Manufacturers Association, Frankfurt am Main, Germany,
December 2019Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspectiveAlexander Perzylo, Julian Grothoff, Levi Lúcio, Michael Weser, Somayeh Malakuti, Pierre Venet, Vincent Aravantinos and Torben DeppeIFAC-PapersOnLine,
September 2019Semantics of Co-simulation Algorithms with Simulator ContractsCláudio Gomes, Levi Lúcio and Hans Vangheluwe
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
September 2019SMT-Based Deployment Calculation in Industrial Automation DomainTarik Terzimehić, Monika Wenger, Sebastian Voss, Sten Grüner and Haitham Elfham
Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA),
September 2019Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop ReportTomas Bures, Danny Weyns, Bradley Schmerl, John Fitzgerald, Adina Aniculaesei, Christian Berger, Joao Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan Pettit, Robert Pettit, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss and Edith ZavalaSIGSOFT Softw. Eng. Notes,
July 2019BMC for Weak Memory Models: Relation Analysis for Compact SMT EncodingsNatalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko and Roland Meyer
Computer Aided Verification (CAV) 2019.,
volume 11561 of LNCS,Springer, Cham.