This is work I did on various topics.
(read the copyright note)
N. Abed, S. Tripakis and J-M. Vincent.
Resource-Aware Verification Using Randomized Exploration of Large State Spaces.
J-F. Condotta, G. Ligozat and S. Tripakis.
Ultimately periodic qualitative constraint networks for spatial and temporal reasoning.
Folk theorems on the determinization and minimization of timed automata.
In FORMATS, 2003.
Automated Module Composition.
In TACAS, 2003.
Automated Composition of Module Chains.
In ETAPS'02 Workshop on Software Composition, 2002.
Volume 65, issue 4 of ENTCS, Elsevier.
A. Puri and S. Tripakis.
Algorithms for Routing with Multiple Constraints.
In AIPS'02 Workshop on Planning and Scheduling using Multiple Criteria, 2002.
J. Ko, R. Sengupta, S. Tripakis and M. Zennaro.
A Service Network Architecture for a Multi-Vehicle Search Mission.
In IEEE Conference on Decision and Control, 2001.
R. Attias, D. Lee, A. Puri and S. Tripakis.
A Token-Ring Medium-Access Control Protocol with Quality of Service Guarantees for Wireless Ad-hoc Networks.
In ACM MobiCom, 2001.
Extended version in Postscript.
O. Botchkarev and S. Tripakis.
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.
In Hybrid Systems: Computation and Control, 2000.
Lecture Notes in Computer Science, Springer-Verlag.
Solving Cyclic Constraints.
In Workshop on Real-Time Constraints, RTC'99, 1999.
S. Tripakis and C. Courcoubetis. Probabilistic model checking:
formalisms and algorithms for discrete and real-time systems. In
summer school Verification of Digital and Hybrid Systems, Antalya,
Back to home page of Stavros Tripakis