Search For:

Displaying 1-4 out of 4 total
Generating Efficient Distributed Deadlock Avoidance Controllers
Found in: Parallel and Distributed Processing Symposium, International
By Cesar Sanchez, Henny B. Sipma, Zohar Manna
Issue Date:March 2007
pp. 167
General solutions to deadlock avoidance in distributed systems are considered impractical due to the high communication overhead. In previous work we showed that practical solutions exist when all possible sequences of resource requests are known a priori ...
LOLA: Runtime Monitoring of Synchronous Systems
Found in: Temporal Representation and Reasoning, International Syposium on
By Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
Issue Date:June 2005
pp. 166-174
<p>We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitoring is useful not only for testing, but also under actual deployment. The specific...
On the Sustained Use of a Test-Driven Development Practice at IBM
Found in: AGILE Conference
By Julio Cesar Sanchez, Laurie Williams, E. Michael Maximilien
Issue Date:August 2007
pp. 5-14
No summary available.
Regular Linear-Time Temporal Logic
Found in: Temporal Representation and Reasoning, International Syposium on
By Martin Leucker, César Sánchez
Issue Date:September 2010
pp. 3-5
This extended abstract presents the main ideas behind regular linear-time temporal logic (RLTL), a logic that generalizes linear-time temporal logic (LTL) with the ability to use regular expressions arbitrarily as sub-expressions. Unlike LTL, RLTL can defi...