OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Hamez, Alexandre"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Cardoso, Janette and Chaudemar, Jean-Charles and Hamez, Alexandre and Hugues, Jérôme and Siron, Pierre PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués. (2014) Génie Logiciel (n° 108). pp. 29-34. ISSN 1265-1397

Hamez, Alexandre and Thierry-Mieg, Yann and Kordon, Fabrice Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. (2009) Fundamenta Informaticae, vol. 94 (n° 3-4). pp. 413-437. ISSN 0169-2968

Conference or Workshop Item

Hugues, Jérôme and Siron, Pierre and Hamez, Alexandre PRISE: An Integrated Platform for Research and Teaching of Critical Embedded Systems. (2012) In: Recherche et Innovation pour les Transports du Futur (RITF'12), 12-15 Nov 2012, Paris, France .

Hamez, Alexandre and Hostettler, Steve and Linard, Alban and Marechal, Alexis and Paviot-Adet, Emmanuel and Risoldi, Matteo Specification of Decision Diagram Operations. (2010) In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 22 June 2010 - 22 June 2010 (Braga, Portugal).

Book Section

Thierry-Mieg, Yann and Poitrenaud, Denis and Hamez, Alexandre and Kordon, Fabrice Hierarchical Set Decision Diagrams and Regular Models. (2009) In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. (Lecture Notes in Computer Science). Springer, Berlin, pp. 1-15. ISBN 978-3-642-00767-5

This list was generated on Tue Apr 21 01:04:29 2015 CEST.