According to our database1, Alarico Campetelli authored at least 6 papers between 2009 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Experiences of Application in the Automation Domain.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016
An Approach for Hybrid Modelling and Formal Verification in FOCUS.
PhD thesis, 2015
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
Formal Technical Process Specification and Verification for Automated Production Systems.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Don't Know for Multi-valued Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2009