Search results for "CADP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Gwen Salaün, Andrea Ferrara, Antonella Chirichiello	Negotiation Among Web Services Using LOTOS/CADP.	ECOWS	2004	DBLP DOI BibTeX RDF	CADP, Web Services, Formal Methods, Negotiation, BPEL, LOTOS
94	Hubert Garavel, Radu Mateescu 0001, Frédéric Lang, Wendelin Serwe	CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.	CAV	2007	DBLP DOI BibTeX RDF
77	Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet	Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip.	ASYNC	2007	DBLP DOI BibTeX RDF
61	María-del-Mar Gallardo, Pedro Merino 0001, Christophe Joubert, David Sanán	On-the-fly model checking for C programs with extended CADP in FMICS-jETI.	ICECCS	2007	DBLP DOI BibTeX RDF
61	Holger Hermanns, Christophe Joubert	A Set of Performance and Dependability Analysis Components for CADP.	TACAS	2003	DBLP DOI BibTeX RDF
50	Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee	Translating FSP into LOTOS and Networks of Automata.	IFM	2007	DBLP DOI BibTeX RDF
44	Frederic Tronel, Frédéric Lang, Hubert Garavel	Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.	FMOODS	2003	DBLP DOI BibTeX RDF
44	Hubert Garavel, Holger Hermanns	On Combining Functional Verification and Performance Evaluation Using CADP.	FME	2002	DBLP DOI BibTeX RDF
33	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001, David Sanán	C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.	SPIN	2007	DBLP DOI BibTeX RDF
33	Frédéric Lang	Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.	IFM	2005	DBLP DOI BibTeX RDF
33	Sarah Zennou, Manuel Yguel, Peter Niebert	ELSE: A New Symbolic State Generator for Timed Automata.	FORMATS	2003	DBLP DOI BibTeX RDF
33	Mihaela Sighireanu, Radu Mateescu 0001	Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF
28	Tiantian Li, Ningyi Dai, Xuguang Zhu	Innovative Pedagogical Framework Based on Digital Collaborative Tools: A Design Education Practice of CADP Course for Freshmen in Design.	HCI (11)	2022	DBLP DOI BibTeX RDF
28	Hubert Garavel, Frédéric Lang, Radu Mateescu 0001, Wendelin Serwe	Is CADP an Applicable Formal Method?	AppFM@FM	2021	DBLP DOI BibTeX RDF
28	Luca Di Stefano 0001, Frédéric Lang	Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.	ISoLA	2021	DBLP DOI BibTeX RDF
28	Luca Di Stefano 0001, Frédéric Lang, Wendelin Serwe	Combining SLiVER with CADP to Analyze Multi-agent Systems.	COORDINATION	2020	DBLP DOI BibTeX RDF
28	Ankit Parag Shah, Jean-Baptiste Lamare, Tuan Nguyen-Anh, Alexander G. Hauptmann	CADP: A Novel Dataset for CCTV Traffic Camera based Accident Analysis.	AVSS	2018	DBLP DOI BibTeX RDF
28	Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu 0001	Verification of EB3 specifications using CADP.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
28	Fatma Jebali, Frédéric Lang, Radu Mateescu 0001	Formal modelling and verification of GALS systems using GRL and CADP.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
28	Hubert Garavel, Frédéric Lang, Radu Mateescu 0001	Compositional verification of asynchronous concurrent systems using CADP.	Acta Informatica	2015	DBLP DOI BibTeX RDF
28	Claude Helmstetter	TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox.	Leibniz Trans. Embed. Syst.	2014	DBLP DOI BibTeX RDF
28	Etienne Lantreibecq, Wendelin Serwe	Formal analysis of a hardware dynamic task dispatcher with CADP.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
28	Hubert Garavel, Frédéric Lang, Radu Mateescu 0001, Wendelin Serwe	CADP 2011: a toolbox for the construction and analysis of distributed processes.	Int. J. Softw. Tools Technol. Transf.	2013	DBLP DOI BibTeX RDF
28	Radu Mateescu 0001, Wendelin Serwe	Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
28	Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu 0001	Verification of EB3 Specifications Using CADP.	IFM	2013	DBLP DOI BibTeX RDF
28	Hubert Garavel, Radu Mateescu 0001, Wendelin Serwe	Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
28	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001, David Sanán	A model-extraction approach to verifying concurrent C programs with CADP.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
28	Bart D. Theelen, Joost-Pieter Katoen, Hao Wu 0013	Model checking of Scenario-Aware Dataflow with CADP.	DATE	2012	DBLP DOI BibTeX RDF
28	Fabienne Boyer, Olivier Gruber, Gwen Salaün	Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP.	FM	2011	DBLP DOI BibTeX RDF
28	Etienne Lantreibecq, Wendelin Serwe	Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP.	FMICS	2011	DBLP DOI BibTeX RDF
28	Hubert Garavel, Frédéric Lang, Radu Mateescu 0001, Wendelin Serwe	CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.	TACAS	2011	DBLP DOI BibTeX RDF
28	Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu 0001, Wendelin Serwe	Ten Years of Performance Evaluation for Concurrent Systems Using CADP.	ISoLA (2)	2010	DBLP DOI BibTeX RDF
28	Radu Mateescu 0001, Wendelin Serwe	A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.	FMICS	2010	DBLP DOI BibTeX RDF
28	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.	2009	DBLP DOI BibTeX RDF
28	Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe	Verification of an industrial SystemC/TLM model using LOTOS and CADP.	MEMOCODE	2009	DBLP DOI BibTeX RDF
28	María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Extending CADP for Analyzing C Code.	MSVVEIS	2007	DBLP BibTeX RDF
28	Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Joanna M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan J. Fokkink, Jacobus E. Rooda	Analyzing a chi model of a turntable system using Spin, CADP and Uppaal.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
28	Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu 0001	Model Checking Genetic Regulatory Networks Using GNA and CADP.	SPIN	2004	DBLP DOI BibTeX RDF
28	Radu Mateescu 0001	On-the-Fly Verification using CADP.	FMICS	2003	DBLP DOI BibTeX RDF
28	Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani	Validation of asynchronous circuit specifications using IF/CADP.	VLSI-SOC	2003	DBLP BibTeX RDF
28	Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani	Validation of Asynchronous Circuit Specifications Using IF/CADP.	VLSI-SoC (Selected Papers)	2003	DBLP DOI BibTeX RDF
28	Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu 0001, Mihaela Sighireanu	CADP - A Protocol Validation and Verification Toolbox.	CAV	1996	DBLP DOI BibTeX RDF
17	Frédéric Lang, Radu Mateescu 0001	Partial Order Reductions Using Compositional Confluence Detection.	FM	2009	DBLP DOI BibTeX RDF
17	Hubert Garavel, Damien Thivolle	Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.	SPIN	2009	DBLP DOI BibTeX RDF
17	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
17	Radu Mateescu 0001, Anton Wijs	Hierarchical Adaptive State Space Caching Based on Level Sampling.	TACAS	2009	DBLP DOI BibTeX RDF
17	Claude Helmstetter, Olivier Ponsini	A Comparison of Two SystemC/TLM Semantics for Formal Verification.	MEMOCODE	2008	DBLP DOI BibTeX RDF
17	Radu Mateescu 0001, Emilie Oudot	Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.	MEMOCODE	2008	DBLP DOI BibTeX RDF
17	Radu Mateescu 0001, Damien Thivolle	A Model Checking Language for Concurrent Value-Passing Systems.	FM	2008	DBLP DOI BibTeX RDF
17	Olivier Ponsini, Wendelin Serwe	A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.	FM	2008	DBLP DOI BibTeX RDF
17	Radu Mateescu 0001, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	SPIN	2008	DBLP DOI BibTeX RDF
17	Radu Mateescu 0001, Pedro T. Monteiro 0001, Estelle Dumas, Hidde de Jong	Computation Tree Regular Logic for Genetic Regulatory Networks.	ATVA	2008	DBLP DOI BibTeX RDF
17	María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Model Checking C Programs with Dynamic Memory Allocation.	COMPSAC	2008	DBLP DOI BibTeX RDF	software model checking, pointers, dynamic memory, Model extraction
17	Radu Mateescu 0001, Sylvain Rampacek	Formal Modeling and Discrete-Time Analysis of BPEL Web Services.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	exhaustive simulation, Web services, model checking, formal specification, process algebra
17	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	Using Datalog and Boolean Equation Systems for Program Analysis.	FMICS	2008	DBLP DOI BibTeX RDF	boolean equation system, demand-driven evaluation, program analysis, Datalog
17	Antonio Cansado, Eric Madelaine	Specification and Verification for Grid Component-Based Applications: From Models to Tools.	FMCO	2008	DBLP DOI BibTeX RDF
17	Qiang Guo 0001, John Derrick, Csaba Hoch	Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.	FORTE	2008	DBLP DOI BibTeX RDF	Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang
17	Alexandra Desmoulin, César Viho	A New Method for Interoperability Test Generation.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
17	Bas Ploeger, Lou J. Somers	Analysis and verification of an automatic document feeder.	SAC	2007	DBLP DOI BibTeX RDF	copier, mCRL, process algebra, document systems
17	Alexandra Desmoulin, César Viho	Automatic Interoperability Test Case Generation Based on Formal Definitions.	FMICS	2007	DBLP DOI BibTeX RDF
17	Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen	motor: The modestTool Environment.	TACAS	2007	DBLP DOI BibTeX RDF
17	Qiang Guo 0001	Verifying Erlang/OTP Components in mu CRL.	FORTE	2007	DBLP DOI BibTeX RDF	OTP, ?CRL, Verification, process algebra, Erlang
17	Radu Mateescu 0001	CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction
17	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001	Implementing Influence Analysis Using Parameterised Boolean Equation Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
17	J. Christian Attiogbé, Pascal André, Gilles Ardourel	Checking Component Composability.	SC@ETAPS	2006	DBLP DOI BibTeX RDF	Behavioural Interface Description, Behavioural Verification, Components, Services, Composability
17	Bernhard K. Aichernig, Carlo Corrales Delgado	From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems.	FASE	2006	DBLP DOI BibTeX RDF
17	Hubert Garavel, Radu Mateescu 0001	SEQ.OPEN: A Tool for Efficient Trace-Based Verification.	SPIN	2004	DBLP DOI BibTeX RDF
17	Jan Cederquist, Muhammad Torabi Dashti	Formal Analysis of a Fair Payment Protocol.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
17	Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin	LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect.	MEMOCODE	2003	DBLP DOI BibTeX RDF
17	Radu Mateescu 0001	A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.	TACAS	2003	DBLP DOI BibTeX RDF
17	Jun Pang 0001	Analysis of a Security Protocol in µCRL.	ICFEM	2002	DBLP DOI BibTeX RDF
17	Frédéric Lang	Compositional Verification Using SVL Scripts.	TACAS	2002	DBLP DOI BibTeX RDF
17	Jaco van de Pol, Miguel Valero Espada	Formal Specification of JavaSpaces Architecture Using µCRL.	COORDINATION	2002	DBLP DOI BibTeX RDF
17	Hubert Garavel, César Viho, Massimo Zendri	System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa
17	Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
17	Didier Bert, Francis Cave	Construction of Finite Labelled Transistion Systems from B Abstract Systems.	IFM	2000	DBLP DOI BibTeX RDF
17	Charles Pecheur	Advanced Modelling and Verification Techniques Applied to a Cluster File System.	ASE	1999	DBLP DOI BibTeX RDF	Compositional Generation, XTL, Model Checking, Formal Method, Specification, Temporal Logic, Distributed File System, LOTOS
17	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS.	ASE	1997	DBLP DOI BibTeX RDF	Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties