 |
 |
|
|
||
|---|---|---|
|
hal-01400108v1
Communication dans un congrès
A. Papadimitriou, David Hely, V. Beroulle, P. Maistri, R. Leveugle. FPGA emulation of laser attacks against secure deep submicron integrated circuits 7ème Colloque du GdR SoC-SiP, Jun 2013, Lyon, France |
||
|
hal-01424792v1
Article dans une revue
Abdesselam Lakehal, Ioannis Parissis. Structural Coverage Criteria for Lustre/SCADE Programs Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2009, 19 (2), pp.133-154 |
||
|
hal-00723506v1
Communication dans un congrès
Aurélien Faravelon, Stéphanie Chollet, Christine Verdier, Agnès Front. Configuring Private Data Management as Access Restrictions: From Design to Enforcement Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu. ICSOC 2012 - International Conference on Service-Oriented Computing, Nov 2012, Shanghai, China. Springer Berlin, 7636, pp.344-358, 2012, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-34321-6_23> |
||
|
hal-00874181v1
Communication dans un congrès
Clement Escoffier, Stéphanie Chollet, Philippe Lalanda. Lessons Learned in Building Pervasive Platforms The 11th Annual IEEE Consumer Communications and Networking Conference, Jan 2014, Las Vegas, CA, United States. pp.203-208, 2014 |
||
|
hal-01073945v1
Communication dans un congrès
Philippe Lalanda, Stéphanie Chollet, Etienne Gandrille, Catherine Hamon. Maintaining Traceability Links between Design and Runtime Architectures to support Autonomic Management 8th International Workshop on Service Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE), Sep 2014, Barcelona, Spain. pp.19-24, 2014 |
||
|
hal-01078407v1
Communication dans un congrès
Anne-Marie Benoit, Annabelle Mercier. Self social data J. Bauchet et V. Rialle. Journées Annuelles de la SFTAG 2014, Nov 2014, PARIS, France. SFTAG, Science, morale et technologie dans la Silver économie : recueil des textes scientifiques des JASFTAG 2014, 2014, <www.sftag.fr> |
||
|
tel-00377293v1
HDR
Ioannis Parissis. Méthodes et outils pour le test logiciel Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2007 |
||
|
hal-00549886v1
Communication dans un congrès
Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller 3th International Conference on Software Testing and Verification (ICST 2010), Apr 2010, Paris, France. pp.489 - 497, 2010 |
||
|
hal-00485147v1
Communication dans un congrès
Sébastien Jean, Kiev Gama, Didier Donsez, André Lagreze. Towards a monitoring system for High Altitude Objects International Conference On Mobile Technology, Applications, And Systems, 2009, Nice, France. ACM, 8p, 2009, <10.1145/1710035.1710046> |
||
|
hal-01414728v1
Communication dans un congrès
C. Ananiadis, A. Papadimitriou, David Hely, V. Beroulle, P. Maistri et al. On the development of a new countermeasure on a laser attack RTL fault model Design, Automation and Test in Europe Conference (DATE'16), Mar 2016, Dresden, Germany. Proceedings |
||
|
hal-00227528v1
Communication dans un congrès
Rémy Nouailletas, Damien Koenig, Eduardo Mendes. LMI design of a switched observer with model uncertainty: Application to a hysteresis mechanical system IEEE. 46th IEEE Conference on Decision and Control, CDC 2007, Dec 2007, New Orleans, United States. Proceedings of the 46th IEEE Conference on Decision and Control, CDC 2007, pp. 6298-6303, 2007 |
||
|
hal-00953600v1
Communication dans un congrès
Laya Madani, Ahmed M'Hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009, Unknown, 2009 |
||
|
hal-00015843v1
Communication dans un congrès
M.A. Naal, M. Rakotoar, Emmanuel Simeu, C. Aktouf. Using concurrent and semi-concurrent on-line testing during HLS: an adaptable approach Proceedings-of-the-Eighth-IEEE-International-On-Line-Testing-Workshop-IOLTW-2002, 2002, Isle of Bendor, France. IEEE, Piscataway, NJ, USA, pp.184, 2002, <10.1109/OLT.2002.1030208> |
||
|
hal-00348967v1
Communication dans un congrès
Rémy Nouailletas, Eduardo Mendes, Damien Koenig. Parameters identification of a hybrid model for dry friction IEEE. 47th IEEE Conference on Decision and Control, CDC 2008, Dec 2008, Cancun, Mexico. IEEE, Proceedings of the 47th IEEE Conference on Decision and Control, pp. 5500-5505, 2008 |
||
|
hal-00275887v1
Communication dans un congrès
Huy Vu Do, Chantal Robach, Michel Delaunay. Integrating testability into the development process of reactive systems The IASTED International Conference on Software Engineering SE 2007, Feb 2007, Innsbruck, Austria. pp.Track 552-155, 2007 |
||
|
hal-00275648v1
Communication dans un congrès
Huy Vu Do, Chantal Robach, Michel Delaunay, Jean-Sébastien Cruz. Automatic Testability Analysis for Data-Flow Designs of Reactive Systems The IEEE 1st International Workshop on Testability Assessment, Nov 2004, Rennes, France. page 52-61, 2004 |
||
|
hal-00395499v1
Communication dans un congrès
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. Hierarchical Wireless Network Architecture for Distributed Applications The Fifth International Conference on Wireless and Mobile Communications, ICWMC 2009, Aug 2009, Cannes, La Bocca, France. Hierarchical Wireless Network Architecture for Distributed Applications, pp.70-75, 2009 |
||
|
hal-00506089v2
Communication dans un congrès
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. A Co-design Approach for Bilateral Teleoperation over Hybrid Network 18th Mediterranean Conference on Control and Automation (MED'10), Jun 2010, Marrakech, Morocco. pp.286-291, 2010, <10.1109/MED.2010.5547682> |
||
|
hal-01237745v1
Communication dans un congrès
Ayoub Soury, Denis Genon-Catalot, Jean-Marc Thiriet. La sécurité des ascenseurs avec des communications Ethernet-Based Real-Time IRIT. Journées Nationales des Communications Terrestres, May 2014, Toulouse, France. Editions universitaires europeennes, 2014, Journées Nationales des Communications Terrestres 2014 (JNCT 2014). <https://www.morebooks.de/store/gb/book/journées-nationales-des-communications-terrestres-2014-jnct-2014/isbn/978-3-8417-3468-6> |
||
|
hal-00438103v1
Communication dans un congrès
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. Wireless Network Architecture for Long range teleoperation of Autonomous Systems SensorNets 2009: The First International School on Cyber-Physical and Sensor Networks, Dec 2009, Monastir, Tunisia. SensorNets 2009: The First International School on Cyber-Physical and Sensor Networks, pp.15-18, 2009 |
||
|
hal-00371167v1
Communication dans un congrès
Zeashan Hameed Khan, Jean-Marc Thiriet, Denis Genon-Catalot. Wireless Network architecture for Diagnosis and Monitoring Applications Consumer Communications and Networking Conference, 2009, CCNC 2009, Jan 2009, Las Vegas, United States. 6th IEEE Consumer Communications and Networking Conference, CCNC 2009, pp.1-2, 2009 |
||
|
hal-00423910v1
Communication dans un congrès
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. Co-design in Heterogeneous Wireless Networked Control Systems International Multiconference on Computer Science and Information Technology (IMCSIT \'09), Oct 2009, Mragowo, Poland. 30th IFAC Workshop on Real Time Programming and 4th International Workshop on Real time software, pp.85-90, 2009 |
||
|
hal-00423732v1
Article dans une revue
Zeashan Hameed Khan, Denis Genon-Catalot, Jean-Marc Thiriet. Wireless Network Architecture for Diagnosis and Monitoring Applications MASAUM Journal of Computing, 2009, 1 (2), pp.318-325 |
||
|
hal-01233766v1
Communication dans un congrès
Ayoub Soury, Denis Genon-Catalot, Jean-Marc Thiriet. New lift safety architecture to meet PESSRAL requirements 2nd World Symposium on Web Applications and Networking (WSWAN), 2015, Mar 2015, Sousse, Tunisia. 5 p., 2015, <10.1109/WSWAN.2015.7210314> |
||
|
hal-01233841v1
Communication dans un congrès
Ayoub Soury, Melek Charfi, Denis Genon-Catalot, Jean-Marc Thiriet. Performance analysis of Ethernet Powerlink protocol: Application to a new lift system generation 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, Luxembourg. 6 p., 2015, <http://www.etfa2015.org/>. <10.1109/ETFA.2015.7301492> |
||
|
hal-00560419v1
Article dans une revue
Zeashan Hameed Khan, Jean-Marc Thiriet, Denis Genon-Catalot. Drive-by-Wireless Teleoperation with Network QoS Adaptation International Journal of Engineering Science and Technology, 2011, 2 (2), pp.160-169 |
||
|
hal-00860799v1
Communication dans un congrès
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata Burkhart Wolff and Fatiha Zaidi. ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12, 2011 |
||
|
hal-00585589v1
Communication dans un congrès
Andreia Cathelin, B. Martineau, Nicolas Seller, S. Douyere, Jean Gorisse et al. Design for Millimeter-wave Applications in Silicon Technologies ESSCIRC, Sep 2009, Munich, Germany. pp.464-471, 2009 |
||
|
hal-00954524v1
Communication dans un congrès
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information 6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113, 2013 |
||
|
hal-00860808v1
Communication dans un congrès
Yves Grasland. Testing Resource Usage in Home Automation Systems ICST 2011 - 4th IEEE International Conference on Software Testing, Verification and Validation, Mar 2011, Berlin, Germany. IEEE Computer Society, pp.419-422, 2011, <10.1109/ICST.2011.14> |
||
|
|
||
