Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained
Anastasia Mavridou
,
Hamza Bourbouh
,
Dimitra Giannakopoulou
,
Thomas Pressburger
,
Mohammad Hejase
,
Pierre-Loic Garoche
,
Johann Schumann
August 2020
Cite
Type
Conference paper
Publication
Proceedings of the 28th IEEE International Requirements Engineering Conference (RE 2020), Industrial Innovation track, Zurich, Switzerland, Augsut 31, 2020
"own"
Hamza Bourbouh
Engineer at Google Zurich
Related
Towards proved formal specification and verification of STL operators as synchronous observers
CoCoSim: an automated analysis framework for Simulink/Stateflow
A Continuation Method for Computation of H $ınfty$ Gains of Linear Continuous Time Periodic Systems
Bridging the Gap Between Requirements and Simulink Model Analysis
CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models
Cite
×