Travelled to:1 × Denmark
1 × Poland
1 × Portugal
2 × Canada
2 × France
2 × The Netherlands
3 × Germany
7 × USA
Collaborated with:M.Krichen ∅ R.Lublinerman C.Daws S.Yovine J.Reineke K.Altisen C.Courcoubetis C.Szegedy E.Kang S.Lafortune E.A.Lee A.Iannopollo P.Nuzzo A.L.Sangiovanni-Vincentelli S.Bensalem D.Peled H.Qu R.Alur M.Raghothaman C.Stergiou A.Udupa P.Caspi A.Curic A.Maignan C.Sofronis P.Niebert M.Bozga O.Maler A.Olivero F.Cremona M.Lohstroh D.Broman M.Masin M.Leung T.Mandl E.Latronico C.P.Shelton B.Lickly A.Ghosal R.Limaye K.Ravindran A.Prasad G.Wang T.N.Tran H.A.Andrade
Talks about:time (11) system (5) real (4) base (4) problem (3) modular (3) generat (3) state (3) model (3) check (3)
♂ Person: Stavros Tripakis
DBLP: Tripakis:Stavros
Facilitated 2 volumes:
PrCoContributed to:
2015
2014
2014
20122009
20092008
2006
2005
2005
20032003
19991999199819981996199620182019Wrote 21 papers:
- CAV-2015-AlurRSTU #automation #distributed #protocol #symmetry
- Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
- DATE-2014-IannopolloNTS #contract #design #refinement #scalability
- Library-based scalable refinement checking for contract-based design (AI, PN, ST, ALSV), pp. 1–6.
- TACAS-2014-ReinekeT #modelling #multi #problem
- Basic Problems in Multi-View Modeling (JR, ST), pp. 217–232.
- DAC-2012-GhosalLRTPWTA #analysis #data access #data flow #semantics
- Static dataflow with access patterns: semantics and analysis (AG, RL, KR, ST, AP, GW, TNT, HAA), pp. 656–663.
- MoDELS-2009-LeungMLLSTL #ontology #scalability #semantics #using
- Scalable Semantic Annotation Using Lattice-Based Ontologies (MKL, TM, EAL, EL, CPS, ST, BL), pp. 393–407.
- POPL-2009-LublinermanST #code generation #composition #diagrams
- Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.
- DATE-2008-LublinermanT #code generation #composition #diagrams #reuse #usability
- Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (RL, ST), pp. 1504–1509.
- FATES-RV-2006-KrichenT #finite #identification #problem #transducer
- State-Identification Problems for Finite-State Transducers (MK, ST), pp. 148–162.
- IFM-2005-BensalemPQT #generative
- Generating Path Conditions for Timed Systems (SB, DP, HQ, ST), pp. 5–19.
- TestCom-2005-KrichenT #automaton #identification #problem
- State Identification Problems for Timed Automata (MK, ST), pp. 175–191.
- TestCom-2005-KrichenT05a #framework #realtime #testing
- An Expressive and Implementable Formal Framework for Testing Real-Time Systems (MK, ST), pp. 209–225.
- LCTES-2003-CaspiCMSTN #approach #distributed #embedded
- From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications (PC, AC, AM, CS, ST, PN), pp. 153–162.
- TACAS-2003-Tripakis #automation #composition
- Automated Module Composition (ST), pp. 347–362.
- FM-v1-1999-TripakisA #on the fly #synthesis
- On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems (ST, KA), pp. 233–252.
- TACAS-1999-Tripakis #reachability
- Timed Diagnostics for Reachability Properties (ST), pp. 59–73.
- CAV-1998-BozgaDMOTY #model checking #named #realtime
- Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.
- TACAS-1998-DawsT #abstraction #model checking #reachability #realtime #using
- Model Checking of Real-Time Reachability Properties Using Abstractions (CD, ST), pp. 313–329.
- CAV-1996-TripakisY #analysis #bisimulation
- Analysis of Timed Systems Based on Time-Abstracting Bisimulation (ST, SY), pp. 232–243.
- TACAS-1996-TripakisC #realtime
- Extending Promela and Spin for Real Time (ST, CC), pp. 329–348.
- MoDELS-2018-CremonaLBLMT #hybrid
- Hybrid Co-simulation: It’s About Time (FC, ML, DB, EAL, MM, ST), p. 368.
- CAV-2019-KangLT #automation #framework #platform #synthesis
- Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.