Frédéric Lang

52 papers A* 2A 3B 9C 9Journal 16Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Blockchain as a Service for Electronic Health Records. ICDH Suraj Gupta, Frédéric Lang, Umar Ozeer, Gwen Salaün
2025	—	`conf`	GIVUP: Automated Generation and Verification of Textual Process Descriptions. SIGSOFT FSE Companion Quentin Nivon, Gwen Salaün, Frédéric Lang
2024	J	`jnl`	Compositional verification of priority systems using sharp bisimulation. Formal Methods Syst. Des. Luca Di Stefano, Frédéric Lang
2024	—	`ed.`	Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. MARS Frédéric Lang, Matthias Volk
2023	B	`conf`	Compositional Verification of Stigmergic Collective Systems. VMCAI Luca Di Stefano, Frédéric Lang
2022	—	`conf`	Equivalence Checking 40 Years After: A Review of Bisimulation Tools. A Journey from Process Algebra via Timed Automata to Model Learning Hubert Garavel, Frédéric Lang
2021	J	`jnl`	Compositional verification of concurrent systems by combining bisimulations. Formal Methods Syst. Des. Frédéric Lang, Radu Mateescu, Franco Mazzanti
2021	—	`conf`	Is CADP an Applicable Formal Method? AppFM@FM Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2021	C	`conf`	Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. ISoLA Luca Di Stefano, Frédéric Lang
2020	C	`conf`	Combining SLiVER with CADP to Analyze Multi-agent Systems. COORDINATION Luca Di Stefano, Frédéric Lang, Wendelin Serwe
2020	J	`jnl`	Compositional model checking with divergence preserving branching bisimilarity is lively. Sci. Comput. Program. Sander de Putter, Frédéric Lang, Anton Wijs
2020	—	`conf`	Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. TACAS (2) Frédéric Lang, Radu Mateescu, Franco Mazzanti
2019	B	`conf`	Compositional Verification of Concurrent Systems by Combining Bisimulations. FM Frédéric Lang, Radu Mateescu, Franco Mazzanti
2018	C	`conf`	Compositional Verification in Action. FMICS Hubert Garavel, Frédéric Lang, Laurent Mounier
2017	J	`jnl`	Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous. J. Log. Algebraic Methods Program. Hugues Evrard, Frédéric Lang
2017	—	`conf`	From LOTOS to LNT. ModelEd, TestEd, TrustEd Hubert Garavel, Frédéric Lang, Wendelin Serwe
2017	—	`conf`	The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking. CONTEXT Paula Lago, Frédéric Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, Nicolas Bonnefond
2016	J	`jnl`	Formal modelling and verification of GALS systems using GRL and CADP. Formal Aspects Comput. Fatma Jebali, Frédéric Lang, Radu Mateescu
2016	J	`jnl`	Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). Sci. Comput. Program. Frédéric Lang, Francesco Flammini
2016	J	`jnl`	Verification of EB Formal Aspects Comput. Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
2015	C	`conf`	Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. PDP Hugues Evrard, Frédéric Lang
2015	J	`jnl`	Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica Hubert Garavel, Frédéric Lang, Radu Mateescu
2014	C	`ed.`	Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings FMICS Frédéric Lang, Francesco Flammini
2014	C	`conf`	GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. ICFEM Fatma Jebali, Frédéric Lang, Radu Mateescu
2013	J	`jnl`	CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2013	J	`jnl`	Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinform. Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
2013	—	`conf`	Formal Verification of Distributed Branching Multiway Synchronization Protocols. FMOODS/FORTE Hugues Evrard, Frédéric Lang
2013	J	`jnl`	Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems. Log. Methods Comput. Sci. Frédéric Lang, Radu Mateescu
2013	B	`conf`	Verification of EB IFM Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
2012	J	`jnl`	On Explicit Substitution with Names. J. Autom. Reason. Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang
2012	A	`conf`	Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. TACAS Frédéric Lang, Radu Mateescu
2011	A	`conf`	CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2011	B	`conf`	Smart Reduction. FASE Pepijn Crouzen, Frédéric Lang
2010	—	`conf`	Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2010	J	`jnl`	Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
2009	B	`conf`	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. IFM Jan Stöcker, Frédéric Lang, Hubert Garavel
2009	B	`conf`	Partial Order Reductions Using Compositional Confluence Detection. FM Frédéric Lang, Radu Mateescu
2008	J	`jnl`	Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat
2007	A*	`conf`	CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
2007	J	`jnl`	Explaining the lazy Krivine machine using explicit substitution and addresses. High. Order Symb. Comput. Frédéric Lang
2007	B	`conf`	Translating FSP into LOTOS and Networks of Automata. IFM Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
2006	C	`conf`	Refined Interfaces for Compositional Verification. FORTE Frédéric Lang
2005	B	`conf`	Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. IFM Frédéric Lang
2004	—	`conf`	Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. TERMGRAPH Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
2003	A*	`conf`	Calculating-Confluence Compositionally. CAV Gordon J. Pace, Frédéric Lang, Radu Mateescu
2003	—	`conf`	Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. FMOODS Frederic Tronel, Frédéric Lang, Hubert Garavel
2002	B	`conf`	Compiler Construction Using LOTOS NT. CC Hubert Garavel, Frédéric Lang, Radu Mateescu
2002	A	`conf`	Compositional Verification Using SVL Scripts. TACAS Frédéric Lang
2002	C	`conf`	NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. FORTE Hubert Garavel, Frédéric Lang
2001	C	`conf`	SVL: A Scripting Language for Compositional Verification. FORTE Hubert Garavel, Frédéric Lang
2000	J	`jnl`	On Strong Normalization of Explicit Substitution Calculi (Short Note). J. Funct. Log. Program. Frédéric Lang, Pierre Lescanne
1999	—	`conf`	A Framework for Defining Object-Calculi. World Congress on Formal Methods Frédéric Lang, Pierre Lescanne, Luigi Liquori