Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
ISOLA 2016 - 7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation
Date2016-10-05 - 2016-10-14
Deadline2016-05-02
VenueGrecotel Corfu Imperial Exclusive Resort, Greece 
KeywordsRigorous Tools; Designers; Developers
Topics/Call fo Papers
Correctness-by-Construction and Post-hoc Verification: friends or foes?
Static and Runtime Verification: Competitors or Friends?
Testing the Internet of Things
Rigorous Engineering of Collective Adaptive Systems
RVE: Runtime Verification and Enforcement, the (industrial) application perspective
ModSyn-PP: Modular Synthesis of Programs and Processes
Variability modelling for scalable software evolution
Statistical Model Checking
Detecting and Understanding Software Doping
Formal Methods and Safety Certification: Challenges in the Railways Domain
Semantic heterogeneity in the formal development of complex systems
Static and Runtime Verification: Competitors or Friends?
Testing the Internet of Things
Rigorous Engineering of Collective Adaptive Systems
RVE: Runtime Verification and Enforcement, the (industrial) application perspective
ModSyn-PP: Modular Synthesis of Programs and Processes
Variability modelling for scalable software evolution
Statistical Model Checking
Detecting and Understanding Software Doping
Formal Methods and Safety Certification: Challenges in the Railways Domain
Semantic heterogeneity in the formal development of complex systems
Other CFPs
- 1st “Int. Workshop on Multimodal Interaction in Industrial Human-Machine Communication
- 7th 4DIAC Users' Workshop
- 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H’2016)
- 1st Int. Workshop on Design Thinking in the Age of Smart Factories
- 2nd International Workshop on Robotics Technology Transfer: Innovation from Academia to Industry (RTT2016)
Last modified: 2016-04-21 22:48:25