 | 2008 |
|---|
| 6 |       | Martin Ouimet,
Kristina Lundqvist:
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering.
J. UCS 14(12): 2007-2033 (2008) |
| 2007 |
|---|
| 5 |  | Martin Ouimet,
Kristina Lundqvist:
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems.
APSEC 2007: 567 |
| 4 | | Martin Ouimet,
Kristina Lundqvist:
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems.
CAV 2007: 126-130 |
| 3 | | Martin Ouimet,
Kristina Lundqvist:
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver.
Electr. Notes Theor. Comput. Sci. 190(2): 85-97 (2007) |
| 2006 |
|---|
| 2 | | Yves Boussemart,
Sébastien Gorelov,
Martin Ouimet,
Kristina Lundqvist:
Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller.
ICN/ICONS/MCL 2006: 192 |
| 1 | | Martin Ouimet,
Guillaume Berteau,
Kristina Lundqvist:
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.
MoDELS Workshops 2006: 32-41 |
