SIMPRA
2010
13 years 2 months ago
2010
SIMPRA
2010
13 years 2 months ago
2010
SIGSPATIAL
2010
13 years 2 months ago
2010
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a use...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
