2014  

[BLM14]  Patricia Bouyer, Kim Guldstrand Larsen, and Nicolas Markey. LowerBound Constrained Runs in Weighted Timed Automata. Performance Evaluation 73:91109. Elsevier, March 2014. 
[LM14]  François Laroussinie and Nicolas Markey. Quantified CTL: expressiveness and complexity. Logical Methods in Computer Science 10(4). December 2014. 
[SBM14]  Ocan Sankur, Patricia Bouyer, and Nicolas Markey. Shrinking Timed Automata. Information and Computation 234:107132. Elsevier, February 2014. 
[BGM14]  Patricia Bouyer, Patrick Gardy, and Nicolas Markey. Quantitative verification of weighted Kripke structures. In ATVA'14, Lecture Notes in Computer Science 8837, pages 6480. SpringerVerlag, November 2014. 
[BMM14]  Patricia Bouyer, Nicolas Markey, and Raj Mohan Matteplackel. Averaging in LTL. In CONCUR'14, Lecture Notes in Computer Science 8704, pages 266280. SpringerVerlag, September 2014. 
[BMS14]  Patricia Bouyer, Nicolas Markey, and Daniel Stan. Mixed Nash Equilibria in Concurrent Games. In FSTTCS'14, Leibniz International Proceedings in Informatics 29, pages 351363. LeibnizZentrum für Informatik, December 2014. 
[BMV14]  Patricia Bouyer, Nicolas Markey, and Steen Vester. Nash Equilibria in Symmetric Games with Partial Observation. In SR'14, Electronic Proceedings in Theoretical Computer Science 146, pages 4955. March 2014. 
[DJL+14]  Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, and Mahsa Shirmohammadi. Synchronizing words for weighted and timed automata. In FSTTCS'14, Leibniz International Proceedings in Informatics 29, pages 121132. LeibnizZentrum für Informatik, December 2014. 
[MV14]  Nicolas Markey and Steen Vester. Symmetry Reduction in Infinite Games with Finite Branching. In ATVA'14, Lecture Notes in Computer Science 8837, pages 281296. SpringerVerlag, November 2014. 
[SLS+14]  Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, and Nicolas Markey. ComponentBased Analysis of Hierarchical Scheduling using Linear Hybrid Automata. In RTCSA'14. IEEE Comp. Soc. Press, August 2014. 
[ABK14]  Shaull Almagor, Udi Boker, and Orna Kupferman. Discounting in LTL. In TACAS'14, Lecture Notes in Computer Science 8413, pages 424439. SpringerVerlag, April 2014. 
[AJK+14]  Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, and Sasha Rubin. Parametrized Model Checking of TokenPassing Systems. In VMCAI'14, Lecture Notes in Computer Science 8318, pages 262281. SpringerVerlag, January 2014. 
[AKR+14]  Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, and Helmut Veith. Parameterized Model Checking of Rendezvous Systems. In CONCUR'14, Lecture Notes in Computer Science 8704, pages 109124. SpringerVerlag, September 2014. 
[AR14]  Benjamin Aminof and Sasha Rubin. First Cycle Games. In SR'14, Electronic Proceedings in Theoretical Computer Science 146, pages 8390. March 2014. 
[BBB+14]  Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, and Marcin Jurdziński. Stochastic Timed Automata. Logical Methods in Computer Science 10(4). December 2014. 
[BBD14]  Thomas Brihaye,
Véronique Bruyère, and
Julie De Pril.
On Equilibria in Quantitative Games with
Reachability/Safety Objectives.
Theory of Computing Systems 54(2):150189. SpringerVerlag, February 2014.

[BBJ+14]  Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, and Thomas Noll. A Review of Statistical Model Checking Pitfalls on RealTime Stochastic Models. In ISoLA'14, Lecture Notes in Computer Science 8803, pages 177192. SpringerVerlag, October 2014. 
[BCH+14]  Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. ACM Transactions on Computational Logic 15(4):27:127:25. ACM Press, August 2014. 
[BDL+14]  Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, and Guangyuan Li. Efficient Controller Synthesis for a fragment of MTL0,&infin. Acta Informatica 51(34):165192. SpringerVerlag, June 2014. 
[BFS14]  Nathalie Bertrand, Paulin Fournier, and Arnaud Sangnier. Playing with Probabilities in Reconfigurable Broadcast Networks. In FoSSaCS'14, Lecture Notes in Computer Science 8412, pages 134148. SpringerVerlag, April 2014. 
[BGN+14]  Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, and Ashutosh Trivedi. Adding negative prices to priced timed games. In CONCUR'14, Lecture Notes in Computer Science 8704, pages 560575. SpringerVerlag, September 2014. 
[BGS14]  Benedikt Bollig, Paul Gastin, and Jana Schubert. Parameterized verification of communicating automata under context bounds. In RP'14, Lecture Notes in Computer Science 8762, pages 4557. SpringerVerlag, September 2014. 
[BHL14]  Nathalie Bertrand, Serge Haddad, and Engel Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems. In FSTTCS'14, Leibniz International Proceedings in Informatics 29, pages 417429. LeibnizZentrum für Informatik, December 2014. 
[BHM14]  Bernard Boigelot, Frédéric Herbreteau, and Isabelle Mainz. Acceleration of Affine Hybrid Transformations. In ATVA'14, Lecture Notes in Computer Science 8837, pages 3146. SpringerVerlag, November 2014. 
[BKK+14]  Tomáš Brázdil, David Klaška, Antonín Kučera, and Petr Novotný. Minimizing Running Costs in Consumption Systems. In CAV'14, Lecture Notes in Computer Science 8559, pages 457472. SpringerVerlag, July 2014. 
[BMR14]  Véronique Bruyère, Noëmie Meunier, and JeanFrançois Raskin. Secure Equilibria in Weighted Games. In CSL/ LICS'14. ACM Press, July 2014. 
[BRS14]  Romain Brenguier, JeanFrançois Raskin, and Mathieu Sassolas. The complexity of admissibility in omegaregular games. In CSL/ LICS'14, pages 23:123:10. ACM Press, July 2014. 
[CDF+14]  Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, and JeanFrançois Raskin. Doomsday Equilibria for OmegaRegular Games. In VMCAI'14, Lecture Notes in Computer Science 8318, pages 7897. SpringerVerlag, January 2014. 
[Cer14]  Petr Čermák. A Model Checker for Strategy Logic. Master's thesis, Dept. of Computing, Imperial College London, UK, June 2014. 
[CG14]  Namit Chaturvedi and
Marcus Gelderie.
Weak ωRegular Trace Languages.
Research Report 1402.3199, arXiv,
February 2014.

[CH14]  Arnaud Carayol and Matthew Hague. Regular Strategies In Pushdown Reachability Games. In RP'14, Lecture Notes in Computer Science 8762, pages 5871. SpringerVerlag, September 2014. 
[Cha14]  Namit Chaturvedi. Toward a structure theory of regular infinitary trace languages. In ICALP'14, Lecture Notes in Computer Science 8573, pages 134145. SpringerVerlag, July 2014. 
[Cha14]  Namit Chaturvedi. Languages of Infinite Traces and Deterministic Asynchronous Automata. Research Report AIB2014004, RWTH Aachen, Germany, February 2014. 
[CLM+14]  Petr Čermák, Alessio Lomuscio, Fabio Mogavero, and Aniello Murano. MCMASSLK: A Model Checker for the Verification of Strategy Logic Specifications. In CAV'14, Lecture Notes in Computer Science 8559, pages 525532. SpringerVerlag, July 2014. 
[CRR14]  Krishnendu Chatterjee, Mickael Randour, and JeanFrançois Raskin. Strategy Synthesis for Multidimensional Quantitative Objectives. Acta Informatica 51(34):129163. SpringerVerlag, June 2014. 
[DMS14]  Laurent Doyen, Thierry Massart, and Mahsa Shirmohammadi. Limit synchronization in Markov decision processes. In FoSSaCS'14, Lecture Notes in Computer Science 8412, pages 5872. SpringerVerlag, April 2014. 
[Esp14]  Javier Esparza. Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk). In STACS'14, Leibniz International Proceedings in Informatics 25, pages 110. LeibnizZentrum für Informatik, March 2014. 
[FPS14]  Achille Frigeri, Liliana Pasquale, and Paola Spoletini. Fuzzy Time in Linear Temporal Logic. ACM Transactions on Computational Logic 15(4):30:130:22. ACM Press, August 2014. 
[Gel14]  Marcus Gelderie.
Strategy Machines – Representation and Complexity
of Strategies in Infinite Games.
PhD thesis,
RWTH Aachen, Germany,
February 2014.

[HLL+14]  Henri Hansen, ShangWei Lin, Yang Liu, Truong Khanh Nguyen, and Jun Sun. Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. In CAV'14, Lecture Notes in Computer Science 8559, pages 391406. SpringerVerlag, July 2014. 
[HR14]  Paul Hunter and JeanFrançois Raskin. Quantitative games with interval objectives. In FSTTCS'14, Leibniz International Proceedings in Informatics 29, pages 365377. LeibnizZentrum für Informatik, December 2014. 
[JLS+14]  Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba, Mathias Grund Sørensen, and Jakob Haar Taankvist. Memory Efficient Data Structures for Explicit Verification of Timed Systems. In NFM'14, Lecture Notes in Computer Science 8430, pages 307312. SpringerVerlag, April 2014. 
[LLT+14]  Kim Guldstrand Larsen, Axel Legay, LouisMarie Traonouez, and Andrzej Wąsowski. Robust synthesis for realtime systems. Theoretical Computer Science 515:96122. Elsevier, January 2014. 
[LP14]  Jun Liu and Pavithra Prabhakar. Switching control of dynamical systems from metric temporal logic specifications. In ICRA'01, pages 53335338. IEEE Robotics & Automation Soc., May 2014. 
[Mar14]  Nicolas Markey. Cassting: Synthesizing Complex Systems Using NonZeroSum Games. ERCIM News 97:2526. European Research Consortium for Informatics and Mathematics, April 2014. 
[MMP+14]  Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Moshe Y. Vardi. Reasoning About Strategies: On the ModelChecking Problem. ACM Transactions on Computational Logic 15(4):34:134:47. ACM Press, August 2014. 
[MMS14]  Fabio Mogavero, Aniello Murano, and Luigi Sauro. A Behavioral Hierarchy of Strategy Logic. In CLIMA'14, Lecture Notes in Artificial Intelligence 8624, pages 148165. SpringerVerlag, August 2014. 
[ORS14]  Youssouf Oualhadj, PierreAlain Reynier, and Ocan Sankur. Probabilistic Robust Timed Games. In CONCUR'14, Lecture Notes in Computer Science 8704, pages 203217. SpringerVerlag, September 2014. 
[Shi14]  Mahsa Shirmohammadi. Qualitative analysis of synchronizing probabilistic systems. Thèse de doctorat, Lab. Spécification & Vérification, ENS Cachan, France and Département d'Informatique, Université Libre de Bruxelles, Belgium, December 2014. 
[Sor14]  Mathias Grund Sørensen. Controller synthesis for home automation. Master's thesis, Computer Science Department, Aalborg University, Denmark, 2014. 
[WJ14]  Weifeng Wang and Li Jiao. Trace Abstraction Refinement for Timed Automata. In ATVA'14, Lecture Notes in Computer Science 8837, pages 396410. SpringerVerlag, November 2014. 
Search
Displayed 51 resultsList of authors
 2
 1
 3
 1
 3
 1
 1
 2
 1
 7
 1
 1
 3
 1
 2
 1
 1
 3
 3
 1
 1
 3
 1
 1
 1
 1
 1
 1
 1
 1
 2
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 2
 1
 5
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 11
 1
 1
 1
 1
 3
 1
 3
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 5
 1
 3
 2
 1
 2
 1
 1
 1
 3
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 1
 2
 1
 1