Alarico Campetelli

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Formal Verification

Behavior Patterns

Development Methodologies

Top Venues

Software Engineering (Workshops)

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. Software Engineering (Workshops) (2015)
Maria Spichkova, Alarico Campetelli
Towards system development methodologies: From software to cyber-physical domain. CoRR (2014)
Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance. Autom. 62 (11) (2014)
Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser
Formal Technical Process Specification and Verification for Automated Production Systems. SAM (2014)
Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma
for Multi-valued Systems. ATVA (2009)