Publications

2010

  • Tech. Rep. 2010.131: Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin.Iterated Regrets in Game Graphs . Submitted. 2010 [PDF].
  • Tech. Rep. 2010.130: Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin. Lattice-Valued Binary Decision Diagrams . Submitted. 2010 [PDF].
  • Tech. Rep. 2010.126: Thomas Brihaye, Véronique Bruyère, Elaine Render. Formal Language Properties of Hybrid Systems with Strong Resets . in RAIRO - TIA, 2010 - to appear. [PDF].
  • Tech. Rep. 2010.125: Bernard Boigelot, Julien Brusten, Véronique Bruyère. On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases . in LMCS. 2010 - to appear. [PDF].
  • Tech. Rep. 2010.122: Thomas Brihaye, Véronique Bruyère, Julie De Pril. Equilibria in Quantitative Reachability Games . Submitted. 2010. [PDF].

2009

  • Tech. Rep. 2009.129: Gabriel Kalyon (ULB), Tristan Le Gall (ULB), Hervé Marchand (IRISA), Thierry Massart (ULB), Computational Complexity for State-Feedback Controllers with Partial Observation. in ICCA. 2009. [PDF File].
  • Tech. Rep. 2009.128: Gabriel Kalyon (ULB), Tristan Le Gall (ULB), Hervé Marchand (IRISA), Thierry Massart (ULB), Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. in MSR. 2009. [PDF File].
  • Tech. Rep. 2009.127: Gabriel Kalyon (ULB), Tristan Le Gall (ULB), Hervé Marchand (IRISA), Thierry Massart (ULB), Control of Infinite Symbolic Transitions Systems under Partial Observation. in ECC. 2009. [PDF File].
  • Tech. Rep. 2009.124: Patricia Bouyer, Thomas Brihaye and Fabrice Chevalier. Weighted o-minimal Hybrid Systems . in Annals of Pure and Applied Logic, 2009. [PDF].
  • Tech. Rep. 2009.123: Christel Baier, Nathalie Bertrand, Patricia Bouyer and Thomas Brihaye. When are Timed Automata Determinizable ? . in ICALP, 2009. [PDF].
  • Tech. Rep. 2009.121: Laurent Doyen, Raffaella Gentilini, and Jean-François Raskin Faster Pseudo-Polynomial Algorithms for Mean-Payoff Games . Submitted. 2009. [PDF Slides].
  • Tech. Rep. 2009.119: Bernard Boigelot (ULg), Julien Brusten (ULg), A Generalization of Cobham's Theorem to Automata over Real Numbers. in TCS. 2009. [PDF File].
  • Tech. Rep. 2009.118: Bernard Boigelot (ULg), Jean-François Degbomont (ULg), Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. in LATA. 2009. [PDF File].
  • Tech. Rep. 2009.114: Thomas Brihaye (UMH), Arnaud Da Costa (LSV), François Laroussinie (LIAFA), Nicolas Markey (LSV), ATL with strategy contexts and bounded memory. in LFCS. 2009. [PDF File].
  • Tech. Rep. 2009.111: Laurent Doyen (ULB), Jean-François Raskin (ULB), Improved Algorithms for the Automata-based Approach to Model Checking. To appear in Journal of Logical Methods in Computer Science. 2009. [PDF File].
  • Tech. Rep. 2009.110: Emmanuel Filiot (ULB), Naiyong Jin (ULB), Jean-François Raskin (ULB), An Antichain Algorithm for LTL Realizability. Submitted. 2009. [PDF File].
  • Tech. Rep. 2009.109: Pierre Ganty (ULB), Nicolas Maquet (ULB), Jean-François Raskin (ULB), Fixpoint Guided Abstraction Refinement for Alternating Automata. Submitted. 2009. [PDF File].
  • Tech. Rep. 2009.106: Franck Cassez (IRCCyN), Jan J. Jessen (Aalborg), Kim Larsen (Aalborg), Jean-François Raskin (ULB), Pierre-Alain Reynier (ULB), Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. To appear in HSCC'09. 2009. [PDF File].

2008

  • Tech. Rep. 2008.120: François Cantin (ULg), Axel Legay (ULg), Pierre Wolper (ULg), Computing Convex Hulls by Automata Iteration. in CIAA. 2008. [PDF File].
  • Tech. Rep. 2008.117: Thomas Brihaye (UMH), Mohamed Ghannem (Manouba), Nicolas Markey (LSV), Lionel Rieg (ENS Lyon), Good friends are hard to find!. in TIME. 2008. [PDF File].
  • Tech. Rep. 2008.116: Nathalie Bertrand (IRISA), Patricia Bouyer (LSV), Thomas Brihaye (UMH), Nicolas Markey (LSV), Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. in QEST. 2008. [PDF File].
  • Tech. Rep. 2008.115: Christel Baier (Dresden), Nathalie Bertrand (IRISA), Patricia Bouyer (LSV), Thomas Brihaye (UMH), Marcus Größer (Dresden), Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. in LICS. 2008. [PDF File].
  • Tech. Rep. 2008.113: Patricia Bouyer (LSV), Thomas Brihaye (UMH), Marcin Jurdzinski (Warwick), Ranko Lazic (Warwick), Michal Rutkowski (Warwick), Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. in FORMATS. 2008. [PDF File].
  • Tech. Rep. 2008.112: Laurent Doyen (ULB), Tom Henzinger (EPFL), Jean-François Raskin (ULB), Equivalence of Labeled Markov Chains. in International Journal of Foundations of Computer Science, 19(3). 2008. [PDF File].
  • Tech. Rep. 2008.108: Pierre Ganty (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. In Fundamental Informaticae:88(3). 2008. [PDF File].
  • Tech. Rep. 2008.107: Martin De Wulf (ULB), Laurent Doyen (ULB), Nicolas Markey (LSV), Jean-François Raskin (ULB), Robust safety of timed automata. in FMSD. 2008. [PDF File].
  • Tech. Rep. 2008.105: Bernard Boigelot (ULg), Julien Brusten (ULg), Véronique Bruyère (UMH), On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. in ICALP. 2008. [PDF File].
  • Tech. Rep. 2008.104: Charles Pecheur (UCL), José Vander Meulen (UCL), Efficient Symbolic Model Checking for Process Algebras. in FMICS. 2008. [PDF File].
  • Tech. Rep. 2008.102: Martin De Wulf (ULB), Laurent Doyen (ULB), Nicolas Maquet (ULB), Jean-François Raskin (ULB), Alaska Antichains for Logic, Automata and Symbolic Kripke structures Analysis. Accepted for publication in ATVA08. 2008. [PDF File].
  • Tech. Rep. 2008.101: Edmund Clarke (CMU), Alexandre Donzé (CMU), Axel Legay (ULg), Statistical Model Checking of Mixed-Analog Circuits. Submitted. 2008. [PDF File].
  • Tech. Rep. 2008.100: Jean-François Raskin (ULB), Frédéric Servais (ULB), Visibly Pushdown Transducers. Submitted. 2008. [PDF File].
  • Tech. Rep. 2008.99: Patricia Bouyer (LSV), Serge Haddad (LAMSADE), Pierre-Alain Reynier (ULB), Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. Information and Computation 206(1). 2008. [PDF File].
  • Tech. Rep. 2008.98: Patricia Bouyer (LSV), Nicolas Markey (LSV), Pierre-Alain Reynier (ULB), Robust Analysis of Timed Automata via Channel Machines. Proc. FOSSACS08, LNCS (to appear), Springer. 2008. [PDF File].
  • Tech. Rep. 2008.96: Thierry Massart (ULB), Cédric Meuter (ULB), Laurent Van Begin (ULB), On the Complexity of Partial Order Trace Model Checking. Information Processing Letters 106(3). 2008. [PDF File].
  • Tech. Rep. 2008.84: Martin De Wulf (ULB), Laurent Doyen (ULB), Nicolas Maquet (ULB), Jean-François Raskin (ULB), Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. Submitted. 2008. [PDF File].

2007

  • Tech. Rep. 2007.97: Giorgio Delzanno (DISI), Laurent Van Begin (ULB), On the Dynamics of PB Systems with Volatile Membranes. WMC, 8th Workshop on Membrane Computing, will appear in LNCS. 2007. [PDF File].
  • Tech. Rep. 2007.95: Parosh Abdulla (Uppsala), Giorgio Delzanno (DISI), Laurent Van Begin (ULB), Comparing the Expressive Power of Well-structured Transition Systems. Proc. CSL 07, LNCS 4646, Springer. 2007. [PDF File].
  • Tech. Rep. 2007.93: Laurent Doyen (ULB), Jean-François Raskin (ULB), Improved Algorithms for the Automata-based Approach to Model-Checking. Invited paper at LMCS (submitted). 2007. [PDF File].
  • Tech. Rep. 2007.92: Michael Leuschel (Birmingham), Thierry Massart (ULB), Efficient Approximate Verification of B via Symmetry Markers. Submitted. 2007. [PDF File].
  • Tech. Rep. 2007.91: Pierre Ganty (ULB), Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Le probl�me de couverture pour les r�seaux de Petri: r�sultats classiques et d�veloppements r�cents. submitted to TSI. 2007. [PDF File].
  • Tech. Rep. 2007.90: Laurent Doyen (ULB), Thomas Henzinger (EPFL), Jean-François Raskin (ULB), Equivalence of Labeled Markov Chains. Invited paper in the International Journal of Foundations of Computer Science (submitted). 2007. [PDF File].
  • Tech. Rep. 2007.89: Krishnendu Chatterjee (UCB), Laurent Doyen (ULB), Thomas Henzinger (EPFL), Jean-François Raskin (ULB), Algorithms for Omega-Regular Games with Imperfect Information. LMCS 3(4), pp 1-23. 2007. [PDF File].
  • Tech. Rep. 2007.88: Jean-François Raskin (ULB), Controller Synthesis using Lattice Theory (invited tutorial). Proc. IEEE conference on Decision and Control, pp 156-160. 2007. [PDF File].
  • Tech. Rep. 2007.87: Franck Cassez (IRCCyN), Alexandre David (Aalborg), Kim Larsen (Aalborg), Didier Lime (IRCCyn), Jean-François Raskin (ULB), Timed Control with Observation Based and Stuttering Invariant Strategies. In Proc. ATVA07, LNCS 4762. 2007. [PDF File].
  • Tech. Rep. 2007.86: Bernard Boigelot (ULg), Julien Brusten (ULg), A Generalization of Cobham's Theorem to Automata over Real Numbers. Proc. 34th International Colloquium on Automata, Languages and Programming, volume 4596, Lecture Notes in Computer Science, pages 813-824, Wroclaw, July 2007, Springer-Verlag. 2007. [PDF File].
  • Tech. Rep. 2007.85: Thomas Brihaye (UMH), Thomas Henzinger (EPFL), Vinayak Prabhu (UCBerkeley), Jean-François Raskin (ULB), Minimum-Time Reachability in Timed Games. proceedings of the colloquium ICALP 2007, LNCS 4596, pp. 825-837, Springer.. 2007. [PDF File].
  • Tech. Rep. 2007.83: François Cantin (ULg), Axel Legay (ULg), Pierre Wolper (ULg), Computing convex hulls by automata iteration. AUTOMATHA 2007. 2007. [PDF File].
  • Tech. Rep. 2007.82: Krishnendu Chatterjee (UCB), Luca de Alfaro (UCSC), Marco Faella (UCSC), Axel Legay (ULg), Qualitative Logics and Equivalences for Probabilistic Systems. To appear in Proc. QEST 07. 2007. [PDF File].
  • Tech. Rep. 2007.81: Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), On the efficient computation of the minimal coverabiliyt set for Petri nets. in Proc. ATVA07, LNCS 4762, Springer. 2007. [PDF File].
  • Tech. Rep. 2007.80: Giorgio Delzanno (DISI), Pierre Ganty (ULB), Gabriel Kalyon (ULB), Cédric Meuter (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Symbolic Data Structure for sets of k-uples of integers. submitted. 2007. [PDF File].
  • Tech. Rep. 2007.79: Gabriel Kalyon (ULB), Thierry Massart (ULB), Cédric Meuter (ULB), Laurent Van Begin (ULB), Testing Distributed Systems through Symbolic Model Checking. In Proc. FORTE 07, LNCS 4574, Springer. 2007. [PDF File].
  • Tech. Rep. 2007.78: Patrick Cousot (ENS), Pierre Ganty (ULB), Jean-François Raskin (ULB), Fixpoint-Guided Abstraction Refinements. In Proc. SAS 2007, to appear. 2007. [PDF File].
  • Tech. Rep. 2007.77: Pierre Ganty (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. In Proc. ICATPN 2007, LNCS 4546, pp 124--143. 2007. [PDF File].

2006

  • Tech. Rep. 2006.94: Sébastien Collette (ULB), Jean-François Raskin (ULB), Frédéric Servais (ULB), On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game. Proc. Computers and Games 06, LNCS 4630, Springer. 2006. [PDF File].
  • Tech. Rep. 2006.76: Laurent Doyen (ULB), Jean-François Raskin (ULB), Improved Algorithms for the Automata-Based Approach to Model-Checking. in Proc. TACAS 2007, LNCS 4424, Springer. 2006. [PDF File].
  • Tech. Rep. 2006.75: Julien d'Orso (ICCyN), Axel Legay (ULg), Ahmed Rezine (Uppsala), Tree Regular Model Checking: A Simulation-Based Approach. Volume 69 of Journal of Logic and Algebraic Programming. 2006. [PDF File].
  • Tech. Rep. 2006.74: Adler B. Thomas (UCSC), Luca de Alfaro (UCSC), L. Dias Da Silva (UCSC), Marco Faella (UCSC), Axel Legay (ULg), Vishwanath Raman (UCSC), P. Roy (), Ticc: A Tool for Interface Compatibility and Composition.. Proc. CAV 2006 LNCS 4144, Springer. 2006. [PDF File].
  • Tech. Rep. 2006.73: Luca de Alfaro (UCSC), Marco Faella (UCSC), Axel Legay (ULg), An Introduction to the Tool TICC. Proc. of TrustWorthy Workshop Software 2006. Saarbrucken.. 2006. [PDF File].
  • Tech. Rep. 2006.72: Alain Finkel (ENS Cachan), Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), On the omega-language expressive power of extended Petri nets. in Theoretical Computer Science, volume 356(3), pp 374-386, Elsevier. 2006. [PDF File].
  • Tech. Rep. 2006.70: Véronique Bruyère (UMH), Jean-François Raskin (ULB), Real-Time Model-Checking: Parameters Everywhere (extended version). Accepted for publication in International Journal of Logical Methods in Computer Science. 2006. [PDF File].
  • Tech. Rep. 2006.68: Krsihnendu Chatterjee (UCBerkeley), Laurent Doyen (ULB), Thomas Henzinger (EPFL), Jean-François Raskin (ULB), Algorithms for Omega-Regular games with Incomplete Information. in Proc. CSL06. LNCS. Springer. 2006. [PDF File].
  • Tech. Rep. 2006.66: Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Well-structured languages. in Acta Informatica 44(3-4). Springer. 2006. [PDF File].
  • Tech. Rep. 2006.65: Martin De Wulf (ULB), Laurent Doyen (ULB), Jean-François Raskin (ULB), Antichains: a new Algorithm for Checking Universality of Finite Automata. in Proc. CAV06. LNCS 4144. Springer. 2006. [PDF File].
  • Tech. Rep. 2006.64: Patricia Bouyer (LSV), Thomas Brihaye (UMH), Véronique Bruyère (UMH), Jean-François Raskin (ULB), On the optimal reachability problem. In proc. Formal Methods in System Design, 31, no 2, 135--175. 2006. [PDF File].
  • Tech. Rep. 2006.63: Thomas Brihaye (UMH), A note on the undecidability of the reachability problem for o-minimal dynamical systems. Mathematical Logic Quaterly, 52, no. 2, 165--170. 2006. [PDF File].
  • Tech. Rep. 2006.62: Patricia Bouyer (LSV), Thomas Brihaye (UMH), Fabrice Chevalier (LSV), Control in o-minimal hybrid systems. LICS'06, IEEE Computer Society Press, 357-376, 2006. 2006. [PDF File].
  • Tech. Rep. 2006.61: Patricia Bouyer (LSV), Thomas Brihaye (UMH), Nicolas Markey (LSV), Improved Undecidability Results on Priced Timed Automata. Information Processing letters, 98, no. 5, 188--194. 2006. [PDF File].
  • Tech. Rep. 2006.60: Thomas Brihaye (UMH), Véronique Bruyère (UMH), Jean-François Raskin (ULB), On Model-Checking Timed Automata with Stopwatch Observers. Information and Computation 2004, no. 3, 408--433. 2006. [PDF File].
  • Tech. Rep. 2006.59: Alexandre Genon (ULB), Thierry Massart (ULB), Cédric Meuter (ULB), Monitoring Distributed Controllers : When an Efficient LTL Algorithm on Sequences is Needed to Model-Check Traces. In proc. FM 2006. LNCS 4085. Springer. 2006. [PDF File].
  • Tech. Rep. 2006.58: Martin De Wulf (ULB), Laurent Doyen (ULB), Jean-François Raskin (ULB), A Lattice Theory for Solving Games of Imperfect Information (Extended Version). In proc. HSCC 06. LNCS 3927. Spriner. 2006. [PDF File].
  • Tech. Rep. 2006.57: Pierre Ganty (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. In proc. VMCAI 06. LNCS 3855. Springer. 2006. [PDF File].

2005

  • Tech. Rep. 2005.71: Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Expand, Enlarge and Check: new algorithms for the coverability problem of WSTS (extended version). Journal of Computer and System Sciences, volume 72(1), pp 180-203, Elsevier. 2005. [PDF File].
  • Tech. Rep. 2005.69: Nicolas Markey (LSV), Jean-François Raskin (ULB), Model Checking Restricted Sets of Timed Paths. to appear in Theoretical Computer Science, Elsevier Sciences. 2005. [PDF File].
  • Tech. Rep. 2005.67: Jean-François Raskin (ULB), An Introduction to Hybrid Automata. Handbook of Networked and Embedded Control System. pp 491-518, Dimitros Hristu-Varsakelis, William S. Levine (Eds.), Birkhauser, Spring. 2005. [PDF File].
  • Tech. Rep. 2005.56: Bernard Boigelot (ULg), Sébastien Jodogne (ULg), On the use of weak automata for deciding linear artihmetic with integer and real variables. In ACM transactions on Computational Logic. 2005. [PDF File].
  • Tech. Rep. 2005.55: Bram De Wachter (ULB), Alexandre Genon (ULB), Thierry Massart (ULB), Cédric Meuter (ULB), The formal design of distributed controllers with dSL and Spin. In Formal Aspects of Computing 17(2). 2005. [PDF File].
  • Tech. Rep. 2005.54: Bram De Wachter (ULB), Alexandre Genon (ULB), Thierry Massart (ULB), From static code distribution to more shrinkage fot the mutliterminal cut. In proc. WEA05, LNCS 3503, Springer. 2005. [PDF File].
  • Tech. Rep. 2005.53: Marco Faella (UCSC), Axel Legay (ULg), Some Models and Tools for Open Systems. In proc. FIT 05. To appear in a volume of ENTCS. 2005. [PDF File].
  • Tech. Rep. 2005.52: Luca de Alfaro (UCSC), Leandro Dias da Silva (UFCG), Marco Faella (UCSC), Axel Legay (ULg), Prittam Roy (UCSC), Maria Sorea (Manchester), Sociable Interfaces. In proc. FroCoS 2005, LNCS 3717 Springer.. 2005. [PDF File].
  • Tech. Rep. 2005.51: Thomas Brihaye (UMH), Words and bisimulations of dynamical systems. Discrete Mathematics and Theoretical Computer Science, 9 (2007), no2, 11--31. 2005. [PDF File].
  • Tech. Rep. 2005.50: Javier Esparza (Stuttgart), Pierre Ganty (ULB), Stefan Schwoon (Stuttgart), Locality-based Abstractions. In proc. SAS 05. LNCS 3672. Springer. 2005. [PDF File].
  • Tech. Rep. 2005.49: Louis Latour (ULg), Computing affine hulls over Q and Z from sets represented by Number Decision Diagrams. Submitted for publication. 2005. [PDF File].
  • Tech. Rep. 2005.48: Thomas Brihaye (UMH), Jean-François Raskin (ULB), On Optimal Timed Strategies. In proc. FORMATS 05. LNCS 3829. Springer.. 2005. [PDF File].
  • Tech. Rep. 2005.47: Laurent Doyen (ULB), Thomas Henzinger (UCBerkeley), Jean-François Raskin (ULB), Automatic Rectangular Refinement of Affine Hybrid Systems. In proc. FORMATS 05. LNCS 3829. Springer.. 2005. [PDF File].
  • Tech. Rep. 2005.46: Martin De Wulf (ULB), Laurent Doyen (ULB), Jean-François Raskin (ULB), Systematic Implementation of Real-Time Models. In proc. Formal Methods 2005. LNCS 3582. Springer. 2005. [PDF File].
  • Tech. Rep. 2005.45: Martin De Wulf (ULB), Laurent Doyen (ULB), Jean-François Raskin (ULB), Almost ASAP Semantics: from Timed Models to Timed Implementations. Formal Aspect of Computing, Springer Verlag. The final version will be available at www.springerlink.com. 2005. [PDF File].
  • Tech. Rep. 2005.44: Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Expand, Enlarge and Check... Made Efficient. In proc. CAV 2005. LNCS 3576.. 2005. [PDF File].
  • Tech. Rep. 2005.43: Axel Legay (ULg), Pierre Wolper (ULg), On the use of Automata-based Techniques in Symbolic Model Checking. Invited paper of MTCoord05. 2005. [PDF File].
  • Tech. Rep. 2005.42: Parosh Aziz Abdulla (Uppsala), Julien d'Orso (ICCyN), Axel Legay (ULg), Ahmed Rezine (Uppsala), Tree Regular Model Checking: A simulation-Based Approach. To appear in the Journal of Logic and Algebraic Programming. 2005. [PDF File].
  • Tech. Rep. 2005.41: Parosh Aziz Abdulla (Uppsala), Julien d'Orso (ICCyN), Axel Legay (ULg), Ahmed Rezine (Uppsala), Simulation-Based Iteration of Tree Transducers. In proc. TACAS'2005. LNCS 3440.. 2005. [PDF File].

2004

  • Tech. Rep. 2004.40: Yves Bontemps (FUNDP), Patrick Heymans (FUNDP), Germain Saval (FUNDP), Pierre-Yves Schobbens (FUNDP), Jean-Christophe Trigaux (FUNDP), Class-Level Behavioral Modeling and Synthesis. Submitted. 2004. [PDF File].
  • Tech. Rep. 2004.36: Yves Bontemps (FUNDP), Patrick Heymans (FUNDP), Pierre-Yves Schobbens (FUNDP), Jean-Christophe Trigaux (FUNDP), Semantics of Feature Diagrams. in Proc. Workshop on Software Variability Management for Product Derivation Towards Tool Support. 2004. [PDF File].
  • Tech. Rep. 2004.35: Yves Bontemps (FUNDP), Pierre-Yves Schobbens (FUNDP), The Computational Complexity of Scenario-based Agent Verification and Design. Submitted to Journal of Applied Logics. 2004. [PDF File].
  • Tech. Rep. 2004.34: Yves Bontemps (FUNDP), Patrick Heymans (FUNDP), Pierre-Yves Schobbens (FUNDP), Lightweight Formal Methods for Scenario-based Software Engineering. A shorter version appeared in SCESM'04 (Scenarios and State Machines Models, Algorithms and Tools). 2004. [PDF File].
  • Tech. Rep. 2004.33: Yves Bontemps (FUNDP), Christof Loeding (RWT Aachen), Pierre-Yves Schobbens (FUNDP), Synthesis of Open Reactive Systems from Scenario-based Specifications. In Fundamenta Informaticae (XX). 2004. [PDF File].
  • Tech. Rep. 2004.32: Thomas Brihaye (UMH), Christian Michaux (UMH), On the expressiveness and decidability of o-minimal hybrid systems. In Journal of Complexity. Elsevier. 2004. [PDF File].
  • Tech. Rep. 2004.31: Nicolas Markey (ULB), Jean-François Raskin (ULB), Model Checking Restricted Sets of Timed Paths. In proc. CONCUR 2004. LNCS 3170. Springer. 2004. [PDF File].
  • Tech. Rep. 2004.30: Martin De Wulf (ULB), Laurent Doyen (ULB), Nicolas Markey (ULB), Jean-François Raskin (ULB), Robustness and Implementability of Timed Automata. A shorter version of this paper has been published in proc. FORMATS04. LNCS 3253. Springer. 2004. [PDF File].
  • Tech. Rep. 2004.29: Ahmed Bouajjani (LIAFA), Axel Legay (ULg), Pierre Wolper (ULg), Handling liveness properties in (omega-)regular model-checking. In proc. INFINITY'04 (London, UK). ENTCS 138(3). 2004. [PDF File].
  • Tech. Rep. 2004.28: Bernard Boigelot (ULg), Axel Legay (ULg), Pierre Wolper (ULg), Omega-Regular Model Checking. In proc. TACAS'04 (Barcelona, Spain). LNCS 2988, pp 561-575, Springer.. 2004. [PDF File].
  • Tech. Rep. 2004.27: Giorgio Delzanno (DISI), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Covering Sharing-Trees: a compact data-structure for parameterized verification. In journal of Software Tools for Technology Transfer 5(2-3). Springer.. 2004. [PDF File].
  • Tech. Rep. 2004.26: Alain Finkel (ENS Cachan), Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), On the omega-language expressive power of extended Petri nets. In Proc. EXPRESS'04. ENTCS 128(2). 2004. [PDF File].
  • Tech. Rep. 2004.25: Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Expand, Enlarge and Check: new algorithms for the coverability problem of WSTS. In Proc. FSTTCS04. LNCS 3328.. 2004. [PDF File].
  • Tech. Rep. 2004.24: Louis Latour (ULg), From Automata to Formulas: Convex Integer Polyhedra. Accepted for publication at LICS04. 2004. [PDF File].
  • Tech. Rep. 2004.23: Thomas Brihaye (UMH), Véronique Bruyère (UMH), Jean-François Raskin (ULB), Model-Checking for Weighted Timed Automata. Proceedings of the joint conferences FORMATS-FTRTFT 2004, LNCS 3253, pp 277--292, Springer. 2004. [PDF File].
  • Tech. Rep. 2004.22: Rohit Chadha (Sussex), Steve Kremer (ULB), Andre Scedrov (Upenn), Formal Analysis of Multi-party Contract Signing. Workshop on Issues in the Theory of Security (WITS '04). 2004. [PDF File].

2003

  • Tech. Rep. 2003.21: Jean-François Raskin (ULB), Mathias Samuelides (LIAFA), Laurent Van Begin (ULB), Petri Games are Monotonic but Difficult to Decide. submitted for publication. 2003. [PDF File].
  • Tech. Rep. 2003.20: Martin De Wulf (ULB), Laurent Doyen (ULB), Jean-François Raskin (ULB), Almost ASAP Semantics: from Timed Models to Timed Implementations. accepted for publication to HSCC04. 2003. [PDF File].
  • Tech. Rep. 2003.19: Thomas Brihaye (UMH), Christian Michaux (UMH), Cédric Rivière (UMH), Christophe Troestler (UMH), On o-minimal hybrid systems. Proceedings of HSCC 2004, LNCS 2993, pp 219-233,, Springer. 2003. [PDF File].
  • Tech. Rep. 2003.18: Bernard Boigelot (ULg), Frédéric Herbreteau (ULg), Sébastien Jodogne (ULg), Hybrid Acceleration using Real Vector Automata. Proc. 15th International Conference on Computer-Aided Verification, Boulder, USA, LNCS vol. 2725, Springer-Verlag. 2003. [PDF File].
  • Tech. Rep. 2003.17: Bernard Boigelot (ULg), Axel Legay (ULg), Pierre Wolper (ULg), Iterating Transducers in the Large. Proc. 15th International Conference on Computer-Aided Verification, Boulder, USA, LNCS vol. 2725, Springer-Verlag. 2003. [PDF File].
  • Tech. Rep. 2003.15: Jean-François Raskin (ULB), Laurent Van Begin (ULB), Petri Nets with Non-blocking Arcs are Difficult to Analyze. Proc. of INFINITY03, Marseille. 2003. [PDF File].
  • Tech. Rep. 2003.14: Véronique Bruyère (UMH), Jean-François Raskin (ULB), Real-Time Model-Checking: Parameters Everywhere. in Proc. FSTTCS 03, LNCS, Springer. 2003. [PDF File].

2002

  • Tech. Rep. 2002.39: Yves Bontemps (FUNDP), Patrick Heymans (FUNDP), Turning High-Level Live Sequence Charts into Automata. in Proc of 1st International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, Orlando, USA. 2002. [PDF File].
  • Tech. Rep. 2002.16: Bernard Boigelot (ULg), Pierre Wolper (ULg), Representing Arithmetic Constraints with Automata: An Overview. published in the Proceedings of the 18th International Conference on Logic Programming, LNCS, vol. 2401, Springer-Verlag, Copenhague, Danemark. 2002. [PDF File].
  • Tech. Rep. 2002.13: Pierluigi Ammirati (DISI), Giorgio Delzanno (DISI), Pierre Ganty (ULB), Gilles Geeraerts (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Babylon: An integrated toolkit for the specification and verification of parameterized systems. published in the proceedings of SAVE, 2nd workshop on Specification, Analysis and Validation for Emerging technologies , Copenhagen, Denmark, 2002. 2002. [PDF File].
  • Tech. Rep. 2002.12: Steve Kremer (ULB), Jean-François Raskin (ULB), A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols. Journal of Computer Security. IOS Press. 2002. [PDF File].
  • Tech. Rep. 2002.8: Steve Kremer (ULB), Jean-François Raskin (ULB), Game Analysis of Abuse-free Contract Signing. In Computer Security Foundations Workshop 2002 (CSFW 2002). 2002. [PDF File].
  • Tech. Rep. 2002.7: Giorgio Delzanno (DISI), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Towards Automated Verification of Multithreaded Java Programs. Accepted for publication in the proceedings of TACAS'02. 2002. 2002. [PDF File].
  • Tech. Rep. 2002.6: Michael Leuschel (Birmingham), Thierry Massart (ULB), Logic Programming and Reactive Deduction for the Verification of Reactive Systems: An Experimental Evaluation. In AVoCS'02: Second Workshop on Automated Verification of Critical Systems, Birmingham. 2002. [PDF File].
  • Tech. Rep. 2002.5: Thomas Henzinger (UCBerkeley), Rupak Manjumdar (Berkeley), Jean-François Raskin (ULB), A Classification of Symbolic Transition Systems. Accepted for publication in TOCL ACM press. 2002. [PDF File].
  • Tech. Rep. 2002.4: Thierry Massart (ULB), Jean-François Raskin (ULB), Laurent Van Begin (ULB), Symbolic Distributed Verification of a Class of Parametric Concurrent Systems. In the proceedings of PDMC'02, Brno. 2002. [PDF File].
  • Tech. Rep. 2002.3: Alain Finkel (ENS Cachan), Jean-François Raskin (ULB), Mathias Samuelidis (ENS Cachan), Laurent Van Begin (ULB), Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. In the proceedings of INFINITY'02 to be published as a volume of ENTCS, Brno. 2002. [PDF File].
  • Tech. Rep. 2002.2: Frank Cassez (IRCCyN), Thomas Henzinger (UCBerkeley), Jean-François Raskin (ULB), A Comparison of Control Problems for Timed and Hybrid Systems. Accepted for publication in the proceedings of HSCC'02, Stanford, California. 2002. [PDF File].
  • Tech. Rep. 2002.1: Véronique Bruyère (UMH), Emmanuel Dall'Olio (ULB), Jean-François Raskin (ULB), Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. To appear in Transactions on Computational Logic, ACM press, 21 pages. 2002. [PDF File].
Last update: Jeu 18 sep 2008 11:13:10 CEST