Jean-François Raskin
发表
Thomas A. Henzinger,
Jean-François Raskin,
Laurent Doyen,
2008,
Int. J. Found. Comput. Sci..
Franck Cassez,
Jean-François Raskin,
F. Cassez,
2014,
Lecture Notes in Computer Science.
Marsha Chechik,
Jean-François Raskin,
M. Chechik,
2016,
Lecture Notes in Computer Science.
Véronique Bruyère,
Jean-François Raskin,
Nathalie Bertrand,
2014,
Acta Informatica.
Véronique Bruyère,
Jean-François Raskin,
Aaron Bohy,
2014,
SYNT.
Rupak Majumdar,
Jean-François Raskin,
R. Majumdar,
2018,
Handbook of Model Checking.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
IEEE Transactions on Software Engineering.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jean-François Raskin,
2010,
FSTTCS.
Kim G. Larsen,
Jean-François Raskin,
Didier Lime,
2007,
ATVA.
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2005,
FORMATS.
Krishnendu Chatterjee,
Petr Novotný,
Dorde Zikelic,
2017,
AAAI.
Krishnendu Chatterjee,
Petr Novotný,
Dorde Zikelic,
2016,
ArXiv.
Krishnendu Chatterjee,
Jean-François Raskin,
Laurent Doyen,
2013,
VMCAI.
V. Bruyère,
Clément Tamines,
Jean-François Raskin,
2022,
ArXiv.
J. Raskin,
V. Bruyère,
Clément Tamines,
2022,
CONCUR.
Jean-Franccois Raskin,
V'eronique Bruyere,
Cl'ement Tamines,
2021,
ArXiv.
Shibashis Guha,
Mrudula Balachander,
Jean-Franccois Raskin,
2020,
CONCUR.
V. Bruyère,
Aline Goeminne,
Jean-François Raskin,
2020,
Inf. Comput..
Véronique Bruyère,
Jean-François Raskin,
Clément Tamines,
2021,
CONCUR.
M. Balachander,
Shibashis Guha,
Jean-François Raskin,
2020,
ArXiv.
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2019,
CONCUR.
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2018,
LICS.
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.
J. Raskin,
Mathieu Sassolas,
G. Pérez,
2018
.
Jean-François Raskin,
Ocan Sankur,
Nicolas Basset,
2017,
Models, Algorithms, Logics and Tools.
Arno Pauly,
Véronique Bruyère,
Jean-François Raskin,
2016,
FoSSaCS.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2016,
FSTTCS.
Jean-François Raskin,
Emmanuel Filiot,
Rodica Condurache,
2016,
ICALP.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
Acta Informatica.
Véronique Bruyère,
Jean-François Raskin,
Noémie Meunier,
2014,
CSL-LICS.
Jean-François Raskin,
Tristan Le Gall,
Emmanuel Filiot,
2010,
MFCS.
Jean-François Raskin,
Frédéric Servais,
Frédéric Servais,
2008
.
Jean-François Raskin,
Romain Brenguier,
Franck Cassez,
2014,
HSCC.
Véronique Bruyère,
Patricia Bouyer,
Jean-François Raskin,
2007,
Formal Methods Syst. Des..
Krishnendu Chatterjee,
Laurent Doyen,
Jean-Francois Raskin,
2006,
Log. Methods Comput. Sci..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Alexander Moshe Rabinovich,
2012,
Inf. Comput..
Luc De Raedt,
Wen-Chi Yang,
Jean-Franccois Raskin,
2021,
Machine Learning.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2008,
TACAS.
Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin,
2008,
Fundam. Informaticae.
J. Raskin,
P. Ganty,
Jean-François Raskin,
2007
.
Patrick Cousot,
Pierre Ganty,
Jean-François Raskin,
2007,
SAS.
Jean-François Raskin,
Romain Brenguier,
Mathieu Sassolas,
2013,
CSL-LICS.
Jan Kretínský,
Guillermo A. Pérez,
Jean-François Raskin,
2018,
CONCUR.
J. Raskin,
G. Pérez,
P. Hunter,
2015,
Acta Informatica.
Jean-François Raskin,
Gilles Geeraerts,
Shibashis Guha,
2018,
FSTTCS.
J. Raskin,
V. Bruyère,
Q. Hautem,
2017
.
Szymon Torunczyk,
Jean-François Raskin,
Laurent Doyen,
2010,
CSL.
G. Delzanno,
L. V. Begin,
Jean-François Raskin,
2001,
CAV.
F. Vernadat,
T. Chatain,
L. Petrucci,
2013
.
J. Raskin,
Jan Křetínský,
J. Esparza,
2022,
International Journal on Software Tools for Technology Transfer.
Jan Kretínský,
Jean-François Raskin,
Javier Esparza,
2017,
TACAS.
J. Raskin,
N. Maquet,
Jean-François Raskin,
2011
.
Pierre-Yves Schobbens,
Axel Legay,
Andreas Classen,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Jean-François Raskin,
Laurent Doyen,
L. Doyen,
2010,
TACAS.
Jean-François Raskin,
Laurent Doyen,
L. Doyen,
2009,
Log. Methods Comput. Sci..
J. Raskin,
G. Geeraerts,
Jean-François Raskin,
2007
.
Jean-François Raskin,
Laurent Doyen,
L. Doyen,
2007,
TACAS.
J. Raskin,
Lorenzo Clemente,
Jean-François Raskin,
2016
.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2008
.
Présentation Du Travail Antichains: Alternative Algorithms for Ltl Satisfiability and Model-checking
L. Doyen,
J. Raskin,
N. Maquet,
2022
.
Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin,
2006
.
G. Geeraerts,
L. V. Begin,
Jean-François Raskin,
2004,
FSTTCS.
L. Brim,
J. Chaloupka,
L. Doyen,
2011,
Formal Methods Syst. Des..
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2013,
Inf. Comput..
Jean-François Raskin,
Emmanuel Filiot,
Raffaella Gentilini,
2011,
CONCUR.
Nicolas Markey,
Jean-François Raskin,
Laurent Doyen,
2008,
Formal Methods Syst. Des..
Jean-François Raskin,
Emmanuel Filiot,
Naiyong Jin,
2009,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Jean-François Raskin,
2000,
SAS.
Jean-François Raskin,
Romain Brenguier,
Romain Brenguier,
2015,
CAV.
Véronique Bruyère,
Guillermo A. Pérez,
Jean-François Raskin,
2019,
RP.
Véronique Bruyère,
Jean-François Raskin,
Quentin Hautem,
2017,
ArXiv.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2012,
Acta Informatica.
Jean-François Raskin,
Emmanuel Filiot,
Naiyong Jin,
2011,
Formal Methods Syst. Des..
Giorgio Delzanno,
Cédric Meuter,
Pierre Ganty,
2007
.
Gavin Rens,
Giuseppe Marra,
Jean-Franccois Raskin,
2020,
ICAART.
Gavin Rens,
Jean-Franccois Raskin,
Gavin Rens,
2020,
ArXiv.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2015,
CSL.
Véronique Bruyère,
Jean-François Raskin,
Emmanuel Filiot,
2012,
TACAS.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2019,
CONCUR.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2013,
STACS.
Marie van den Bogaard,
L'eonard Brice,
Jean-François Raskin,
2023,
ArXiv.
Marie van den Bogaard,
J. Raskin,
L'eonard Brice,
2022,
ICALP.
Marie van den Bogaard,
L'eonard Brice,
Jean-François Raskin,
2021,
Annual Conference for Computer Science Logic.
Marie van den Bogaard,
Jean-Franccois Raskin,
L'eonard Brice,
2021,
CONCUR.
Emmanuel Filiot,
Raffaella Gentilini,
Jean-Franccois Raskin,
2020,
ICALP.
Véronique Bruyère,
Jean-François Raskin,
Quentin Hautem,
2017,
CONCUR.
Sayan Mukherjee,
D. Chakraborty,
A. Majumdar,
2023,
arXiv.org.
Shibashis Guha,
Jean-Franccois Raskin,
Raphael Berthon,
2020,
LICS.
O. Sankur,
Mickael Randour,
Jean-François Raskin,
2017,
Formal methods in system design.
Mickael Randour,
Jean-François Raskin,
Raphaël Berthon,
2017,
ICALP.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
VMCAI.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
CAV.
Jean-François Raskin,
Steve Kremer,
S. Kremer,
2001,
J. Comput. Secur..
D. Chakraborty,
G. Pérez,
Jean-François Raskin,
2023,
AAMAS.
K. Larsen,
J. Katoen,
H. Hermanns,
2022
.
Thomas A. Henzinger,
Jean-François Raskin,
Thomas Brihaye,
2007,
ICALP.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2007,
Acta Informatica.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
Jean-François Raskin,
Emmanuel Filiot,
Naiyong Jin,
2013,
International Journal on Software Tools for Technology Transfer.
Véronique Bruyère,
Jean-François Raskin,
Emmanuel Filiot,
2012,
CAV.
Jean-François Raskin,
Nathalie Sznajder,
Gilles Geeraerts,
2010,
FORMATS.
Jean-François Raskin,
Laurent Doyen,
Gilles Geeraerts,
2009,
FORMATS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jean-François Raskin,
2006
.
J. Raskin,
E. Filiot,
Nicolas Mazzocchi,
2018,
DLT.
R. Bloem,
Robert Könighofer,
Nina Narodytska,
2016,
SYNT@CAV.
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2010,
MFCS.
Frédéric Servais,
Jean-François Raskin,
2008,
International Colloquium on Automata, Languages and Programming.
Jean-François Raskin,
Laurent Van Begin,
Mathias Samuelides,
2005,
AVoCS.
J. Raskin,
M. Samuelides,
L. V. Begin,
2003
.
Jean-François Raskin,
Laurent Van Begin,
Mathias Samuelides,
2000
.
Shibashis Guha,
Benjamin Bordais,
Jean-François Raskin,
2022,
ICALP.
Lorenzo Clemente,
Jean-François Raskin,
Lorenzo Clemente,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Jean-François Raskin,
Romain Brenguier,
Romain Brenguier,
2014
.
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1997,
HART.
Jean-François Raskin,
Tristan Le Gall,
Gilles Geeraerts,
2010,
ATVA.
Jean-François Raskin,
Emmanuel Filiot,
Naiyong Jin,
2010,
ATVA.
Pierre Ganty,
Jean-François Raskin,
Nicolas Maquet,
2010,
Theor. Comput. Sci..
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2006,
HSCC.
Jean-François Raskin,
Gilles Geeraerts,
Laurent Van Begin,
2006,
J. Comput. Syst. Sci..
Nicolas Markey,
Jean-François Raskin,
Laurent Doyen,
2004,
FORMATS/FTRTFT.
Véronique Bruyère,
Jean-François Raskin,
Thomas Brihaye,
2004,
FORMATS/FTRTFT.
Jean-François Raskin,
Laurent Van Begin,
L. V. Begin,
2004,
INFINITY.
Jean-François Raskin,
Laurent Doyen,
Martin De Wulf,
2004,
Formal Aspects of Computing.
Giorgio Delzanno,
Jean-François Raskin,
Laurent Van Begin,
2004,
International Journal on Software Tools for Technology Transfer.
Giorgio Delzanno,
Jean-François Raskin,
Laurent Van Begin,
2002,
TACAS.
Thomas A. Henzinger,
Jean-François Raskin,
Franck Cassez,
2002,
HSCC.
Jean-François Raskin,
Laurent Van Begin,
L. V. Begin,
2004
.
J. Raskin,
O. Sankur,
Mickael Randour,
2014,
Formal Methods in System Design.
G. Geeraerts,
L. V. Begin,
Jean-François Raskin,
2007,
Acta Informatica.
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1999,
Inf. Process. Lett..
Jean-Francois Raskin,
Jean-François Raskin,
1999
.
G. Geeraerts,
D. Chakraborty,
Jean-François Raskin,
2020,
CONCUR.
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,
Nathalie Sznajder,
Gilles Geeraerts,
2014,
Formal Methods Syst. Des..
Jean-François Raskin,
Nathalie Sznajder,
Gilles Geeraerts,
2011,
FORMATS.
Pierre-Yves Schobbens,
Jean-François Raskin,
J. Raskin,
1998,
J. Autom. Lang. Comb..
P. Cousot,
P. Ganty,
Jean-François Raskin,
2007,
SAS.
Véronique Bruyère,
Jean-François Raskin,
Emmanuel Dall'Olio,
2008,
TOCL.
Véronique Bruyère,
Jean-François Raskin,
V. Bruyère,
2003,
Log. Methods Comput. Sci..
Pierre-Yves Schobbens,
Jean-François Raskin,
Pierre-Yves Schobbens,
1997,
TACAS.
Yao-Hua Tan,
Jean-François Raskin,
Leendert van der Torre,
1995
.
Thomas A. Henzinger,
Jean-François Raskin,
T. Henzinger,
2000,
HSCC.
Axel Legay,
P. Heymans,
Maxime Cordy,
2022
.
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1998,
CONCUR.
Sriram Sankaranarayanan,
Jean-François Raskin,
Emmanuel Filiot,
2020,
CONCUR.
J. Raskin,
G. Geeraerts,
N. Sznajder,
2014,
Formal Methods in System Design.
Jean-François Raskin,
1999
.