Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Hubert
Last name:	Garavel
DBLP:	83/127
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 40  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2011: a toolbox for the construction and analysis of distributed processes.	STTT 2013, Volume 15	(0)	2013
	Conference paper Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.	Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 2011	(0)	2011
	Conference paper Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe. Ten Years of Performance Evaluation for Concurrent Systems Using CADP.	Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II 2010	(0)	2010
	Conference paper Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe. Verification of an industrial SystemC/TLM model using LOTOS and CADP.	7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA 2009	(0)	2009
	Conference paper Jan Stöcker, Frédéric Lang, Hubert Garavel. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.	Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings 2009	(0)	2009
	Conference paper Hubert Garavel, Damien Thivolle. Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.	Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings 2009	(0)	2009
	Conference paper Hubert Garavel, Gwen Salaün, Wendelin Serwe. On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP.	Sci. Comput. Program. 2008, Volume 74	(0)	2009
	Conference paper Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni. Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures.	Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008 2008	(0)	2008
	Conference paper Hubert Garavel. Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular.	Electr. Notes Theor. Comput. Sci. 2008, Volume 209	(0)	2008
	Journal article Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat. Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.	ERCIM News 2008, Volume 2008	(0)	2008

Show item 1 to 10 of 40  

Your query returned 40 matches in the database.