OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Laboratoire d'Informatique de Paris 6 - LIP6 (Paris, France)"

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

Article

Muratet, Mathieu and Delozanne, Elisabeth and Viallet, Fabienne and Torguet, Patrice Étude de l'intégration d'un jeu sérieux pour l'enseignement de la programmation dans différents contextes universitaires. (2014) Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation, vol. 21 (special). pp. 1-38. ISSN 1764-7223

Renault, Xavier and Hugues, Jérôme Définition d'une famille de patrons de transformation pour l'analyse de modèles AADL. (2010) Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes (n° 93). 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

Muratet, Laurent and Doncieux, Stéphane and Briere, Yves and Jean-Arcady, Meyer A contribution to vision-based autonomous helicopter flight in urban environments. (2005) Robotics and Autonomous Systems, vol. 5 (n° 4). pp. 195-209. ISSN 0921-8890

Conference or Workshop Item

Drogoul, Alexis and Amouroux, Edouard and Caillou, Philippe and Gaudou, Benoit and Grignard, Arnaud and Marilleau, Nicolas and Taillandier, Patrick and Vavasseur, Maroussia and Vo, Duc An and Zucker, Jean-Daniel GAMA : A Spatially Explicit, Multi-level, Agent-Based Modeling and Simulation Platform. (2013) In: 11th International Conference on Practical Applications of Agents and Multiagent Systems (PAAMS 2013), 22 May 2013 - 24 May 2013 (Salamanca, Spain).

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).

Lochin, Emmanuel and Talavera, Bruno Managing network congestion with a Kohonen-based RED queue. (2008) In: IEEE International Conference on Communications - IEEE ICC 2008, 19- 23 May 2008, Beijing, China .

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

Book

Kordon, Fabrice and Hugues, Jérôme and Canals, Agusti and Dohet, Alain Embedded Systems: Analysis and Modeling with SysML, UML and AADL. (2013) (Electronic Engineering Series). Wiley-ISTE. ISBN 978 1 84821 500 9

Kordon, Fabrice and Hugues, Jérôme and Canals, Agusti and Dohet, Alain Modélisation et analyse de systèmes embarqués. (2013) (Collection SEE). Hermes Sciences, Paris, France. ISBN 978-2746239005

This list was generated on Sun Jun 26 00:51:27 2016 CEST.