default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrédéric Lang
Person information
- award (2023): ETAPS Test-of-Time Tool Award
- award (2021): Inria - Académie des Sciences - Dassault Systèmes Innovation Prize
- affiliation: Inria Grenoble - Rhône-Alpes, CONVECS
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j15]Luca Di Stefano
, Frédéric Lang:
Compositional verification of priority systems using sharp bisimulation. Formal Methods Syst. Des. 62(1): 1-40 (2024)- [e2]Frédéric Lang, Matthias Volk:
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 399, 2024 [contents] - 2023
- [c32]Luca Di Stefano, Frédéric Lang:
Compositional Verification of Stigmergic Collective Systems. VMCAI 2023: 155-176 - 2022
- [c31]Hubert Garavel, Frédéric Lang:
Equivalence Checking 40 Years After: A Review of Bisimulation Tools. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 213-265 - 2021
- [j14]Frédéric Lang, Radu Mateescu, Franco Mazzanti:
Compositional verification of concurrent systems by combining bisimulations. Formal Methods Syst. Des. 58(1-2): 83-125 (2021) - [c30]Luca Di Stefano, Frédéric Lang:
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. ISoLA 2021: 473-489 - [c29]Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
Is CADP an Applicable Formal Method? AppFM@FM 2021: 1-11 - 2020
- [j13]Sander de Putter, Frédéric Lang, Anton Wijs:
Compositional model checking with divergence preserving branching bisimilarity is lively. Sci. Comput. Program. 196: 102493 (2020) - [c28]Luca Di Stefano, Frédéric Lang, Wendelin Serwe:
Combining SLiVER with CADP to Analyze Multi-agent Systems. COORDINATION 2020: 370-385 - [c27]Frédéric Lang, Radu Mateescu, Franco Mazzanti:
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. TACAS (2) 2020: 57-76
2010 – 2019
- 2019
- [c26]Frédéric Lang, Radu Mateescu, Franco Mazzanti:
Compositional Verification of Concurrent Systems by Combining Bisimulations. FM 2019: 196-213 - 2018
- [c25]Hubert Garavel, Frédéric Lang, Laurent Mounier:
Compositional Verification in Action. FMICS 2018: 189-210 - 2017
- [j12]Hugues Evrard, Frédéric Lang:
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous. J. Log. Algebraic Methods Program. 88: 121-153 (2017) - [c24]Hubert Garavel, Frédéric Lang, Wendelin Serwe:
From LOTOS to LNT. ModelEd, TestEd, TrustEd 2017: 3-26 - [c23]Paula Lago, Frédéric Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, Nicolas Bonnefond:
The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking. CONTEXT 2017: 175-188 - 2016
- [j11]Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu:
Verification of EB3 specifications using CADP. Formal Aspects Comput. 28(1): 145-178 (2016) - [j10]Fatma Jebali, Frédéric Lang, Radu Mateescu:
Formal modelling and verification of GALS systems using GRL and CADP. Formal Aspects Comput. 28(5): 767-804 (2016) - [j9]Frédéric Lang, Francesco Flammini:
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). Sci. Comput. Program. 118: 1-2 (2016) - 2015
- [j8]Hubert Garavel, Frédéric Lang, Radu Mateescu:
Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica 52(4-5): 337-392 (2015) - [c22]Hugues Evrard, Frédéric Lang:
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. PDP 2015: 459-466 - 2014
- [c21]Fatma Jebali, Frédéric Lang, Radu Mateescu:
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. ICFEM 2014: 219-234 - [e1]Frédéric Lang, Francesco Flammini:
Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings. Lecture Notes in Computer Science 8718, Springer 2014, ISBN 978-3-319-10701-1 [contents] - 2013
- [j7]Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya:
Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinform. 29(6): 749-757 (2013) - [j6]Frédéric Lang, Radu Mateescu:
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems. Log. Methods Comput. Sci. 9(4) (2013) - [j5]Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15(2): 89-107 (2013) - [c20]Hugues Evrard, Frédéric Lang:
Formal Verification of Distributed Branching Multiway Synchronization Protocols. FMOODS/FORTE 2013: 146-160 - [c19]Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu:
Verification of EB3 Specifications Using CADP. IFM 2013: 61-76 - 2012
- [j4]Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang:
On Explicit Substitution with Names. J. Autom. Reason. 49(2): 275-300 (2012) - [c18]Frédéric Lang, Radu Mateescu:
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. TACAS 2012: 141-156 - 2011
- [c17]Pepijn Crouzen, Frédéric Lang:
Smart Reduction. FASE 2011: 111-126 - [c16]Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS 2011: 372-387 - 2010
- [j3]Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee:
Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. 22(6): 681-711 (2010) - [c15]Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) 2010: 128-142
2000 – 2009
- 2009
- [c14]Frédéric Lang, Radu Mateescu:
Partial Order Reductions Using Compositional Confluence Detection. FM 2009: 157-172 - [c13]Jan Stöcker, Frédéric Lang, Hubert Garavel:
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. IFM 2009: 88-102 - 2008
- [i1]Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat:
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News 2008(75) (2008) - 2007
- [j2]Frédéric Lang:
Explaining the lazy Krivine machine using explicit substitution and addresses. High. Order Symb. Comput. 20(3): 257-270 (2007) - [c12]Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe:
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV 2007: 158-163 - [c11]Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee:
Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578 - 2006
- [c10]Frédéric Lang:
Refined Interfaces for Compositional Verification. FORTE 2006: 159-174 - 2005
- [c9]Frédéric Lang:
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. IFM 2005: 70-88 - 2004
- [c8]Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang:
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. TERMGRAPH 2004: 57-82 - 2003
- [c7]Gordon J. Pace, Frédéric Lang, Radu Mateescu:
Calculating-Confluence Compositionally. CAV 2003: 446-459 - [c6]Frederic Tronel, Frédéric Lang, Hubert Garavel:
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. FMOODS 2003: 244-260 - 2002
- [c5]Hubert Garavel, Frédéric Lang, Radu Mateescu:
Compiler Construction Using LOTOS NT. CC 2002: 9-13 - [c4]Hubert Garavel, Frédéric Lang:
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. FORTE 2002: 276-291 - [c3]Frédéric Lang:
Compositional Verification Using SVL Scripts. TACAS 2002: 465-469 - 2001
- [c2]Hubert Garavel, Frédéric Lang:
SVL: A Scripting Language for Compositional Verification. FORTE 2001: 377-394 - 2000
- [j1]Frédéric Lang, Pierre Lescanne:
On Strong Normalization of Explicit Substitution Calculi (Short Note). J. Funct. Log. Program. 2000(7) (2000)
1990 – 1999
- 1999
- [c1]Frédéric Lang, Pierre Lescanne, Luigi Liquori:
A Framework for Defining Object-Calculi. World Congress on Formal Methods 1999: 963-982
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
