Jean-François Raskin
发表
Jan Kretínský,
Guillermo A. Pérez,
Jean-François Raskin,
2018,
CONCUR.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1998,
ICALP.
Joël Ouaknine,
James Worrell,
Jean-François Raskin,
2013,
ATVA.
Arno Pauly,
Jean-François Raskin,
Stéphane Le Roux,
2018,
ACM Trans. Comput. Log..
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2015,
CONCUR.
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2015,
CSL.
Jean-François Raskin,
Steve Kremer,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2019,
CONCUR.
Thierry Massart,
Jean-François Raskin,
Laurent Van Begin,
2002
.
Jean-François Raskin,
Ocan Sankur,
Gilles Geeraerts,
2017,
ICALP.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2005
.
Jean-François Raskin,
Martin De Wulf,
2006
.
Jean-François Raskin,
Steve Kremer,
S. Kremer,
2000
.
Jean-François Raskin,
Jean-François Raskin,
2005,
Handbook of Networked and Embedded Control Systems.
Jean-François Raskin,
Emmanuel Filiot,
Rodica Bozianu,
2016
.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2015,
ATVA.
Pierre-Yves Schobbens,
Axel Legay,
Andreas Classen,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Jean-François Raskin,
Ocan Sankur,
Nicolas Basset,
2017,
Models, Algorithms, Logics and Tools.
Kim Guldstrand Larsen,
Jean-François Raskin,
Hans L. Bodlaender,
2017
.
Jean-François Raskin,
Emmanuel Filiot,
Nicolas Mazzocchi,
2019,
J. Comput. Syst. Sci..
Rupak Majumdar,
Jean-François Raskin,
R. Majumdar,
2018,
Handbook of Model Checking.
Giorgio Delzanno,
Cédric Meuter,
Pierre Ganty,
2007
.
Jean-François Raskin,
Alexander Heußner,
Gilles Geeraerts,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2014,
FSTTCS.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2017,
Formal Methods Syst. Des..
Thomas A. Henzinger,
Jean-François Raskin,
Franck Cassez,
2002,
HSCC.
Davide Bresolin,
Jean-François Raskin,
2019
.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2006,
HSCC.
Jean-François Raskin,
Steve Kremer,
2003
.
Jean-François Raskin,
Emmanuel Filiot,
Naiyong Jin,
2009,
CAV.
Jean-François Raskin,
2008
.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2007,
ATVA.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2005,
FM.
Krishnendu Chatterjee,
Jean-François Raskin,
Laurent Doyen,
2013,
VMCAI.
Jean-François Raskin,
Pierre-Alain Reynier,
Kim Guldstrand Larsen,
2013
.
Véronique Bruyère,
Jean-François Raskin,
Quentin Hautem,
2016,
CONCUR.
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2019,
CONCUR.
Jean-François Raskin,
Paul Hunter,
2014,
FSTTCS.
Thomas A. Henzinger,
Jean-François Raskin,
2015,
Commun. ACM.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2012,
CONCUR.
Jean-François Raskin,
Emmanuel Filiot,
Naiyong Jin,
2010,
ATVA.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Jean-François Raskin,
Emmanuel Filiot,
Nicolas Mazzocchi,
2018
.
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1999,
Inf. Process. Lett..
Kim G. Larsen,
Holger Hermanns,
Jean-François Raskin,
2010,
EMSOFT '10.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
CONCUR.
Jean-François Raskin,
Emmanuel Filiot,
Naiyong Jin,
2013,
International Journal on Software Tools for Technology Transfer.
Joël Ouaknine,
James Worrell,
Jean-François Raskin,
2012,
ArXiv.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
IEEE Transactions on Software Engineering.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1998,
CONCUR.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Alexander Moshe Rabinovich,
2012,
Inf. Comput..
Kim G. Larsen,
Jean-François Raskin,
Pierre-Alain Reynier,
2012,
ATVA.
Giorgio Delzanno,
Pierre Ganty,
Jean-François Raskin,
2002
.
Véronique Bruyère,
Jean-François Raskin,
Emmanuel Filiot,
2012,
CAV.
Jean-François Raskin,
2007,
CDC 2007.
Véronique Bruyère,
Jean-François Raskin,
Emmanuel Filiot,
2012,
TACAS.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2011,
CONCUR.
Giorgio Delzanno,
Jean-François Raskin,
Laurent Van Begin,
2001,
CAV.
Jean-François Raskin,
Emmanuel Filiot,
Naiyong Jin,
2011,
Formal Methods Syst. Des..
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2008,
ICALP.
Alain Finkel,
Jean-François Raskin,
Gilles Geeraerts,
2004,
EXPRESS.
Jean-François Raskin,
Franck Cassez,
2014
.
Alain Finkel,
Jean-François Raskin,
Laurent Van Begin,
2002,
INFINITY.
Jean-François Raskin,
Laurent Van Begin,
L. V. Begin,
2004,
INFINITY.
Véronique Bruyère,
Jean-François Raskin,
Emmanuel Dall'Olio,
2003,
STACS.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1998,
CONCUR.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2016,
Acta Informatica.
Pierre-Yves Schobbens,
Jean-François Raskin,
1996
.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2008,
TACAS.
Jean-François Raskin,
Romain Brenguier,
Franck Cassez,
2014,
HSCC.
Arno Pauly,
Véronique Bruyère,
Jean-François Raskin,
2016,
FoSSaCS.
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2010,
ArXiv.
Arno Pauly,
Jean-François Raskin,
Stéphane Le Roux,
2017,
STACS.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
VMCAI.
Thomas A. Henzinger,
Rupak Majumdar,
Jean-François Raskin,
2000,
SAS.
Aniello Murano,
Jean-François Raskin,
Sasha Rubin,
2019,
ArXiv.
Jean-François Raskin,
2016,
Dependable Software Systems Engineering.
Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives
pdf
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2018,
GandALF.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2017,
Acta Informatica.
Arno Pauly,
Jean-François Raskin,
Romain Brenguier,
2017,
CONCUR.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jean-François Raskin,
2010,
FSTTCS.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2014,
SR.
Joël Ouaknine,
James Worrell,
Jean-François Raskin,
2011,
ICALP.
Mickael Randour,
Jean-François Raskin,
Raphaël Berthon,
2017,
ICALP.
Pierre Ganty,
Jean-François Raskin,
Gilles Geeraerts,
2009,
Tech. Sci. Informatiques.
Jean-François Raskin,
Nathalie Sznajder,
Laurent Doyen,
2010
.
Véronique Bruyère,
Jean-François Raskin,
Quentin Hautem,
2017
.
Jean-François Raskin,
Emmanuel Filiot,
Nicolas Mazzocchi,
2018,
DLT.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2018,
LICS.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
Acta Informatica.
Jean-François Raskin,
Laurent Doyen,
Gilles Geeraerts,
2009,
FORMATS.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2005,
Formal Aspects of Computing.
Jean-François Raskin,
Alexander Heußner,
M. Praveen,
2015,
Fundam. Informaticae.
Giorgio Delzanno,
Jean-François Raskin,
Laurent Van Begin,
2002,
TACAS.
Jean-François Raskin,
Laurent Doyen,
L. Doyen,
2009,
Log. Methods Comput. Sci..
Arno Pauly,
Jean-François Raskin,
Romain Brenguier,
2017,
CONCUR 2017.
Jean-François Raskin,
2011,
RP.
Jean-François Raskin,
Emmanuel Filiot,
Nicolas Mazzocchi,
2020,
Int. J. Found. Comput. Sci..
Szymon Torunczyk,
Jean-François Raskin,
Laurent Doyen,
2010,
CSL.
Jean-François Raskin,
Tristan Le Gall,
Gilles Geeraerts,
2010,
ATVA.
Jean-François Raskin,
Shibashis Guha,
Benjamin Bordais,
2019,
FSTTCS.
Krishnendu Chatterjee,
Petr Novotný,
Dorde Zikelic,
2017,
AAAI.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2007,
Acta Informatica.
Jean-François Raskin,
Nathalie Sznajder,
Gilles Geeraerts,
2011,
FORMATS.
Véronique Bruyère,
Jean-François Raskin,
Quentin Hautem,
2015,
ArXiv.
Jean-François Raskin,
Laurent Doyen,
2011,
Lectures in Game Theory for Computer Scientists.
Jean-François Raskin,
Alexander Heußner,
M. Praveen,
2013,
Petri Nets.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jean-François Raskin,
2006,
CSL.
Arno Pauly,
Guillermo A. Pérez,
Jean-François Raskin,
2018,
Theor. Comput. Sci..
Thomas A. Henzinger,
Jean-François Raskin,
Thomas Brihaye,
2007,
ICALP.
Jean-François Raskin,
Jérôme Leroux,
2019,
GandALF.
Jean-François Raskin,
Gilles Geeraerts,
Shibashis Guha,
2018,
FSTTCS.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
CAV.
Véronique Bruyère,
Jean-François Raskin,
Noémie Meunier,
2014,
CSL-LICS.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2015,
SYNT.
Thomas A. Henzinger,
Jean-François Raskin,
Laurent Doyen,
2005,
FORMATS.
Jean-François Raskin,
Tristan Le Gall,
Emmanuel Filiot,
2010,
MFCS.
Pierre-Yves Schobbens,
Jean-François Raskin,
Laurent Ferier,
1999,
Electron. Notes Theor. Comput. Sci..
Alain Finkel,
Jean-François Raskin,
Gilles Geeraerts,
2006,
Theor. Comput. Sci..
Jean-François Raskin,
Emmanuel Filiot,
Rodica Condurache,
2016,
ICALP.
Krishnendu Chatterjee,
Jean-François Raskin,
Laurent Doyen,
2017,
Inf. Comput..
Thomas A. Henzinger,
Jean-François Raskin,
T. Henzinger,
2000,
HSCC.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2013,
Inf. Comput..
Kim G. Larsen,
Jean-François Raskin,
Pierre-Alain Reynier,
2009,
HSCC.
Jean-François Raskin,
Sébastien Collette,
Frédéric Servais,
2006,
Computers and Games.
Jean-François Raskin,
Alexander Heußner,
Gilles Geeraerts,
2015,
ACM Trans. Embed. Comput. Syst..
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2005,
CAV.
Jean-François Raskin,
Laurent Van Begin,
Mathias Samuelides,
2005,
AVoCS.
Kim G. Larsen,
Jean-François Raskin,
Line Juhl,
2013,
Theories of Programming and Formal Methods.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2013,
ArXiv.
Thomas A. Henzinger,
Jean-François Raskin,
Laurent Doyen,
2008,
Int. J. Found. Comput. Sci..
Jean-François Raskin,
Steve Kremer,
S. Kremer,
2001,
J. Comput. Secur..
Thomas A. Henzinger,
Rupak Majumdar,
Jean-François Raskin,
2000,
TOCL.
Patrick Cousot,
Pierre Ganty,
Jean-François Raskin,
2007,
SAS.
Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin,
2008,
Fundam. Informaticae.
Giorgio Delzanno,
Jean-François Raskin,
2000,
TACAS.
Jean-François Raskin,
Laurent Doyen,
L. Doyen,
2007,
TACAS.
Nicolas Markey,
Jean-François Raskin,
2004,
CONCUR.
Jean-François Raskin,
Nathalie Sznajder,
Gilles Geeraerts,
2014,
Formal Methods Syst. Des..
Véronique Bruyère,
Jean-François Raskin,
Quentin Hautem,
2017,
CONCUR.
Thomas A. Henzinger,
Jean-François Raskin,
Laurent Doyen,
2006,
CAV.
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2010
.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2016,
CSL.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2008
.
Jan Kretínský,
Jean-François Raskin,
Javier Esparza,
2017,
TACAS.
Pierre Ganty,
Jean-François Raskin,
Nicolas Maquet,
2009,
CIAA.
Véronique Bruyère,
Patricia Bouyer,
Jean-François Raskin,
2006
.
Jean-François Raskin,
P. S. Thiaragajan,
2007
.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2014,
SYNT.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2010,
Int. J. Found. Comput. Sci..
Pierre Ganty,
Jean-François Raskin,
Gilles Geeraerts,
2008
.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2013,
STACS.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2012,
CONCUR.
Marsha Chechik,
Jean-François Raskin,
2016
.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2006,
J. Comput. Syst. Sci..
Véronique Bruyère,
Jean-François Raskin,
Laurent Doyen,
2011,
ATVA.
Jean-François Raskin,
Emmanuel Filiot,
Nicolas Mazzocchi,
2017,
FCT.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1999
.
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1997,
HART.
Véronique Bruyère,
Jean-François Raskin,
Quentin Hautem,
2017,
ArXiv.
Véronique Bruyère,
Jean-François Raskin,
Nathalie Bertrand,
2014,
Acta Informatica.
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2006,
Inf. Comput..
Arno Pauly,
Jean-François Raskin,
Ismaël Jecker,
2018,
CSL.
Giorgio Delzanno,
Jean-François Raskin,
Laurent Van Begin,
2004,
International Journal on Software Tools for Technology Transfer.
Véronique Bruyère,
Jean-François Raskin,
Aaron Bohy,
2014,
SYNT.
Pierre Ganty,
Jean-François Raskin,
Nicolas Maquet,
2010,
Theor. Comput. Sci..
Jean-François Raskin,
Romain Brenguier,
Romain Brenguier,
2015,
CAV.
Jean-François Raskin,
Steve Kremer,
2000
.
Véronique Bruyère,
Jean-François Raskin,
2007,
Log. Methods Comput. Sci..
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2015,
Inf. Comput..
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1997,
TACAS.
Guillermo A. Pérez,
Jean-François Raskin,
Nathan Lhote,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jean-François Raskin,
Pierre-Alain Reynier,
Kim Guldstrand Larsen,
2013
.
Véronique Bruyère,
Guillermo A. Pérez,
Jean-François Raskin,
2019,
RP.
Krishnendu Chatterjee,
Petr Novotný,
Dorde Zikelic,
2016,
ArXiv.
P. S. Thiagarajan,
Jean-François Raskin,
2007,
FORMATS.
Véronique Bruyère,
Jean-François Raskin,
V. Bruyère,
2003,
Log. Methods Comput. Sci..
Jean-François Raskin,
Laurent Doyen,
L. Doyen,
2010,
TACAS.
Véronique Bruyère,
Jean-François Raskin,
Emmanuel Dall'Olio,
2008,
TOCL.
Nicolas Markey,
Jean-François Raskin,
Laurent Doyen,
2008,
Formal Methods Syst. Des..
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2005,
FORMATS.
Sriram Sankaranarayanan,
Jean-François Raskin,
Emmanuel Filiot,
2020,
CONCUR.
Jean-François Raskin,
Ocan Sankur,
Gilles Geeraerts,
2017,
ArXiv.
P. S. Thiagarajan,
Jean-François Raskin,
2007
.
Lorenzo Clemente,
Jean-François Raskin,
Lorenzo Clemente,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Jean-François Raskin,
Nathalie Sznajder,
Gilles Geeraerts,
2010,
FORMATS.
Jean-François Raskin,
Laurent Doyen,
2006
.
Jean-François Raskin,
Frédéric Servais,
Frédéric Servais,
2008
.
Nicolas Markey,
Jean-François Raskin,
Laurent Doyen,
2004,
FORMATS/FTRTFT.
Pierre-Yves Schobbens,
Jean-François Raskin,
J. Raskin,
1998,
J. Autom. Lang. Comb..
Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin,
2006
.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Nicolas Markey,
Jean-François Raskin,
2006,
Theor. Comput. Sci..
Pierre-Yves Schobbens,
Jean-François Raskin,
1999
.
Kim G. Larsen,
Jean-François Raskin,
Didier Lime,
2007,
ATVA.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2016,
FSTTCS.
Jean-François Raskin,
Ocan Sankur,
2014,
FSTTCS.
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2010,
MFCS.
Jean-François Raskin,
Romain Brenguier,
Mathieu Sassolas,
2013,
CSL-LICS.
Jean-François Raskin,
Laurent Van Begin,
L. V. Begin,
2004
.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2008
.
Yao-Hua Tan,
Jean-François Raskin,
Leendert van der Torre,
1995
.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2014,
RP.
Véronique Bruyère,
Patricia Bouyer,
Jean-François Raskin,
2007,
Formal Methods Syst. Des..
Jean-François Raskin,
2012
.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2012,
Acta Informatica.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2004,
Formal Aspects of Computing.
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2004,
FORMATS/FTRTFT.
Véronique Bruyère,
Jean-François Raskin,
Clément Tamines,
2021,
CONCUR.
Jean-François Raskin,
Laurent Van Begin,
Mathias Samuelides,
2000
.
Jean-François Raskin,
Romain Brenguier,
Romain Brenguier,
2014
.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jean-François Raskin,
2006
.