HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Simone Schuler

Publications
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
Axel Busboom, Simone Schuler and Alexander Walsch
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Hybrid Modelling of a Wind Turbine
Simone Schuler, Fabiano Daher Adegas and Adolfo Anta
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark problem: an air brake model for trains
Luca Parolini, Simone Schuler and Adolfo Anta
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

benchmark2, control, controlled natural language, formal methods, formalSpec, hybrid modelling, Industrial, monitor automata, Python, Requirement Templates, requirements, requirements capture, specification templates, switched system, tool, train control, verification2, wind turbine.

Copyright © 2012-2025 easychair.org. All rights reserved.