Hubert Garavel |
|
|
1989
Hubert Garavel. Compilation of LOTOS Abstract Data Types. In Son T. Vuong, editor, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89 (Vancouver B.C., Canada), pages 147-162. North-Holland, December 1989.
1990
Hubert Garavel and Joseph Sifakis. Compilation and Verification of LOTOS Specifications. In L. Logrippo, R. L. Probert, and H. Ural, editors, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (Ottawa, Canada), pages 379-394. IFIP, North-Holland, June 1990.
1991
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, and Joseph Sifakis. Une boîte à outils pour la vérification de programmes LOTOS. In Omar Rafiq, editor, Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France), pages 479-500, Paris, September 1991. Hermès.
Bernard Algayres, Véronique Coelho, Laurent Doldi, Hubert Garavel, Yves Lejeune, and Carlos Rodriguez. VESAR: Un Outil pour la Spécification et la Vérification Formelle de Protocoles. In Omar Rafiq, editor, Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France), pages 253-276, Paris, September 1991. Hermès.
1992
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, and Joseph Sifakis. A Toolbox for the Verification of LOTOS Programs. In Lori A. Clarke, editor, Proceedings of the 14th International Conference on Software Engineering ICSE'14 (Melbourne, Australia), pages 246-259. ACM, May 1992.
1993
Bernard Algayres, Véronique Coelho, Laurent Doldi, Hubert Garavel, Yves Lejeune, and Carlos Rodriguez. VESAR: A Pragmatic Approach to Formal Specification and Verification. Computer Networks and ISDN Systems, volume 25, number 7, pages 779-790, February 1993.
Hubert Garavel and René-Pierre Hautbois. An Experiment with the Formal Description in LOTOS of the Airbus A340 Flight Warning Computer. In Maurice Nivat, Charles Rattray, Teodor Rus, and Giuseppe Scollo, editors, Proceedings of the 1st AMAST International Workshop on Real-Time Systems (Iowa City, Iowa, USA), November 1993.
Hubert Garavel and Philippe Turlier. CAESAR.ADT : un compilateur pour les types abstraits algébriques du langage LOTOS. In Rachida Dssouli and Gregor v. Bochmann, editors, Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'93 (Montréal, Canada), 1993.
1994
Hubert Garavel and René-Pierre Hautbois. Experimenting LOTOS in Aerospace Industry. In Teodor Rus and Charles Rattray, editors, Theories and Experiences for Real-Time System Development, volume 2 of Amast Series in Computing, chapter 11. World Scientific, 1994.
1995
Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. In Piotr Dembinski and Marek Sredniawa, editors, Proceedings of the 15th IFIP International Workshop on Protocol Specification, Testing and Verification (Warsaw, Poland). IFIP, Chapman & Hall, June 1995.
1996
Hubert Garavel. An Overview of the Eucalyptus Toolbox. In Z. Brezocnik and T. Kapus, editors, Proceedings of the COST 247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia), pages 76-88. University of Maribor, Slovenia, June 1996.
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and Mihaela Sighireanu. CADP (CAESAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), volume 1102 of Lecture Notes in Computer Science, pages 437-440. Springer Verlag, August 1996.
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, and Ferruccio Zulian. Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In Reinhard Gotzhein and Jan Bredereke, editors, Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'96 (Kaiserslautern, Germany), pages 435-450. IFIP, Chapman & Hall, October 1996.
Hubert Garavel and Mihaela Sighireanu. On the Introduction of Exceptions in LOTOS. In Reinhard Gotzhein and Jan Bredereke, editors, Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'96 (Kaiserslautern, Germany), pages 469-484. IFIP, Chapman & Hall, October 1996.
1997
Hubert Garavel and Laurent Mounier. Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Science of Computer Programming, Special issue on Industrially Relevant Applications of Formal Analysis Techniques, Jan-Friso Groote and Martin Rem, editors, volume 29, number 1-2, pages 171-197, July 1997.
Hubert Garavel, Mark Jorgensen, Radu Mateescu, Charles Pecheur, Mihaela Sighireanu, and Bruno Vivien. CADP'97 - Status, Applications, and Perspectives. In Ignac Lovrek, editor, Proceedings of the 2nd COST 247 International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia), June 1997.
1998
Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing. In Bernhard Steffen, editor, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98 (Lisbon, Portugal), volume 1384 of Lecture Notes in Computer Science, pages 68-84. Springer Verlag, March 1998.
Hubert Garavel and Mihaela Sighireanu. Towards a Second Generation of Formal Description Techniques - Rationale for the Design of E-LOTOS. In Jan-Friso Groote, Bas Luttik and Jos van Wamel, editors, Proceedings of the 3rd International Workshop on Formal Methods for Industrial Critical Systems FMICS'98 (Amsterdam, The Netherlands), pages 187-230, May 1998. Invited lecture.
Radu Mateescu and Hubert Garavel. XTL: A Meta-Language and Tool for Temporal Logic Model-Checking. In Tiziana Margaria, editor, Proceedings of the International Workshop on Software Tools for Technology Transfer STTT'98 (Aalborg, Denmark), July 1998.
1999
Hubert Garavel and Mihaela Sighireanu. A Graphical Parallel Composition Operator for Process Algebras. In Jianping Wu, Qiang Gao, and Samuel T. Chanson, editors, Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'99 (Beijing, China), October 1999.
2000
Hubert Garavel, César Viho, and Massimo Zendri. System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model-Checking, Co-Simulation, and Test Generation. Springer International Journal on Software Tools for Technology Transfer (STTT), volume 3, number 3, July 2001.
2001
Hubert Garavel, Radu Mateescu, and Irina Smarandache. Parallel State Space Construction for Model-Checking. In Matthew B. Dwyer, editor, Proceedings of the 8th International SPIN Workshop on Model Checking of Software SPIN'2001 (Toronto, Canada), volume 2057 of Lecture Notes in Computer Science, pages 217-234. Springer Verlag, May 2001.
Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, and Noel de Palma. Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. In Aleksander Laurentowski, Jacek Kosinski, Zofia Mossurska, and Radoslaw Ruchala, editors, Proceedings of the 3rd IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems DAIS'2001 (Krakow, Poland). IFIP, Kluwer Academic Publishers, September 2001.
Hubert Garavel and Frédéric Lang. SVL: a Scripting Language for Compositional Verification. In Myungchul Kim, Byoungmoon Chin, Sungwon Kang, and Danhyung Lee, editors, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001 (Cheju Island, Korea), August 2001.
Hubert Garavel, Frédéric Lang, and Radu Mateescu. An overview of CADP 2001. Accepted for presentation at the Tools Day of CONCUR'2002 (Brno, Czech Republic), August 24, 2002 and published in Tiziana Margaria, editor, Tool Column of EASST Newsletter, volume 4, pages 13-24, August 2002. Also available as INRIA Technical Report RT-254, December 2001.
2002
Hubert Garavel, Frédéric Lang, and Radu Mateescu. Compiler Construction using LOTOS NT. In Nigel Horspool, editor, Proceedings of the International Conference on Compiler Construction CC 2002 (Grenoble, France), volume 2304 of Lecture Notes in Computer Science, pages 9-13. Springer Verlag, April 2002.
Hubert Garavel and Holger Hermanns. On Combining Functional Verification and Performance Evaluation using CADP. In Lars-Henrik Eriksson and Peter A. Lindsay, editors, Proceedings of the 11th International Symposium of Formal Methods Europe FME'2002 (Copenhagen, Denmark), volume 2391 of Lecture Notes in Computer Science, pages 410-429. Springer Verlag, July 2002.
Hubert Garavel and Frédéric Lang. NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. In Doron Peled and Moshe Vardi, editors, Proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2002 (Houston, Texas, USA), volume 2529 of Lecture Notes in Computer Science, pages 276-291. Springer Verlag, November 2002.
2003
Hubert Garavel. Défense et illustration des algèbres de processus. In Zoubir Mammeri, editor, Actes de l'Ecole d'été Temps Réel ETR 2003 (Toulouse, France), September 2003. Invited paper.
Frédéric Tronel, Frédéric Lang, and Hubert Garavel. Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components. In Uwe Nestmann and Perdita Stevens, editors, Proceedings of the 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems FMOODS'2003 (Paris, France), volume 2884 of Lecture Notes in Computer science, pages 244-260. Springer Verlag, November 2003.
2004
Hubert Garavel and Radu Mateescu. SEQ.OPEN: A Tool for Efficient Trace-Based Verification. In Susanne Graf and Laurent Mounier, editors, Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN'2004 (Barcelona, Spain), volume 2989 of Lecture Notes in Computer Science, pages 150-155. Springer Verlag, April 2004.
Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, and Radu Mateescu. Model Checking Genetic Regulatory Networks using GNA and CADP. In Susanne Graf and Laurent Mounier, editors, Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN'2004 (Barcelona, Spain), volume 2989 of Lecture Notes in Computer Science, pages 156-161. Springer Verlag, April 2004.
Flavio Oquendo, Brian Warboys, Ron Morrison, Régis Dindeleux, Ferdinando Gallo, Hubert Garavel, and Carmen Occhipinti. ArchWare: Architecting Evolvable Software. In Flavio Oquendo, Brian Warboys, and Ron Morrison, editors, Proceedings of the 1st European Workshop on Software Architectures EWSA'2004 (St Andrews, Scotland, UK), volume 3047 of Lecture Notes in Computer Science, pages 257-271. Springer Verlag, May 2004. Invited paper.
Hubert Garavel and Wendelin Serwe. State Space Reduction for Process Algebra Specifications. In Charles Rattray, Savitri Maharaj, and Carron Shankland, editors Proceedings of the 10th International Conference on Algebraic Methodology and Software Methodology AMAST'2004 (Stirling, Scotland, UK), July 2004.
2005
Hubert Garavel and Wendelin Serwe. State Space Reduction for Process Algebra Specifications. Theoretical Computer Science (TCS), volume 351, number 2, February 2006.
2006
Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, and Gilles Stragier. DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. In Holger Hermanns and Jens Palberg, editors, Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2006 (Vienna, Austria), volume 3920 of Lecture Notes in Computer Science, pages 445-449. Springer Verlag, March-April 2006.
2007
Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In Werner Damm and Holger Hermanns, editors, Proceedings of the 19th International Conference on Computer Aided Verification CAV'2007 (Berlin, Germany), volume 4590 of Lecture Notes in Computer Science. Springer Verlag, July 2007.
Hubert Garavel. Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. In Catuscia Palamidessi and Franck D. Valencia, editors, Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory in honor of Professor Robin Milner (Ecole Polytechnique de Paris, France, November 13-15, 2006), volume 209 of Electronic Notes in Theoretical Computer Science, April 2008. Invited paper.
2008
Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, Pierre Gaufillet, Frédéric Lang, and François Vernadat. FIACRE: An Intermediate Language for Model Verification in the TOPCASED Environment. In Jean-Claude Laprie, Proceedings of the 4th European Congress on Embedded Real-Time Software ERTS'2008 (Toulouse, France), January 2008.
Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, and Meriem Zidouni. Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures. In Proceedings of Design, Automation and Test in Europe DATE'08 (Munich, Germany), Special Session, March 2008.
2009
Hubert Garavel, Gwen Salaün, and Wendelin Serwe. On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP. Science of Computer Programming, 74(3) 100-127, January 2009.
Jan Stoecker, Frédéric Lang, and Hubert Garavel. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. In Proceedings of the 7th International Conference on Integrated Formal Methods IFM'09 (Dusseldorf, Germany), February 2009.
Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, Hubert Garavel, Susanne Graf, Frederic Lang, Vincent Mahé, Michel Nakhlé, Rémi Schnekenburger, Robert De Simone, Jean-Pierre Talpin, François Vernadat. Les résultats du projet OpenEmbeDD. In Actes de la conférence Neptune 2009 (Paris, France), June 2009.
Hubert Garavel and Damien Thivolle. Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. In Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN'2009 (Grenoble, France), June 2009.
Hubert Garavel, Claude Helmstetter, Olivier Ponsini, and Wendelin Serwe. Verification of an Industrial SystemC/TLM Model using LOTOS and CADP. In Proceedings of the 7th ACM-IEEE International Conference on Formal Methods and Models for Codesign MEMOCODE'09 (Cambridge, MA, USA), July 2009.
2010
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, and Wendelin Serwe. Ten Years of Performance Evaluation for Concurrent Systems Using CADP. In Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA'2010 (Heraclion, Crete), Part~II, Oct 2010.
2011
Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2011 (Saarbrücken, Germany), March 2011.
More...
