Author image not provided
 Martin Ouimet

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article2.40
Citation Count12
Publication count5
Publication years2006-2007
Available for download1
Average downloads per article137.00
Downloads (cumulative)137
Downloads (12 Months)0
Downloads (6 Weeks)0
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


5 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 5 of 5
Sort by:

1
July 2007 CAV'07: Proceedings of the 19th international conference on Computer aided verification
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 7

In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) language, a specification language for reactive real-time systems. The TASM language enables the specification of functional and nonfunctional properties using a unified language. The ...

2
May 2007 ICSEW '07: Proceedings of the 29th International Conference on Software Engineering Workshops
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

In this paper, we present some of the issues encountered when trying to apply model-driven approaches to the engineering of real-time systems. In real-time systems, quantitative values of time, as reflected through the duration of actions, are central to the system's correctness. We review basic time concepts and explain how ...

3
May 2007 MISE '07: Proceedings of the International Workshop on Modeling in Software Engineering
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 0,   Downloads (Overall): 137

Full text available: PDFPDF
In this paper, we present some of the issues encountered when trying to apply model-driven approaches to the engineering of real-time systems. In real-time systems, quantitative values of time, as reflected through the duration of actions, are central to the system's correctness. We review basic time concepts and explain how ...

4
October 2006 MoDELS'06: Proceedings of the 2006 international conference on Models in software engineering
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 3

In this paper, we present an integrated toolset that implements the features of the Timed Abstract State Machine (TASM) language, a novel specification language for embedded real-time systems. The toolset enables the creation of executable specifications with well-defined execution semantics, abstraction mechanisms, and composition semantics. The features of the toolset ...
Keywords: modeling, real-time systems, embedded systems, formal specification, simulation

5
April 2006 ICNICONSMCL '06: Proceedings of the International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 2

This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a hybrid system created at a major automotive company. We use Gurkh as a framework within which we translate the hybrid model into a set ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us