Wendelin Serwe
Affiliations: INRIA, France
According to our database^{1},
Wendelin Serwe
authored at least 42 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on inrialpes.fr

on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024
2023
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model.
J. Intell. Robotic Syst., April, 2023
2022
Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021
2020
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020
Proceedings of the Testing Software and Systems, 2020
Proceedings of the Coordination Models and Languages, 2020
2019
Proceedings of the Integrated Formal Methods  15th International Conference, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 29th International Workshop on Principles of Diagnosis colocated with 10th IFAC Symposium on Fault Detection, 2018
Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018
2017
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2016
An improved faulttolerant routing algorithm for a NetworkonChip derived with formal analysis.
Sci. Comput. Program., 2016
2015
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
2014
Sci. Comput. Program., 2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
2013
Int. J. Softw. Tools Technol. Transf., 2013
Model checking and performance evaluation with CADP illustrated on sharedmemory mutual exclusion protocols.
Sci. Comput. Program., 2013
Proceedings of the Formal Methods for Industrial Critical Systems, 2013
2012
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012
2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Formal Methods for Industrial Critical Systems, 2010
2009
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP.
Sci. Comput. Program., 2009
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009
Towards Performance Prediction of Compositional Models in Industrial GALS Designs.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.
Proceedings of the FM 2008: Formal Methods, 2008
2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous NetworkonChip.
Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007
2006
Theor. Comput. Sci., 2006
2005
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
2002
PhD thesis, 2002
2001
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001
2000
Proceedings of the Computational Logic, 2000