Martin Ouimet

According to our database, Martin Ouimet authored at least 7 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering.

Martin Ouimet, Kristina Lundqvist

J. Univers. Comput. Sci., 2008

2007

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver.

Martin Ouimet, Kristina Lundqvist

Proceedings of the Third Workshop on Model Based Testing, 2007

Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes.

Martin Ouimet, Kristina Lundqvist

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems.

Martin Ouimet, Kristina Lundqvist

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems.

Martin Ouimet, Kristina Lundqvist

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.

Martin Ouimet, Guillaume Berteau, Kristina Lundqvist

Proceedings of the Models in Software Engineering, 2006

Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller.

Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006