FORMATS 2009 - PDF Preprint Papers

FORMATS 2009 Formal Modeling and Analysis of Timed Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FORMATS-2009 Paper

click to vote

FORMATS
2009
Springer

133views Formal Methods» more FORMATS 2009»

Analyzing Real-Time Event-Driven Programs

14 years 7 months ago

Download www.ulb.ac.be

Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...

Pierre Ganty, Rupak Majumdar

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	133	Analyzing Real-Time Event-Driven Programs	claim
2	133	Stochastic Games for Verification of Probabilistic Timed Automata	claim
3	124	Exploiting Timed Automata for Conformance Testing of Power Measurements	claim
4	123	Realizability of Real-Time Logics	claim
5	103	Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net	claim
6	103	Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation	claim
7	94	Synthesis of Non-Interferent Timed Systems	claim
8	93	Safe Runtime Verification of Real-Time Properties	claim
9	92	Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction	claim
10	85	On the Supports of Recognizable Timed Series	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers