Martin Ouimet

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Martin Ouimet, Kristina Lundqvist
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. J. Univers. Comput. Sci. 14 (12) (2008)
Martin Ouimet, Kristina Lundqvist
Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes. MiSE@ICSE (2007)
Martin Ouimet, Kristina Lundqvist
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. CAV (2007)
Martin Ouimet, Kristina Lundqvist
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. APSEC (2007)
Martin Ouimet, Kristina Lundqvist
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Martin Ouimet, Guillaume Berteau, Kristina Lundqvist
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. MoDELS (Workshops) (2006)
Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist
Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. ICN/ICONS/MCL (2006)