Simon Bliudze
发表
Farhad Arbab,
Kasper Dokter,
Sung-Shik Jongmans,
2015,
ICE.
Víctor M. González Suárez,
Simon Bliudze,
Enrique Blanco Viñuela,
2013,
2013 11th IEEE International Conference on Industrial Informatics (INDIN).
Joseph Sifakis,
Simon Bliudze,
2010,
Formal Methods Syst. Des..
Roberto Bruni,
Alexandra Silva,
Simon Bliudze,
2010
.
Simon Bliudze,
S. Bliudze,
2012,
ICE.
Roberto Bruni,
Simon Bliudze,
Davide Grohmann,
2010,
ICE.
Jean-Yves Le Boudec,
Simon Bliudze,
Wajeb Saab,
2016
.
Simon Bliudze,
Daniel Krob,
2005,
ALENEX/ANALCO.
Joseph Sifakis,
Simon Bliudze,
Paul C. Attie,
2014,
SEFM.
Simon Bliudze,
Sébastien Furic,
2014
.
Simon Bliudze,
Ananda Basu,
Mohamad Jaber,
2009,
ICE.
Simon Bliudze,
Wajeb Saab,
Jean-Yves Le Boudec,
2018,
IEEE Transactions on Industrial Informatics.
Simon Bliudze,
Saddek Bensalem,
Jacques Combaz,
2015,
ICSEA 2015.
Joseph Sifakis,
Panagiotis Katsaros,
Simon Bliudze,
2018,
J. Syst. Softw..
Simon Bliudze,
Daniel Krob,
D. Krob,
2009,
Fundam. Informaticae.
Qiang Wang,
Simon Bliudze,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Simon Bliudze,
Anastasia Mavridou,
Radoslaw Szymanek,
2017,
Softw. Pract. Exp..
Qiang Wang,
Joseph Sifakis,
Helmut Veith,
2016,
CONCUR.
Roberto Bruni,
Simon Bliudze,
Davide Grohmann,
2010
.
Simon Bliudze,
2011,
WCTT '11.
Mathieu Jan,
Simon Bliudze,
Xavier Fornari,
2012
.
Simon Bliudze,
Daniel Krob,
D. Krob,
2006
.
Simon Bliudze,
Saddek Bensalem,
2018
.
Simon Bliudze,
Saddek Bensalem,
Belgacem Ben Hedia,
2017,
VECoS.
Jean-Yves Le Boudec,
Simon Bliudze,
Wajeb Saab,
2017,
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
Simon Bliudze,
Alena Simalatsar,
Alina Zolotukhina,
2017,
COORDINATION.
Mathieu Jan,
Simon Bliudze,
Saddek Bensalem,
2016
.
Jan Olaf Blech,
Simon Bliudze,
Borja Fernández Adiego,
2015
.
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2017,
J. Log. Algebraic Methods Program..
Simon Bliudze,
Saddek Bensalem,
Belgacem Ben Hedia,
2018,
Innov. Syst. Softw. Eng..
Víctor M. González Suárez,
Jan Olaf Blech,
Simon Bliudze,
2015,
IEEE Transactions on Industrial Informatics.
Joseph Sifakis,
Simon Bliudze,
J. Sifakis,
2011,
SC@TOOLS.
Roberto Bruni,
Alexandra Silva,
Simon Bliudze,
2011
.
Qiang Wang,
Xiaoguang Mao,
Yan Lei,
2015,
SETTA.
Joseph Sifakis,
Simon Bliudze,
J. Sifakis,
2008,
IEEE Trans. Computers.
Simon Bliudze,
Saddek Bensalem,
2018
.
Ludovic Henrio,
Simon Bliudze,
Eric Madelaine,
2019,
COORDINATION.
Jean-Yves Le Boudec,
Simon Bliudze,
Wajeb Saab,
2016,
IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society.
Simon Bliudze,
Daniel Krob,
D. Krob,
2004,
Complexus.
Joseph Sifakis,
Simon Bliudze,
J. Sifakis,
2008,
Formal Methods Syst. Des..
Simon Bliudze,
Sébastien Furic,
2014
.
Simon Bliudze,
Alena Simalatsar,
Alina Zolotukhina,
2016
.
Simon Bliudze,
Eduard Baranov,
2013,
ICE.
Elisa Bertino,
Laura Bocchi,
Simon Bliudze,
2020,
Lecture Notes in Computer Science.
Roberto Bruni,
Alexandra Silva,
Simon Bliudze,
2010
.
Simon Bliudze,
Eric Madelaine,
Min Zhang,
2018,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Joseph Sifakis,
Simon Bliudze,
Romain Edelmann,
2017,
J. Log. Algebraic Methods Program..
Roberto Bruni,
Alexandra Silva,
Simon Bliudze,
2011,
Sci. Ann. Comput. Sci..
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2016,
ICE.
Anton Ivanov,
Simon Bliudze,
2020,
ArXiv.
Min Zhang,
Simon Bliudze,
Eric Madelaine,
2018
.
Simon Bliudze,
Eduard Baranov,
2019,
Acta Informatica.
Joseph Sifakis,
Simon Bliudze,
Paul C. Attie,
2014,
Formal Aspects of Computing.
Simon Bliudze,
Fadi A. Zaraket,
Mohamad Jaber,
2014,
FACS.
Joseph Sifakis,
Simon Bliudze,
Sébastien Furic,
2012,
2012 International Conference on Embedded Computer Systems (SAMOS).
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2016,
EXPRESS/SOS.
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2019,
Acta Informatica.
Qiang Wang,
Marco Roveri,
Alessandro Cimatti,
2015,
ATVA.
Simon Bliudze,
Anastasia Mavridou,
Radoslaw Szymanek,
2014,
MiSE 2014.
Mohamed Faouzi Atig,
Simon Bliudze,
Bruno Monsuez,
2018,
Lecture Notes in Computer Science.
Simon Bliudze,
Daniel Krob,
D. Krob,
2006,
Electron. J. Comb..
Simon Bliudze,
Anastasia Mavridou,
Radoslaw Szymanek,
2013
.
Simon Bliudze,
2014,
TGC 2014.
Simon Bliudze,
Saddek Bensalem,
2018,
MeTRiD@ETAPS.
Farhad Arbab,
Kasper Dokter,
Sung-Shik Jongmans,
2017,
J. Log. Algebraic Methods Program..
Min Zhang,
Yuxin Deng,
Simon Bliudze,
2020,
Acta Informatica.
Simon Bliudze,
2014,
CBSE '14.
Simon Bliudze,
Eric Madelaine,
Min Zhang,
2018,
AVOCS 2018.
Simon Bliudze,
Daniel Krob,
Nicolas Billy,
2005,
WiMob'2005), IEEE International Conference on Wireless And Mobile Computing, Networking And Communications, 2005..
Joseph Sifakis,
Simon Bliudze,
Marius Bozga,
2014,
CBSE '14.
Simon Bliudze,
Saddek Bensalem,
Belgacem Ben Hedia,
2014
.
Mathieu Jan,
Simon Bliudze,
Saddek Bensalem,
2016,
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Roberto Bruni,
Alexandra Silva,
Simon Bliudze,
2012,
Sci. Ann. Comput. Sci..
Joseph Sifakis,
Panagiotis Katsaros,
Simon Bliudze,
2016,
FACS.
Joseph Sifakis,
Simon Bliudze,
Marius Bozga,
2015,
Software, Services, and Systems.
Simon Bliudze,
Anastasia Mavridou,
Radoslaw Szymanek,
2013
.
Joseph Sifakis,
Simon Bliudze,
J. Sifakis,
2007,
IEEE Transactions on Computers.
Simon Bliudze,
Anastasia Mavridou,
Valentin Rutz,
2017,
FACS.
Qiang Wang,
Simon Bliudze,
S. Bliudze,
2015,
TGC.
Jean-Yves Le Boudec,
Simon Bliudze,
Wajeb Saab,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Mohamed Faouzi Atig,
Simon Bliudze,
2020,
Innovations in Systems and Software Engineering.
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2015,
Sci. Comput. Program..
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2015,
FACS.
Joseph Sifakis,
Simon Bliudze,
J. Sifakis,
2008,
CONCUR.
Martin Wirsing,
Panagiotis Katsaros,
Simon Bliudze,
2021,
Int. J. Softw. Tools Technol. Transf..