Stavros Tripakis
发表
Stavros Tripakis,
Christos Sofronis,
Norman Scaife,
2005,
EMSOFT.
Edward A. Lee,
Stavros Tripakis,
Fabio Cremona,
2016,
SAC.
Stavros Tripakis,
Moez Krichen,
S. Tripakis,
2006,
FATES/RV.
Stavros Tripakis,
S. Tripakis,
2016
.
Stavros Tripakis,
Viorel Preoteasa,
S. Tripakis,
2015,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Stavros Tripakis,
Maria Pittou,
2016
.
Stavros Tripakis,
Karine Altisen,
Franck Cassez,
2007
.
Jan Reineke,
Stavros Tripakis,
2014,
TACAS.
Stavros Tripakis,
Christos Sofronis,
Norman Scaife,
2004,
EMSOFT '04.
Stavros Tripakis,
Karine Altisen,
S. Tripakis,
2005,
FORMATS.
Stavros Tripakis,
Stavros Tripakis,
1998
.
Rajeev Alur,
Mukund Raghothaman,
Abhishek Udupa,
2015,
CAV.
Stavros Tripakis,
Pravin Varaiya,
Anuj Puri,
2002
.
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2008,
2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
Stavros Tripakis,
Chris Shaver,
2014,
FPS@ETAPS.
Stavros Tripakis,
Franck Cassez,
2008,
2008 9th International Workshop on Discrete Event Systems.
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2008,
2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia.
Sanjit A. Seshia,
Stavros Tripakis,
Markus N. Rabe,
2015,
ArXiv.
Stavros Tripakis,
Costas Courcoubetis,
C. Courcoubetis,
1996,
TACAS.
Stavros Tripakis,
Moez Krichen,
Saddek Bensalem,
2007,
ISoLA.
Stavros Tripakis,
Marius Bozga,
Moez Krichen,
2008
.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1998,
CAV.
Joseph Sifakis,
Stavros Tripakis,
Sébastien Bornot,
1997,
COMPOS.
Edward A. Lee,
Martin Törngren,
Stavros Tripakis,
2013,
2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Thierry Jéron,
Stavros Tripakis,
Yliès Falcone,
2016,
SAC.
Alberto L. Sangiovanni-Vincentelli,
Stavros Tripakis,
Antonio Iannopollo,
2016,
FACS.
Stavros Tripakis,
S. Tripakis,
2002,
FTRTFT.
Stavros Tripakis,
Thao Dang,
T. Dang,
2009
.
Joseph Sifakis,
Stavros Tripakis,
Sergio Yovine,
2003,
Proc. IEEE.
Stavros Tripakis,
1999,
TACAS.
Edward A. Lee,
Thomas A. Henzinger,
Stavros Tripakis,
2009,
EMSOFT '09.
Stavros Tripakis,
S. Tripakis,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Stavros Tripakis,
Sergio Yovine,
S. Yovine,
2001,
Formal Methods Syst. Des..
Hans Vangheluwe,
Joachim Denil,
Martin Törngren,
2013
.
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Stavros Tripakis,
Marius Bozga,
Moez Krichen,
2005,
Electron. Notes Theor. Comput. Sci..
Stavros Tripakis,
2007,
Runtime Verification.
Guoqiang Wang,
Stavros Tripakis,
Arkadeb Ghosal,
2012,
DAC Design Automation Conference 2012.
Edward A. Lee,
Charles P. Shelton,
Stavros Tripakis,
2009,
MoDELS.
Stavros Tripakis,
Sergio Yovine,
S. Yovine,
1996,
CAV.
Edward A. Lee,
Stavros Tripakis,
Dai N. Bui,
2010,
ICCPS '10.
Alberto L. Sangiovanni-Vincentelli,
Albert Benveniste,
Stavros Tripakis,
2007,
EMSOFT '07.
Stavros Tripakis,
Moez Krichen,
S. Tripakis,
2004,
SPIN.
Stavros Tripakis,
Christian Szegedy,
Roberto Lublinerman,
2009,
POPL '09.
Stavros Tripakis,
Uli Fahrenberg,
2011
.
Stavros Tripakis,
Artem Yushkovskiy,
S. Tripakis,
2018,
ArXiv.
Edward A. Lee,
Stavros Tripakis,
S. Tripakis,
2010,
EOOLT.
Stavros Tripakis,
Oded Maler,
Marius Bozga,
1999,
CHARME.
Stavros Tripakis,
2014
.
Stavros Tripakis,
2002,
EMSOFT.
Joseph Sifakis,
Amir Pnueli,
Stavros Tripakis,
1999,
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
Thierry Jéron,
Stavros Tripakis,
Yliès Falcone,
2017,
J. Syst. Softw..
Edward A. Lee,
Stavros Tripakis,
Christos Stergiou,
2013,
FORMATS.
Stavros Tripakis,
Moez Krichen,
S. Tripakis,
2004,
FORMATS/FTRTFT.
David Broman,
Edward A. Lee,
Stavros Tripakis,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Doron A. Peled,
Stavros Tripakis,
Hongyang Qu,
2008,
Theor. Comput. Sci..
Stavros Tripakis,
Franck Cassez,
2008
.
Alberto L. Sangiovanni-Vincentelli,
Qi Zhu,
Stavros Tripakis,
2014,
J. Syst. Archit..
Stavros Tripakis,
Christos Sofronis,
Paul Caspi,
2003
.
Guoqiang Wang,
Stavros Tripakis,
Kaushik Ravindran,
2014,
2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV).
Stavros Tripakis,
Christos Stergiou,
Roberto Lublinerman,
2010
.
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2016,
SPIN.
Stavros Tripakis,
Roberto Lublinerman,
Roberto Lublinerman,
2018,
Principles of Modeling.
Krishnendu Chatterjee,
Sanjit A. Seshia,
Susmit Jha,
2014,
2014 International Conference on the Internet of Things (IOT).
David Broman,
Edward A. Lee,
Lev Greenberg,
2014
.
Stavros Tripakis,
2003,
TACAS.
Alberto Sangiovanni-Vincentelli,
Albert Benveniste,
Stavros Tripakis,
2007
.
David Broman,
Edward A. Lee,
Michael Masin,
2018,
Software & Systems Modeling.
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2016,
VMCAI.
Stavros Tripakis,
Ahmed Bouajjani,
Sergio Yovine,
2005,
Formal Methods Syst. Des..
Rüdiger Ehlers,
Stéphane Lafortune,
Stavros Tripakis,
2013
.
Albert Benveniste,
Stavros Tripakis,
Paul Caspi,
2009,
HSCC.
Jean-François Condotta,
Stavros Tripakis,
Gérard Ligozat,
2005,
17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).
Stavros Tripakis,
2006,
Inf. Process. Lett..
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1996,
Hybrid Systems.
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2017,
International Journal on Software Tools for Technology Transfer.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1998,
FTRTFT.
Stéphane Lafortune,
Stavros Tripakis,
Eunsuk Kang,
2017
.
Stavros Tripakis,
Viorel Preoteasa,
2014
.
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2017,
FORTE.
Alberto L. Sangiovanni-Vincentelli,
Pierluigi Nuzzo,
Stavros Tripakis,
2014,
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Nicolas Markey,
Stavros Tripakis,
Pierre-Alain Reynier,
2005
.
Stavros Tripakis,
Roberto Lublinerman,
2008,
2008 Design, Automation and Test in Europe.
Yang Yang,
Alberto Sangiovanni-Vincentelli,
Stavros Tripakis,
2011
.
Alberto L. Sangiovanni-Vincentelli,
Pierluigi Nuzzo,
Stavros Tripakis,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Stavros Tripakis,
S. Tripakis,
2016,
Proceedings of the IEEE.
Stavros Tripakis,
S. Tripakis,
2015,
2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).
Marius Mikucionis,
Sergiy Bogomolov,
Kim Guldstrand Larsen,
2015
.
Edward A. Lee,
Stavros Tripakis,
Christopher X. Brooks,
2010,
2010 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
Alberto L. Sangiovanni-Vincentelli,
Stavros Tripakis,
Antonio Iannopollo,
2019,
Sci. Comput. Program..
Alberto Sangiovanni-Vincentelli,
Pierluigi Nuzzo,
Stavros Tripakis,
2014
.
Stavros Tripakis,
Sergio Yovine,
1998,
Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).
Stavros Tripakis,
S. Tripakis,
1999,
ARTS.
Stavros Tripakis,
Igor Buzhinsky,
Arseny Nerinovsky,
2020,
Machine Learning.
Stavros Tripakis,
Stylianos Basagiannis,
Georgios Giantamidis,
2019,
International Journal on Software Tools for Technology Transfer.
Jean-François Condotta,
Stavros Tripakis,
Gérard Ligozat,
2006,
Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).
Pascal Raymond,
Stavros Tripakis,
Paul Caspi,
2007,
Handbook of Real-Time and Embedded Systems.
David Broman,
Edward A. Lee,
Michael Masin,
2018,
MoDELS.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Benoît Caillaud,
2006,
EMSOFT '06.
Stéphane Lafortune,
Rüdiger Ehlers,
Stavros Tripakis,
2014,
WODES.
Jan Reineke,
Stavros Tripakis,
Christos Stergiou,
2017,
Software & Systems Modeling.
Edward A. Lee,
Stavros Tripakis,
Christos Stergiou,
2013,
Mathematical Structures in Computer Science.
Stavros Tripakis,
Keijo Heljanko,
Antti Siirtola,
2015,
ACSD.
David Broman,
Edward A. Lee,
Lev Greenberg,
2015,
HSCC.
Stavros Tripakis,
Stylianos Basagiannis,
Georgios Giantamidis,
2020,
SAFECOMP.
Rajeev Alur,
Stavros Tripakis,
R. Alur,
2017,
SIGA.
Stavros Tripakis,
Georgios Giantamidis,
S. Tripakis,
2016,
International Journal on Software Tools for Technology Transfer.
Stavros Tripakis,
2002,
Electron. Notes Theor. Comput. Sci..
David Broman,
Edward A. Lee,
Lev Greenberg,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Stavros Tripakis,
Keijo Heljanko,
Antti Siirtola,
2015,
2015 15th International Conference on Application of Concurrency to System Design.
Stavros Tripakis,
Karine Altisen,
Franck Cassez,
2007,
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
Stavros Tripakis,
2018
.
Peter Csaba Ölveczky,
Edward A. Lee,
Stavros Tripakis,
2012,
Sci. Comput. Program..
Edward A. Lee,
Martin Törngren,
Stavros Tripakis,
2014
.
Stavros Tripakis,
S. Tripakis,
2014
.
Marc Geilen,
Stavros Tripakis,
Maarten Wiggers,
2011,
HSCC '11.
Stavros Tripakis,
Conrado Daws,
S. Tripakis,
1998,
TACAS.
Stavros Tripakis,
Moez Krichen,
S. Tripakis,
2005,
TestCom.
Stavros Tripakis,
S. Tripakis,
2018,
2018 IEEE Industrial Cyber-Physical Systems (ICPS).
Partha S. Roop,
Stavros Tripakis,
Reinhard von Hanxleden,
2017,
ACM Trans. Embed. Comput. Syst..
Peter Csaba Ölveczky,
Stavros Tripakis,
Kyungmin Bae,
2009,
ICFEM.
Albert Benveniste,
Stavros Tripakis,
Paul Caspi,
2002,
EMSOFT.
Stavros Tripakis,
Moez Krichen,
S. Tripakis,
2005,
TestCom.
Jean-Marc Vincent,
Stavros Tripakis,
Nazha Abed,
2008,
SPIN.
Guang Yang,
Guoqiang Wang,
Stavros Tripakis,
2011,
2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
Stavros Tripakis,
Ahmed Bouajjani,
Sergio Yovine,
1997,
Proceedings Real-Time Systems Symposium.
Stavros Tripakis,
Raja Sengupta,
Duke Lee,
2000
.
Sanjit A. Seshia,
Stavros Tripakis,
Natasha Sharygina,
2018,
Handbook of Model Checking.
Stavros Tripakis,
Moez Krichen,
S. Tripakis,
2009,
Formal Methods Syst. Des..
Jan Reineke,
Stavros Tripakis,
Maria Pittou,
2016,
FACS.
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2020,
International Journal on Software Tools for Technology Transfer.
Thierry Jéron,
Stavros Tripakis,
Yliès Falcone,
2017,
Formal Methods Syst. Des..
Doron A. Peled,
Stavros Tripakis,
Hongyang Qu,
2005,
IFM.
Stavros Tripakis,
S. Tripakis,
2003,
FORMATS.
Stavros Tripakis,
Uli Fahrenberg,
2011
.
David Broman,
Edward A. Lee,
Martin Törngren,
2012,
MPM '12.
Stavros Tripakis,
Costas Courcoubetis,
C. Courcoubetis,
2000
.
Stavros Tripakis,
Karine Altisen,
S. Tripakis,
1999,
World Congress on Formal Methods.
Partha S. Roop,
Stavros Tripakis,
Reinhard von Hanxleden,
2017,
SPIN.
Stavros Tripakis,
S. Tripakis,
2016,
LNCS Trans. Found. Mastering Chang..
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2017
.
Guoqiang Wang,
Stavros Tripakis,
Arkadeb Ghosal,
2016,
J. Signal Process. Syst..
Stavros Tripakis,
Karine Altisen,
Franck Cassez,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Stavros Tripakis,
Christos Sofronis,
Norman Scaife,
2008,
TECS.
Stavros Tripakis,
Yunus Emre Sahin,
Necmiye Ozay,
2018,
DARS.
Stavros Tripakis,
Christos Sofronis,
Paul Caspi,
2003,
LCTES '03.
Doron A. Peled,
Stavros Tripakis,
Lenore D. Zuck,
2007,
Haifa Verification Conference.
Rajeev Alur,
Milo M. K. Martin,
Mukund Raghothaman,
2014,
Haifa Verification Conference.
Stavros Tripakis,
Marius Bozga,
Moez Krichen,
2005
.
Stavros Tripakis,
S. Tripakis,
2009,
TOCL.
Pravin Varaiya,
Stavros Tripakis,
Anuj Puri,
2001,
ITSC 2001. 2001 IEEE Intelligent Transportation Systems. Proceedings (Cat. No.01TH8585).
Alberto L. Sangiovanni-Vincentelli,
Stavros Tripakis,
Yang Yang,
2015,
2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).
Radu Grosu,
Scott A. Smolka,
Stavros Tripakis,
2006,
Monterey Workshop.
Stavros Tripakis,
Sergio Yovine,
S. Yovine,
2001,
RV@CAV.
Doron A. Peled,
Stavros Tripakis,
Hongyang Qu,
2004,
ISoLA.
Stavros Tripakis,
Moez Krichen,
S. Tripakis,
2006,
ICTAC.
Stavros Tripakis,
Uli Fahrenberg,
2011,
FORMATS.
Edward A. Lee,
Manfred Broy,
Stavros Tripakis,
2013,
SPIN.
Edward A. Lee,
Marc Pouzet,
Albert Benveniste,
2012,
EMSOFT '12.
Stavros Tripakis,
Maria Pittou,
2016,
2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS).
Stavros Tripakis,
Franck Cassez,
S. Tripakis,
2008,
Fundam. Informaticae.
Stavros Tripakis,
S. Tripakis,
2015
.
Stéphane Lafortune,
Stavros Tripakis,
Eunsuk Kang,
2017,
ArXiv.
Stavros Tripakis,
2004,
Inf. Process. Lett..
Hans Vangheluwe,
Joachim Denil,
Martin Törngren,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Stéphane Lafortune,
Rüdiger Ehlers,
Stavros Tripakis,
2017,
Discret. Event Dyn. Syst..
Stavros Tripakis,
Moez Krichen,
Saddek Bensalem,
2007
.
Marius Mikucionis,
Sergiy Bogomolov,
Kim Guldstrand Larsen,
2015
.
Stavros Tripakis,
2009,
RV.
Stavros Tripakis,
Oleg Botchkarev,
S. Tripakis,
2000,
HSCC.
Cristina Nita-Rotaru,
Stavros Tripakis,
Max von Hippel,
2020,
SAFECOMP.
Lothar Thiele,
Samarjit Chakraborty,
Stavros Tripakis,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Stavros Tripakis,
Franck Cassez,
2013,
Communicating Embedded Systems.
Stavros Tripakis,
Christos Sofronis,
Paul Caspi,
2003,
TECS.
Alberto L. Sangiovanni-Vincentelli,
Albert Benveniste,
Stavros Tripakis,
2008,
IEEE Transactions on Computers.
Stavros Tripakis,
Maria Pittou,
2016,
FACS.
Stavros Tripakis,
Pravin Varaiya,
Anuj Puri,
2002,
Proceedings, IEEE Aerospace Conference.
Stavros Tripakis,
Christos Sofronis,
Paul Caspi,
2003,
EMSOFT.
Valeriy Vyatkin,
Stavros Tripakis,
Cheng Pang,
2015,
IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society.
Patricia Bouyer,
Stavros Tripakis,
Moez Krichen,
2005
.
Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
George J. Pappas,
2001,
HSCC.
Stéphane Lafortune,
Stavros Tripakis,
Eunsuk Kang,
2017,
CAV.
Stavros Tripakis,
Anuj Puri,
2002,
SWAT.
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2016,
ArXiv.
Edward A. Lee,
Thomas A. Henzinger,
Stavros Tripakis,
2011,
TOPL.
Stavros Tripakis,
Christos Sofronis,
Paul Caspi,
2006,
EMSOFT '06.
Edward A. Lee,
Stavros Tripakis,
Dai Bui,
2010
.
Stavros Tripakis,
Karine Altisen,
Franck Cassez,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Stavros Tripakis,
Karine Altisen,
Franck Cassez,
2006,
ACSD.
Alberto L. Sangiovanni-Vincentelli,
Stavros Tripakis,
Antonio Iannopollo,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Stavros Tripakis,
Viorel Preoteasa,
Iulia Dragomir,
2015,
ArXiv.
Stavros Tripakis,
Srinivas Pinisetty,
2016,
NFM.
Stavros Tripakis,
Karen Rudie,
2022,
IEEE Control Systems Letters.
Stavros Tripakis,
Eunsuk Kang,
Cole Vick,
2021,
SEFM.
Stavros Tripakis,
Siyuan Zhou,
William Schultz,
2021,
OPODIS.
Stavros Tripakis,
Alina Oprea,
Lisa Oakley,
2021,
ArXiv.
Stavros Tripakis,
William Schultz,
Ian Dardik,
2021,
CPP.
Stavros Tripakis,
Siyuan Zhou,
William Schultz,
2021,
DISC.
Stavros Tripakis,
Eunsuk Kang,
St'ephane Lafortune,
2021,
ArXiv.
Stavros Tripakis,
Christian Szegedy,
Roberto Lublinerman,
2009,
POPL '09.
Stavros Tripakis,
S. Tripakis,
2007
.
Stavros Tripakis,
2014
.
Edward A. Lee,
Marc Geilen,
Stavros Tripakis,
2010
.
Lev Greenberg,
Michael Wetter,
Michael Masin,
2016
.
Stavros Tripakis,
Christos Stergiou,
Roberto Lublinerman,
2010
.
Stavros Tripakis,
S. Tripakis,
2001
.