Martin Ouimet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2007
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | APSEC | The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. | Martin Ouimet, Kristina Lundqvist |
| 2007 | CAV | The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. | Martin Ouimet, Kristina Lundqvist |
| 2007 | ICSE | Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes. | Martin Ouimet, Kristina Lundqvist |
| 2006 | MODELS | Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. | Martin Ouimet, Guillaume Berteau, Kristina Lundqvist |