Alarico Campetelli

According to our database, Alarico Campetelli authored at least 7 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Experiences of Application in the Automation Domain.

Ulrich Löwen, Birthe Böhm, Alarico Campetelli, Maria Davidich, Florian Zimmer

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

An Approach for Hybrid Modelling and Formal Verification in FOCUS.

Alarico Campetelli

PhD thesis, 2015

A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.

Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

2014

Towards system development methodologies: From software to cyber-physical domain.

Maria Spichkova, Alarico Campetelli

CoRR, 2014

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.

Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser

Autom., 2014

Formal Technical Process Specification and Verification for Automated Production Systems.

Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

2009

<i>Don't Know</i> for Multi-valued Systems.

Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma

Proceedings of the Automated Technology for Verification and Analysis, 2009