Alarico Campetelli

According to our database1, Alarico Campetelli authored at least 6 papers between 2009 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Experiences of Application in the Automation Domain.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015
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

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

Formal Technical Process Specification and Verification for Automated Production Systems.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

2009
Don't Know for Multi-valued Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2009


  Loading...