The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Stavros Tripakis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stavros Tripakis
    Two-Phase Distributed Observation Problems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:98-105 [Conf]
  2. Karine Altisen, Franck Cassez, Stavros Tripakis
    Monitoring and fault-diagnosis with digital clocks [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:101-110 [Conf]
  3. Stavros Tripakis
    Verifying Progress in Timed Systems. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:299-314 [Conf]
  4. Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    Kronos: A Model-Checking Tool for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:546-550 [Conf]
  5. Stavros Tripakis, Sergio Yovine
    Analysis of Timed Systems Based on Time-Abstracting Bisimulation. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:232-243 [Conf]
  6. Marius Bozga, Oded Maler, Stavros Tripakis
    Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:125-141 [Conf]
  7. Sébastien Bornot, Joseph Sifakis, Stavros Tripakis
    Modeling Urgency in Timed Systems. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:103-129 [Conf]
  8. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
    A Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:252-265 [Conf]
  9. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
    Translating Discrete-Time Simulink to Lustre. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:84-99 [Conf]
  10. Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
    Defining and translating a "safe" subset of simulink/stateflow into lustre. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:259-268 [Conf]
  11. Stavros Tripakis
    Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:123-137 [Conf]
  12. Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
    Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:353-360 [Conf]
  13. Christos Sofronis, Stavros Tripakis, Paul Caspi
    A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:21-33 [Conf]
  14. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
    Communication by sampling in time-sensitive distributed systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:152-160 [Conf]
  15. Moez Krichen, Stavros Tripakis
    State-Identification Problems for Finite-State Transducers. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:148-162 [Conf]
  16. Stavros Tripakis, Karine Altisen
    On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:233-252 [Conf]
  17. Karine Altisen, Stavros Tripakis
    Implementation of Timed Automata: An Issue of Semantics or Modeling? [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:273-288 [Conf]
  18. Stavros Tripakis
    Folk Theorems on the Determinization and Minimization of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:182-188 [Conf]
  19. Moez Krichen, Stavros Tripakis
    Real-Time Testing with Timed Automata Testers and Coverage Criteria. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:134-151 [Conf]
  20. Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:298-302 [Conf]
  21. Stavros Tripakis
    Fault Diagnosis for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:205-224 [Conf]
  22. Oleg Botchkarev, Stavros Tripakis
    Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:73-88 [Conf]
  23. Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
    The Tool KRONOS. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:208-219 [Conf]
  24. Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis
    Hybrid Systems Applications: An Oxymoron? [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:5-6 [Conf]
  25. Moez Krichen, Stavros Tripakis
    Interesting Properties of the Real-Time Conformance Relation. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:317-331 [Conf]
  26. Jean-François Condotta, Gérard Ligozat, Stavros Tripakis
    Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2005, pp:584-588 [Conf]
  27. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
    Generating Path Conditions for Timed Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:5-19 [Conf]
  28. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
    From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. [Citation Graph (0, 0)][DBLP]
    LCTES, 2003, pp:153-162 [Conf]
  29. Moez Krichen, Stavros Tripakis
    State Identification Problems for Timed Automata. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:175-191 [Conf]
  30. Moez Krichen, Stavros Tripakis
    An Expressive and Implementable Formal Framework for Testing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:209-225 [Conf]
  31. Stavros Tripakis, Sergio Yovine
    Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1998, pp:165-0 [Conf]
  32. Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
    A Framework for Scheduler Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:154-163 [Conf]
  33. Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
    On-the-fly symbolic model checking for real-time systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1997, pp:25-0 [Conf]
  34. Moez Krichen, Stavros Tripakis
    Black-Box Conformance Testing for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:109-126 [Conf]
  35. Anuj Puri, Stavros Tripakis
    Algorithms for the Multi-constrained Routing Problem. [Citation Graph (0, 0)][DBLP]
    SWAT, 2002, pp:338-347 [Conf]
  36. Conrado Daws, Stavros Tripakis
    Model Checking of Real-Time Reachability Properties Using Abstractions. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:313-329 [Conf]
  37. Stavros Tripakis
    Automated Module Composition. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:347-362 [Conf]
  38. Stavros Tripakis
    Timed Diagnostics for Reachability Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:59-73 [Conf]
  39. Stavros Tripakis, Costas Courcoubetis
    Extending Promela and Spin for Real Time. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:329-348 [Conf]
  40. Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis
    Ultimately Periodic Simple Temporal Problems (UPSTPs). [Citation Graph (0, 0)][DBLP]
    TIME, 2006, pp:69-77 [Conf]
  41. Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis
    Testing Conformance of Real-Time Applications by Automatic Generation of Observers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:23-43 [Journal]
  42. Stavros Tripakis
    Automated Composition of Module Chains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:4, pp:- [Journal]
  43. Stavros Tripakis, Sergio Yovine
    Timing Analysis and Code Generation of Vehicle Control Software using Taxys. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  44. Stavros Tripakis, Sergio Yovine
    Analysis of Timed Systems Using Time-Abstracting Bisimulations. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:1, pp:25-68 [Journal]
  45. Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani
    Checking Timed Büchi Automata Emptiness Efficiently. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:3, pp:267-292 [Journal]
  46. Stavros Tripakis
    Undecidable problems of decentralized observation and control on regular languages. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:90, n:1, pp:21-28 [Journal]
  47. Stavros Tripakis
    Folk theorems on the determinization and minimization of timed automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:99, n:6, pp:222-226 [Journal]
  48. Joseph Sifakis, Stavros Tripakis, Sergio Yovine
    Building models of real-time systems from application software. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:100-111 [Journal]
  49. Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
    Translating discrete-time simulink to lustre. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:4, pp:779-818 [Journal]
  50. Franck Cassez, Stavros Tripakis, Karine Altisen
    Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:90-99 [Conf]
  51. Franck Cassez, Stavros Tripakis, Karine Altisen
    Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:316-325 [Conf]

  52. Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. [Citation Graph (, )][DBLP]


  53. Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. [Citation Graph (, )][DBLP]


  54. Loosely time-triggered architectures based on communication-by-sampling. [Citation Graph (, )][DBLP]


  55. On relational interfaces. [Citation Graph (, )][DBLP]


  56. Translating data flow to synchronous block diagrams. [Citation Graph (, )][DBLP]


  57. Test Case Generation for Ultimately Periodic Paths. [Citation Graph (, )][DBLP]


  58. Actors without Directors: A Kahnian View of Heterogeneous Systems. [Citation Graph (, )][DBLP]


  59. Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. [Citation Graph (, )][DBLP]


  60. A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. [Citation Graph (, )][DBLP]


  61. Automatic Generation of Path Conditions for Timed Systems. [Citation Graph (, )][DBLP]


  62. Scalable Semantic Annotation Using Lattice-Based Ontologies. [Citation Graph (, )][DBLP]


  63. Modular code generation from synchronous block diagrams: modularity vs. code size. [Citation Graph (, )][DBLP]


  64. Modular Code Generation from Triggered and Timed Block Diagrams. [Citation Graph (, )][DBLP]


  65. Resource-Aware Verification Using Randomized Exploration of Large State Spaces. [Citation Graph (, )][DBLP]


  66. Deep Random Search for Efficient Model Checking of Timed Automata. [Citation Graph (, )][DBLP]


  67. A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. [Citation Graph (, )][DBLP]


  68. Fault Diagnosis with Dynamic Observers [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.156secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002