Export list as BibTeX file

2018

• February 2018 Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems Ben Schneider , Sebastian Voss , Monika Wenger and Alois Zoitl In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), February 2018. Details PDF BIB
• 2018 BMC with Memory Models as Modules Hernán Ponce de León , Florian Furbach , Keijo Heljanko and Roland Meyer In FMCAD, pages 1–9, 2018. IEEE. Details DOI BIB
• 2018 Compact and efficiently verifiable models for concurrent systems Hernán Ponce de León and Andrey Mokhov Formal Methods in System Design, 53():407–431, 2018. Details DOI BIB
• 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes , Javier Troya , Levi Lúcio and Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
• 2018 Incorporating negative information to process discovery of complex systems Hernán Ponce de León , Lucio Nardelli , Carmona Josep and Seppe K. L. M. vanden Broucke Inf. Sci., 422():480–496, 2018. Details DOI BIB
• 2018 Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry Michael M. Huber , Michael Brunner , Clemens Sauerwein , Carmen Cârlan and Ruth Breu In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), volume 11093 of Lecture Notes in Computer Science, pages 157–171, 2018. Springer. Details DOI BIB

2017

• September 2017 Bringing DSE to life: exploring the design space of an industrial automotive use case Johannes Eder , Sergey Zverlov , Sebastian Voss , Maged Khalil and Alexandru Ipatiov In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 270–280, September 2017. IEEE, Details DOI BIB
• September 2017 DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Jörn Migge , Ali Abbas Jaffari Syed , Gerhard Fohler , Madeleine Faugère and Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, September 2017. IEEE. Details DOI BIB
• September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio , Salman Rahman , Saad bin Abid and Alistair Mavin In Tools and Demo Session track at MoDELS 2017, pages 1–6, September 2017. Details URL BIB
• September 2017 ExplicitCase: Integrated Model-based Development of System and Safety Cases Carmen Cârlan , Simon Barner , Alexander Diewald , Alexandros Tsalidis and Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, September 2017. Springer. Details DOI BIB
• September 2017 Expressive Symbolic-Execution Contract Proving for the DSLTrans Transformation Language Bentley James Oakes , Levi Lúcio , Cláudio Gomes and Hans Vangheluwe 2017-01, September 2017. Details URL BIB
• September 2017 GSN Support of Mixed-Criticality Systems Certification Carlos-Fernando Nicolas , Fernando Eizaguirre , Asier Larrucea Ortube , Simon Barner , Franck Chauvel , Goiuria Sagardui and Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 157–172, September 2017. Springer. Details DOI BIB
• September 2017 Process-Aware Model-Driven Development Environments Levi Lúcio , Saad bin Abid , Salman Rahman , Vincent Aravantinos , Eduard Harwardt and Ralf Kuestner In MODELS Workshops, pages 405–411, September 2017. Details URL BIB
• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, June 2017. Details URL BIB
• May 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio , Salman Rahman , Chih-Hong Cheng and Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pages 427–434, May 2017. Details URL DOI BIB
• May 2017 Seamless Model-based Requirements Engineering: Models, Guidelines, Tools Sabine Teufl Dissertation, Technische Universität München, May 2017. Details URL BIB
• 2017 Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern Mario Gleirscher and Carmen Cârlan In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), pages 53–60, 2017. IEEE. Details DOI BIB
• 2017 Arguing on Software-Level Verification Techniques Appropriateness Carmen Cârlan , Barbara Gallina , Severin Kacianka and Ruth Breu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 10488 of LNCS, pages 39–54, Cham, 2017. Springer International Publishing. Details DOI BIB
• 2017 Living Safety Arguments for Open Systems Carmen Cârlan In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017. IEEE. Details DOI BIB
• 2017 Minimizing Test Suites with Unfoldings of Multithreaded Programs Olli Saarikivi , Hernán Ponce de León , Kari Kähkönen , Keijo Heljanko and Javier Esparza ACM Trans. Embedded Comput. Syst., 16(2):45:1–45:24, 2017. Details DOI BIB