Wendelin Serwe

49 papers A* 2A 3B 3C 12Journal 8Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking. ICTSS Jean-Baptiste Horel, Philippe Ledent, Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi
2025	C	`conf`	Formal Methods for Residual Risk Reduction in Cyber-Physical Systems. QRS David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa
2025	J	`jnl`	Formal methods for industrial critical systems. Int. J. Softw. Tools Technol. Transf. Anne E. Haxthausen, Wendelin Serwe
2024	C	`ed.`	Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings FMICS Anne E. Haxthausen, Wendelin Serwe
2024	C	`conf`	Improving PSS Test Generation Using Model Checking and Conformance Testing. FDL Philippe Ledent, Radu Mateescu, Wendelin Serwe
2024	—	`conf`	Testing Resource Isolation for System-on-Chip Architectures. MARS Philippe Ledent, Radu Mateescu, Wendelin Serwe
2023	J	`jnl`	Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. J. Intell. Robotic Syst. Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
2022	—	`conf`	Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. MARS Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
2022	A	`conf`	Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. DATE Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
2021	—	`conf`	Is CADP an Applicable Formal Method? AppFM@FM Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2020	C	`conf`	Automated Transition Coverage in Behavioural Conformance Testing. ICTSS Lina Marsso, Radu Mateescu, Wendelin Serwe
2020	C	`conf`	Combining SLiVER with CADP to Analyze Multi-agent Systems. COORDINATION Luca Di Stefano, Frédéric Lang, Wendelin Serwe
2020	—	`conf`	Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. MARS Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin
2019	B	`conf`	Asynchronous Testing of Synchronous Components in GALS Systems. IFM Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
2019	—	`conf`	Hunting Superfluous Locks with Model Checking. From Software Engineering to Formal Methods and Tools, and Back Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
2018	—	`conf`	Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. ASYNC Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
2018	—	`ed.`	Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. MARS/VPT John P. Gallagher, Rob van Glabbeek, Wendelin Serwe
2018	—	`conf`	TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS (2) Lina Marsso, Radu Mateescu, Wendelin Serwe
2018	—	`conf`	Using LNT Formal Descriptions for Model-Based Diagnosis. DX Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
2017	—	`conf`	From LOTOS to LNT. ModelEd, TestEd, TrustEd Hubert Garavel, Frédéric Lang, Wendelin Serwe
2017	—	`conf`	The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. MARS Hubert Garavel, Wendelin Serwe
2016	J	`jnl`	An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. Sci. Comput. Program. Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
2015	—	`conf`	Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard. MARS Wendelin Serwe
2015	A	`conf`	Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. TACAS Abderahman Kriouile, Wendelin Serwe
2014	C	`conf`	Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. FMICS Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
2014	J	`jnl`	Formal analysis of a hardware dynamic task dispatcher with CADP. Sci. Comput. Program. Etienne Lantreibecq, Wendelin Serwe
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	C	`conf`	Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. FMICS Abderahman Kriouile, Wendelin Serwe
2013	J	`jnl`	Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. Sci. Comput. Program. Radu Mateescu, Wendelin Serwe
2012	—	`conf`	Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. PASM/PDMC Hubert Garavel, Radu Mateescu, Wendelin Serwe
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	C	`conf`	Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. FMICS Etienne Lantreibecq, Wendelin Serwe
2010	C	`conf`	A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. FMICS Radu Mateescu, Wendelin Serwe
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
2009	J	`jnl`	On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. Hubert Garavel, Gwen Salaün, Wendelin Serwe
2009	A*	`conf`	Towards Performance Prediction of Compositional Models in Industrial GALS Designs. CAV Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe
2009	C	`conf`	Verification of an industrial SystemC/TLM model using LOTOS and CADP. MEMOCODE Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe
2008	B	`conf`	A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. FM Olivier Ponsini, Wendelin Serwe
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	—	`conf`	Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. ASYNC Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
2006	J	`jnl`	State space reduction for process algebra specifications. Theor. Comput. Sci. Hubert Garavel, Wendelin Serwe
2005	B	`conf`	Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. IFM Gwen Salaün, Wendelin Serwe
2004	—	`conf`	Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. AMAST Bertrand Jeannet, Wendelin Serwe
2004	—	`conf`	State Space Reduction for Process Algebra Specifications. AMAST Hubert Garavel, Wendelin Serwe
2003	C	`conf`	Statically assuring secrecy for dynamic concurrent processes. PPDP Rachid Echahed, Frédéric Prost, Wendelin Serwe
2002	—	`—`	Etude de la programmation logico-fonctionnelle concurrente. Wendelin Serwe
2001	—	`conf`	Defining Actions in Concurrent Declarative Programming. WFLP Rachid Echahed, Wendelin Serwe
2001	—	`conf`	Timed Term Rewrite Systems. WFLP Jérémie Blanc, Wendelin Serwe
2000	—	`conf`	Combining Mobile Processes and Declarative Programming. Computational Logic Rachid Echahed, Wendelin Serwe