Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: François Laroussinie
@inproceedings{DBLP:conf/csl/LaroussinieLS24,
author = {Fran{\c{c}}ois Laroussinie and
Loriane Leclercq and
Arnaud Sangnier},
editor = {Aniello Murano and
Alexandra Silva},
title = {{QLTL} Model-Checking},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {35:1--35:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.35},
doi = {10.4230/LIPICS.CSL.2024.35},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/LaroussinieLS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HossainL21,
author = {Akash Hossain and
Fran{\c{c}}ois Laroussinie},
title = {{QCTL} model-checking with {QBF} solvers},
journal = {Inf. Comput.},
volume = {280},
pages = {104642},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104642},
doi = {10.1016/J.IC.2020.104642},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HossainL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03185,
author = {Akash Hossain and
Fran{\c{c}}ois Laroussinie},
title = {{QCTL} model-checking with {QBF} solvers},
journal = {CoRR},
volume = {abs/2010.03185},
year = {2020},
url = {https://arxiv.org/abs/2010.03185},
eprinttype = {arXiv},
eprint = {2010.03185},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Delporte-Gallet19,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Yan Jurski and
Fran{\c{c}}ois Laroussinie and
Arnaud Sangnier},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Towards Synthesis of Distributed Algorithms with {SMT} Solvers},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {200--216},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_13},
doi = {10.1007/978-3-030-31277-0\_13},
timestamp = {Mon, 03 Jan 2022 22:16:19 +0100},
biburl = {https://dblp.org/rec/conf/netys/Delporte-Gallet19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HossainL19,
author = {Akash Hossain and
Fran{\c{c}}ois Laroussinie},
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {From Quantified {CTL} to {QBF}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
pages = {11:1--11:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.11},
doi = {10.4230/LIPICS.TIME.2019.11},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/HossainL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10005,
author = {Akash Hossain and
Fran{\c{c}}ois Laroussinie},
title = {From Quantified {CTL} to {QBF}},
journal = {CoRR},
volume = {abs/1906.10005},
year = {2019},
url = {http://arxiv.org/abs/1906.10005},
eprinttype = {arXiv},
eprint = {1906.10005},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BouyerLMOW17,
author = {Patricia Bouyer and
Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Timed Temporal Logics},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {211--230},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_11},
doi = {10.1007/978-3-319-63121-9\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BouyerLMOW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DavidLM16,
author = {Am{\'{e}}lie David and
Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {On the Expressiveness of {QCTL}},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {28:1--28:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.28},
doi = {10.4230/LIPICS.CONCUR.2016.28},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/DavidLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LaroussinieM15,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
title = {Augmenting {ATL} with strategy contexts},
journal = {Inf. Comput.},
volume = {245},
pages = {98--123},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2014.12.020},
doi = {10.1016/J.IC.2014.12.020},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LaroussinieM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LaroussinieMS15,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Arnaud Sangnier},
editor = {Javier Esparza and
Enrico Tronci},
title = {ATLsc with partial observation},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {43--57},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.4},
doi = {10.4204/EPTCS.193.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaroussinieMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LaroussinieM14,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
title = {Quantified {CTL:} Expressiveness and Complexity},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {4},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(4:17)2014},
doi = {10.2168/LMCS-10(4:17)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaroussinieM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2014,
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://ieeexplore.ieee.org/xpl/conhome/6933234/proceeding},
isbn = {978-1-4799-4228-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LaroussinieM13,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Satisfiability of {ATL} with strategy contexts},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {208--223},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.18},
doi = {10.4204/EPTCS.119.18},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/LaroussinieM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4651,
author = {Fran{\c{c}}ois Laroussinie and
Antoine Meyer and
Eudes Petonnet},
title = {Counting {CTL}},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:3)2013},
doi = {10.2168/LMCS-9(1:3)2013},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LopesLM12,
author = {Arnaud Da Costa Lopes and
Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Quantified {CTL:} Expressiveness and Model Checking - (Extended Abstract)},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {177--192},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_14},
doi = {10.1007/978-3-642-32940-1\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/LopesLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BouyerCL11,
author = {Patricia Bouyer and
Franck Cassez and
Fran{\c{c}}ois Laroussinie},
title = {Timed Modal Logics for Real-Time Systems - Specification, Verification
and Control},
journal = {J. Log. Lang. Inf.},
volume = {20},
number = {2},
pages = {169--203},
year = {2011},
url = {https://doi.org/10.1007/s10849-010-9127-4},
doi = {10.1007/S10849-010-9127-4},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BouyerCL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Laroussinie10,
author = {Fran{\c{c}}ois Laroussinie},
title = {Christel Baier and Joost-Pieter Katoen\emph{Principles of Model Checking}.
{MIT} Press (May 2008).ISBN: 978-0-262-02649-9, 975 pp. Hardcover},
journal = {Comput. J.},
volume = {53},
number = {5},
pages = {615--616},
year = {2010},
url = {https://doi.org/10.1093/comjnl/bxp025},
doi = {10.1093/COMJNL/BXP025},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Laroussinie10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Laroussinie10,
author = {Fran{\c{c}}ois Laroussinie},
title = {Temporal Logics for Games},
journal = {Bull. {EATCS}},
volume = {100},
pages = {79--98},
year = {2010},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Laroussinie10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaroussinieMP10,
author = {Fran{\c{c}}ois Laroussinie and
Antoine Meyer and
Eudes Petonnet},
editor = {C.{-}H. Luke Ong},
title = {Counting {CTL}},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {206--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_15},
doi = {10.1007/978-3-642-12032-9\_15},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/LaroussinieMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LopesLM10,
author = {Arnaud Da Costa Lopes and
Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {{ATL} with Strategy Contexts: Expressiveness and Model Checking},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
Chennai, India},
series = {LIPIcs},
volume = {8},
pages = {120--132},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.120},
doi = {10.4230/LIPICS.FSTTCS.2010.120},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/LopesLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LaroussinieMP10,
author = {Fran{\c{c}}ois Laroussinie and
Antoine Meyer and
Eudes Petonnet},
editor = {Nicolas Markey and
Jef Wijsen},
title = {Counting {LTL}},
booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
and Reasoning, Paris, France, 6-8 September 2010},
pages = {51--58},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TIME.2010.20},
doi = {10.1109/TIME.2010.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LaroussinieMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2010,
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4},
doi = {10.1007/978-3-642-15375-4},
isbn = {978-3-642-15374-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrihayeLLM09,
author = {Thomas Brihaye and
Arnaud Da Costa Lopes and
Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {{ATL} with Strategy Contexts and Bounded Memory},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {92--106},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_7},
doi = {10.1007/978-3-540-92687-0\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrihayeLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LaroussinieMO08,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Ghassan Oreiby},
title = {On the Expressiveness and Complexity of {ATL}},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {2},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(2:7)2008},
doi = {10.2168/LMCS-4(2:7)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LaroussinieMO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/JurdzinskiSL08,
author = {Marcin Jurdzinski and
Jeremy Sproston and
Fran{\c{c}}ois Laroussinie},
title = {Model Checking Probabilistic Timed Automata with One or Two Clocks},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {3},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(3:12)2008},
doi = {10.2168/LMCS-4(3:12)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/JurdzinskiSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-2435,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Ghassan Oreiby},
title = {On the Expressiveness and Complexity of {ATL}},
journal = {CoRR},
volume = {abs/0804.2435},
year = {2008},
url = {http://arxiv.org/abs/0804.2435},
eprinttype = {arXiv},
eprint = {0804.2435},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-2435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-0060,
author = {Marcin Jurdzinski and
Fran{\c{c}}ois Laroussinie and
Jeremy Sproston},
title = {Model Checking Probabilistic Timed Automata with One or Two Clocks},
journal = {CoRR},
volume = {abs/0809.0060},
year = {2008},
url = {http://arxiv.org/abs/0809.0060},
eprinttype = {arXiv},
eprint = {0809.0060},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-0060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LaroussinieS07,
author = {Fran{\c{c}}ois Laroussinie and
Jeremy Sproston},
title = {State explosion in almost-sure probabilistic reachability},
journal = {Inf. Process. Lett.},
volume = {102},
number = {6},
pages = {236--241},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2007.01.003},
doi = {10.1016/J.IPL.2007.01.003},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LaroussinieS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrihayeLMO07,
author = {Thomas Brihaye and
Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Ghassan Oreiby},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Timed Concurrent Game Structures},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {445--459},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_30},
doi = {10.1007/978-3-540-74407-8\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrihayeLMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaroussinieMO07,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Ghassan Oreiby},
editor = {Helmut Seidl},
title = {On the Expressiveness and Complexity of {ATL}},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {243--257},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_18},
doi = {10.1007/978-3-540-71389-0\_18},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LaroussinieMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JurdzinskiLS07,
author = {Marcin Jurdzinski and
Fran{\c{c}}ois Laroussinie and
Jeremy Sproston},
editor = {Orna Grumberg and
Michael Huth},
title = {Model Checking Probabilistic Timed Automata with One or Two Clocks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {170--184},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_15},
doi = {10.1007/978-3-540-71209-1\_15},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JurdzinskiLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DemriLS06,
author = {St{\'{e}}phane Demri and
Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
title = {A parametric analysis of the state-explosion problem in model checking},
journal = {J. Comput. Syst. Sci.},
volume = {72},
number = {4},
pages = {547--575},
year = {2006},
url = {https://doi.org/10.1016/j.jcss.2005.11.003},
doi = {10.1016/J.JCSS.2005.11.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DemriLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaroussinieMS06,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Philippe Schnoebelen},
title = {Efficient timed model checking for discrete-time systems},
journal = {Theor. Comput. Sci.},
volume = {353},
number = {1-3},
pages = {249--271},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.020},
doi = {10.1016/J.TCS.2005.11.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LaroussinieMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MokademBBL06,
author = {Houda Bel Mokadem and
B{\'{e}}atrice B{\'{e}}rard and
Patricia Bouyer and
Fran{\c{c}}ois Laroussinie},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Timed Temporal Logics for Abstracting Transient States},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {337--351},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_26},
doi = {10.1007/11901914\_26},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/MokademBBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/LaroussinieMO06,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Ghassan Oreiby},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Model-Checking Timed},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {245--259},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_18},
doi = {10.1007/11867340\_18},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/LaroussinieMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
author = {Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Lu{\'{\i}}s Almeida and
Albert Benveniste and
Bruno Bouyssounouse and
Giorgio C. Buttazzo and
Ivica Crnkovic and
Werner Damm and
Jakob Engblom and
Gerhard Fohler and
Marisol Garc{\'{\i}}a{-}Valls and
Hermann Kopetz and
Yassine Lakhnech and
Fran{\c{c}}ois Laroussinie and
Luciano Lavagno and
Giuseppe Lipari and
Florence Maraninchi and
Philipp Peti and
Juan Antonio de la Puente and
Norman Scaife and
Joseph Sifakis and
Robert de Simone and
Martin T{\"{o}}rngren and
Paulo Ver{\'{\i}}ssimo and
Andy J. Wellings and
Reinhard Wilhelm and
Tim A. C. Willemse and
Wang Yi},
title = {Guidelines for a graduate curriculum on embedded software and systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {587--611},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086526},
doi = {10.1145/1086519.1086526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouyerCL05,
author = {Patricia Bouyer and
Franck Cassez and
Fran{\c{c}}ois Laroussinie},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Modal Logics for Timed Control},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {81--94},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_10},
doi = {10.1007/11539452\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouyerCL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MokademBBL05,
author = {Houda Bel Mokadem and
B{\'{e}}atrice B{\'{e}}rard and
Patricia Bouyer and
Fran{\c{c}}ois Laroussinie},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {A New Modality for Almost Everywhere Properties in Timed Automata},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {110--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_12},
doi = {10.1007/11539452\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MokademBBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouyerLR05,
author = {Patricia Bouyer and
Fran{\c{c}}ois Laroussinie and
Pierre{-}Alain Reynier},
editor = {Paul Pettersson and
Wang Yi},
title = {Diagonal Constraints in Timed Automata: Forward Analysis of Timed
Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {112--126},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_10},
doi = {10.1007/11603009\_10},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BouyerLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaroussinieS05,
author = {Fran{\c{c}}ois Laroussinie and
Jeremy Sproston},
editor = {Vladimiro Sassone},
title = {Model Checking Durational Probabilistic Systems},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {140--154},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_9},
doi = {10.1007/978-3-540-31982-5\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LaroussinieS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaroussinieMS04,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Philippe Schnoebelen},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Model Checking Timed Automata with One or Two Clocks},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {387--401},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_25},
doi = {10.1007/978-3-540-28644-8\_25},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/LaroussinieMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaroussinieST03,
author = {Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen and
Mathieu Turuani},
title = {On the expressivity and complexity of quantitative branching-time
temporal logics},
journal = {Theor. Comput. Sci.},
volume = {297},
number = {1-3},
pages = {297--315},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00644-8},
doi = {10.1016/S0304-3975(02)00644-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LaroussinieST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoL02,
author = {Luca Aceto and
Fran{\c{c}}ois Laroussinie},
title = {Is your model checker on time? On the complexity of model checking
for timed modal logics},
journal = {J. Log. Algebraic Methods Program.},
volume = {52-53},
pages = {7--51},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(02)00022-X},
doi = {10.1016/S1567-8326(02)00022-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaroussinieMS02,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Philippe Schnoebelen},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {On Model Checking Durational Kripke Structures},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {264--279},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_19},
doi = {10.1007/3-540-45931-6\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LaroussinieMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LaroussinieMS02,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Philippe Schnoebelen},
title = {Temporal Logic with Forgettable Past},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {383--392},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029846},
doi = {10.1109/LICS.2002.1029846},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LaroussinieMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DemriLS02,
author = {St{\'{e}}phane Demri and
Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
editor = {Helmut Alt and
Afonso Ferreira},
title = {A Parametric Analysis of the State Explosion Problem in Model Checking},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {620--631},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_51},
doi = {10.1007/3-540-45841-7\_51},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DemriLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Berard01,
author = {B{\'{e}}atrice B{\'{e}}rard and
Michel Bidoit and
Alain Finkel and
Fran{\c{c}}ois Laroussinie and
Antoine Petit and
Laure Petrucci and
Philippe Schnoebelen and
Pierre McKenzie},
title = {Systems and Software Verification, Model-Checking Techniques and Tools},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-3-662-04558-9},
doi = {10.1007/978-3-662-04558-9},
isbn = {978-3-642-07478-3},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/lib/Berard01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaroussinieMS01,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Philippe Schnoebelen},
editor = {Furio Honsell and
Marino Miculan},
title = {Model Checking CTL\({}^{\mbox{+}}\) and {FCTL} is Hard},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {318--331},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_21},
doi = {10.1007/3-540-45315-6\_21},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LaroussinieMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LaroussinieS00,
author = {Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
title = {Specification in CTL+Past for Verification in {CTL}},
journal = {Inf. Comput.},
volume = {156},
number = {1-2},
pages = {236--263},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2817},
doi = {10.1006/INCO.1999.2817},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LaroussinieS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CassezL00,
author = {Franck Cassez and
Fran{\c{c}}ois Laroussinie},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Model-Checking for Hybrid Systems by Quotienting and Constraints Solving},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {373--388},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_29},
doi = {10.1007/10722167\_29},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CassezL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LaroussinieS00,
author = {Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
editor = {Jerzy Tiuryn},
title = {The State Explosion Problem from Trace to Bisimulation Equivalence},
booktitle = {Foundations of Software Science and Computation Structures, Third
International Conference, {FOSSACS} 2000, Held as Part of the Joint
European Conferences on Theory and Practice of Software,ETAPS 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1784},
pages = {192--207},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46432-8\_13},
doi = {10.1007/3-540-46432-8\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LaroussinieS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/LaroussinieST00,
author = {Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen and
Mathieu Turuani},
editor = {Gaston H. Gonnet and
Daniel Panario and
Alfredo Viola},
title = {On the Expressivity and Complexity of Quantitative Branching-Time
Temporal Logics},
booktitle = {{LATIN} 2000: Theoretical Informatics, 4th Latin American Symposium,
Punta del Este, Uruguay, April 10-14, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1776},
pages = {437--446},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10719839\_43},
doi = {10.1007/10719839\_43},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/LaroussinieST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AcetoL99,
author = {Luca Aceto and
Fran{\c{c}}ois Laroussinie},
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {Is Your Model Checker on Time? On the Complexity of Model Checking
for Timed Modal Logics},
booktitle = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1672},
pages = {125--136},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48340-3\_12},
doi = {10.1007/3-540-48340-3\_12},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AcetoL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LaroussinieL98,
author = {Fran{\c{c}}ois Laroussinie and
Kim Guldstrand Larsen},
editor = {Stanislaw Budkowski and
Ana R. Cavalli and
Elie Najm},
title = {{CMC:} {A} Tool for Compositional Model-Checking of Real-Time Systems},
booktitle = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {XI)} and
Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
November, 1998, Paris, France},
series = {{IFIP} Conference Proceedings},
volume = {135},
pages = {439--456},
publisher = {Kluwer},
year = {1998},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/LaroussinieL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KristoffersenLLPY97,
author = {K{\aa}re J. Kristoffersen and
Fran{\c{c}}ois Laroussinie and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Compositional Proof of a Real-Time Mutual Exclusion Protocol},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {565--579},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030626},
doi = {10.1007/BFB0030626},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KristoffersenLLPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LaroussinieS97,
author = {Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Specification in CTL+Past, verification in {CTL}},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {161--184},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80472-4},
doi = {10.1016/S1571-0661(05)80472-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LaroussinieS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Laroussinie95,
author = {Fran{\c{c}}ois Laroussinie},
title = {About the Expressive Power of {CTL} Combinators},
journal = {Inf. Process. Lett.},
volume = {54},
number = {6},
pages = {343--345},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(95)00053-F},
doi = {10.1016/0020-0190(95)00053-F},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Laroussinie95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaroussiniePS95,
author = {Fran{\c{c}}ois Laroussinie and
Sophie Pinchinat and
Philippe Schnoebelen},
title = {Translations Between Modal Logics of Reactive Systems},
journal = {Theor. Comput. Sci.},
volume = {140},
number = {1},
pages = {53--71},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00204-V},
doi = {10.1016/0304-3975(94)00204-V},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LaroussiniePS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaroussinieS95,
author = {Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
title = {A Hierarchy of Temporal Logics with Past},
journal = {Theor. Comput. Sci.},
volume = {148},
number = {2},
pages = {303--324},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00035-U},
doi = {10.1016/0304-3975(95)00035-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LaroussinieS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaroussinieL95,
author = {Fran{\c{c}}ois Laroussinie and
Kim Guldstrand Larsen},
editor = {Insup Lee and
Scott A. Smolka},
title = {Compositional Model Checking of Real Time Systems},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {27--41},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_3},
doi = {10.1007/3-540-60218-6\_3},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/LaroussinieL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LaroussinieLW95,
author = {Fran{\c{c}}ois Laroussinie and
Kim Guldstrand Larsen and
Carsten Weise},
editor = {Jir{\'{\i}} Wiedermann and
Petr H{\'{a}}jek},
title = {From Timed Automata to Logic - and Back},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International
Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {969},
pages = {529--539},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60246-1\_158},
doi = {10.1007/3-540-60246-1\_158},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LaroussinieLW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LaroussinieS94,
author = {Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {A Hierarchy of Temporal Logics with Past (Extended Abstract)},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {47--58},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_130},
doi = {10.1007/3-540-57785-8\_130},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LaroussinieS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LaroussiniePS93,
author = {Fran{\c{c}}ois Laroussinie and
Sophie Pinchinat and
Philippe Schnoebelen},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Translation Results for Modal Logics of Reactive Systems},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands, 21-25
June, 1993},
series = {Workshops in Computing},
pages = {297--306},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 12 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/LaroussiniePS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-08 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
