 |
 |
|
|
||
|---|---|---|
|
inria-00200450v1
Communication dans un congrès
Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet. Formal Verification of CHP Specifications with CADP - Illustration on an Asynchronous Network-on-Chip Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems ASYNC 2007, Mar 2007, Berkeley, California, United States. 2007 |
||
|
hal-00777110v1
Communication dans un congrès
Hubert Garavel, Radu Mateescu, Wendelin Serwe. Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000 Conférence en Parallélisme, Architecture et Système ComPAS'2013, Jan 2013, Grenoble, France. 2013 |
||
|
hal-00876665v1
Communication dans un congrès
Abderahman Kriouile, Wendelin Serwe. Analyse formelle du protocole ACE : cohérence de caches des systèmes sur puce École d'été Temps-Réel 2013, Aug 2013, Toulouse, France. pp.130-133, 2013, Actes de l'École d'été Temps-Réel 2013 |
||
|
hal-00858521v1
Communication dans un congrès
Abderahman Kriouile, Wendelin Serwe. Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip Michael Dierkes and Charles Pecheur. FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems, Sep 2013, Madrid, Spain. Springer, 8187, pp.108-122, 2013, Lecture Notes in Computer Science (LNCS); Formal Methods for Industrial Critical Systems. <http://www.springer.com/computer/swe/book/978-3-642-41009-3> |
||
|
inria-00189021v1
Communication dans un congrès
Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes Werner Damm and Holger Hermanns. Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. 4590, pp.158-163, 2007, Lecture Notes in Computer Science |
||
|
hal-01511847v1
Communication dans un congrès
Hubert Garavel, Wendelin Serwe. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. 244, pp.230 - 270, 2017, <http://mars-workshop.org/mars2017/>. <10.4204/EPTCS.244.10> |
||
|
hal-01064829v1
Communication dans un congrès
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng et al. Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip Frédéric Lang; Francesco Flammini. 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, Sep 2014, Florence, Italy. Springer, 8718, pp.48-62, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-10702-8_4> |
||
|
hal-00667288v1
Document associé à des manifestations scientifiques
Hubert Garavel, Frederic Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012 |
||
|
hal-01104747v1
Communication dans un congrès
Abderahman Kriouile, Wendelin Serwe. Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, London, UK, France. <10.1007/978-3-662-46681-0_62> |
||
|
inria-00381657v1
Communication dans un congrès
Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe. Towards Performance Prediction of Compositional Models in Industrial GALS Designs Ahmed Bouajjani and Oded Maler. Computer Aided Verification, 2009, Grenoble, France. Springer Verlag, 2009, Lecture Notes in Computer Science |
||
|
inria-00583776v1
Communication dans un congrès
Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011, Mar 2011, Saabrucken, Germany. 2011 |
||
|
hal-00730668v1
Communication dans un congrès
Hubert Garavel, Radu Mateescu, Wendelin Serwe. Large-Scale Distributed Verification using CADP: Beyond Clusters to Grids 11th International Workshop on Parallel and Distributed Methods in verifiCation, Sep 2012, London, United Kingdom. 2012 |
||
|
inria-00532897v1
Communication dans un congrès
Radu Mateescu, Wendelin Serwe. A Study of Shared-Memory Mutual Exclusion Protocols using CADP 15th International Workshop on Formal Methods for Industrial Critical Systems '2010, Sep 2010, Antwerp, Belgium. 2010 |
||
|
inria-00532914v1
Communication dans un congrès
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frederic Lang, Radu Mateescu et al. Ten Years of Performance Evaluation for Concurrent Systems Using CADP Tiziana Margaria and Bernhard Steffen. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. 6416, pp.128-142, 2010 |
||
|
inria-00408283v1
Communication dans un congrès
Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe. Verification of an Industrial SystemC/TLM Model using LOTOS and CADP 7th ACM-IEEE International Conference on Formal Methods and Models for Codesign MEMOCODE'2009, Jul 2009, Cambridge, MA, United States. 2009 |
||
|
inria-00259944v1
Communication dans un congrès
Olivier Ponsini, Wendelin Serwe. A Schedulerless Semantics of TLM Models Written in SystemC via Translation into LOTOS Formal Methods, May 2008, Turku, Finland. 2008 |
||
|
hal-00764932v1
Document associé à des manifestations scientifiques
Hubert Garavel, Frederic Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP: A Toolbox for the Construction and Analysis of Distributed Processes FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France |
||
|
inria-00070342v1
Rapport
Gwen Salaün, Wendelin Serwe. Translating Hardware Process Algebras into Standard Process Algebras : Illustration with CHP and LOTOS RR-5666, INRIA. 2005, pp.25 |
||
|
hal-01227999v1
Communication dans un congrès
Wendelin Serwe. Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard Rob van Glabbeek; Jan Friso Groote; Peter Höfner. Proceedings of the first Workshop on Models for Formal Analysis of Real Systems (MARS 2015), Nov 2015, Suva, Fiji. 196, 2015, Electronic Proceedings in Theoretical Computer Science, Proceedings of the first Workshop on Models for Formal Analysis of Real Systems (MARS 2015). <10.4204/EPTCS.196.6> |
||
|
hal-00715056v1
Article dans une revue
Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe. CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes International Journal on Software Tools for Technology Transfer, Springer Verlag, 2013, 15 (2), pp.89-107. <10.1007/s10009-012-0244-z> |
||
|
hal-00642029v1
Communication dans un congrès
Etienne Lantreibecq, Wendelin Serwe. Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit using CADP Formal Methods for Industrial Critical Systems, 2011, Trento, Italy. 2011 |
||
|
hal-00671321v1
Article dans une revue
Radu Mateescu, Wendelin Serwe. Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols Science of Computer Programming, Elsevier, 2012, 78 (7), pp.843-861. <10.1016/j.scico.2012.01.003> |
||
|
hal-00782069v1
Article dans une revue
Etienne Lantreibecq, Wendelin Serwe. Formal Analysis of a Hardware Dynamic Task Dispatcher with CADP Science of Computer Programming, Elsevier, 2014, 80, pp.130-149. <10.1016/j.scico.2013.01.003> |
||
|
hal-01261234v1
Article dans une revue
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng et al. An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis Science of Computer Programming, Elsevier, 2016, <10.1016/j.scico.2016.01.002> |
||
|
inria-00381642v1
Article dans une revue
Hubert Garavel, Gwen Salaun, Wendelin Serwe. On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP Science of Computer Programming, Elsevier, 2009 |
||
|
|
||
