 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00077535v2
Rapport
Eric Fabre, Albert Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them [Research Report] RR-5916, INRIA. 2007, pp.38 |
||
|
hal-00672872v1
Communication dans un congrès
Sucheendra Palaniappan, Sundararaman Akshay, Blaise Genest, P.S. Thiagarajan. A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways 9th International Conference on Computational Methods in Systems Biology, 2011, France. pp.35-44, 2011 |
||
|
hal-00429669v1
Pré-publication, Document de travail
Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Yang Shaofa. Quasi-Static Scheduling of Communicating Tasks. 2009 |
||
|
inria-00000342v1
Rapport
Thomas Chatain, Claude Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets [Research Report] PI 1740, 2005 |
||
|
hal-00682085v1
Communication dans un congrès
Michel Banâtre, Fabien Allard, Paul Couderc. A spatial computing approach for integrity checking of objects groups SASO 2010 - Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2010, Budapest, Hungary. 2010, <10.1109/SASOW.2010.19> |
||
|
inria-00601833v1
Communication dans un congrès
Minh Tuan Ho, Sylvain Roche, Frédéric Weis. Design of an indoor location service in museums using RFIDs and WLAN connectivity 4th Symposium of Ubiquitous Computing and Ambient Intelligence (UcamI 2010), Sep 2010, Valence, Spain. 2010 |
||
|
inria-00602141v1
Communication dans un congrès
Michele Dominici, Giulio Zecca, Frédéric Weis, Michel Banâtre. Physical approach in smart homes, a proposition and a prototype 3rd Conference on smart space and community (RuSMART'10), Aug 2010, St Petersburg, Russia. Springer, 2010, <10.1007/978-3-642-14891-0_11> |
||
|
hal-00306256v1
Article dans une revue
Blaise Genest, Dietrich Kuske, Anca Muscholl. On communicating automata with bounded channels Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 80 (2), pp.147--167 |
||
|
hal-00702171v1
Communication dans un congrès
Michele Dominici, Bastien Pietropaoli, Frédéric Weis. Towards a feasibility-driven uncertainty-aware layered architecture for recognizing complex domestic activity ACM. SAGAWARE 2011 : International Workshop on Situation, Activity and Goal Awareness at the 13th ACM International Conference on Ubiquitous Computing (UbiComp2011), Sep 2011, Beijing, China. ACM, pp.89-94, 2011, <10.1145/2030045.2030064> |
||
|
hal-00702154v1
Communication dans un congrès
Paul Couderc, Michel Banâtre, Fabien Allard. Pervasive Integrity Checking With Coupled Objects Elsevier. ANT 2011 : 2nd International Conference on Ambient Systems, Networks and Technologies, Sep 2011, Niagara Falls, Ontatio, Canada. Elsevier, 5, pp.320-327, 2011, <10.1016/j.procs.2011.07.042> |
||
|
hal-00702159v1
Communication dans un congrès
Jean-François Verdonck, Michel Banâtre, Paul Couderc. Ubi-Post briefcase: a content-oriented security solution for high value shipping IEEE. PERCOM 2012 : IEEE International Conference on Pervasive Computing and Communications, Mar 2012, Lugano, Switzerland. IEEE, pp.492-494, 2012, <10.1109/PerComW.2012.6197544> |
||
|
hal-00702188v1
Communication dans un congrès
Bastien Pietropaoli, Michele Dominici, Frédéric Weis. Multi-sensor data fusion within the belief functions framework - application to smart home services Springer. RUSMART 2011 : 4th International Conference on Smart Space and next generation wired/wireless networking s, Aug 2011, Saint Petersburg, Russia. Springer, pp.123-134, 2011, <10.1007/978-3-642-22875-9_11> |
||
|
inria-00601820v1
Communication dans un congrès
Paul Couderc, Michel Banâtre, Fabien Allard. Pervasive integrity checking with coupled objects 7th International ICST Conference on Mobile and Ubiquitous Systems (Mobiquitous'2010), Dec 2010, Sydney, Australia. 2010 |
||
|
inria-00601837v1
Communication dans un congrès
Frédéric Weis, Paul Couderc, Sylvain Roche, Minh Tuan Ho. Design of a smart information diffusion service for museums using RFID-Based location system 6th International Conference on Wireless Communications, Networking and Mobile Computing (Wicom 2010), Sep 2010, Chengdu, China. 2010, <10.1109/WICOM.2010.5601055> |
||
|
hal-00684223v3
Pré-publication, Document de travail
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz. Asynchronous Games over Tree Architectures 2013 |
||
|
inria-00638322v1
Communication dans un congrès
Serge Abiteboul, Zoe Abrams, Stefan Haar, Tova Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue! Li, Chen. Proceedings of the 24th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'05), 2005, Baltimore, Maryland, USA, United States. ACM Press, pp.358-367, 2005, <10.1145/1065167.1065214> |
||
|
inria-00638305v1
Communication dans un congrès
Gregor Von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Systems Specified as Partial Order Input\slashOutput Automata Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru. Proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'08) and 8th International Workshop on Formal Approaches to Testing of Software (FATES'08), 2008, Tokyo, Japan, Japan. Springer, 5047, pp.169-183, 2008, <10.1007/978-3-540-68524-1_13> |
||
|
inria-00638306v1
Communication dans un congrès
Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Input\slashOutput Partial Order Automata Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang. Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonia. Springer, 4581, pp.171-185, 2007, <10.1007/978-3-540-73066-8_12> |
||
|
inria-00638308v1
Communication dans un congrès
Stefan Haar. Unfold and Cover: Qualitative Diagnosability for Petri Nets Proceedings of the 46th IEEE Conference on Decision and Control (CDC'07), 2007, New Orleans, LA, USA, United States. IEEE Control System Society, pp.1886-1891, 2007, <10.1109/CDC.2007.4434691> |
||
|
inria-00638299v1
Communication dans un congrès
Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar et al. Event Structure Semantics of Orc Dumas, Marlon and Heckel, Reiko. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM'07), 2008, Brisbane, Australia, Australia. Springer, 4937, pp.154-168, 2008, <10.1007/978-3-540-79230-7_11> |
||
|
inria-00638311v1
Communication dans un congrès
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Probabilistic QoS and soft contracts for transaction based web services Proceedings of the 6th International Conference on Web Services (ICWS'07), 2007, Salt Lake City, Utah, USA, United States. IEEE Computer Society Press, pp.126-133, 2007, <10.1109/ICWS.2007.144> |
||
|
inria-00638325v1
Communication dans un congrès
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks de Souza, José Neuman and Dini, Petre and Lorenz, Pascal. Proceedings of the 11th International Conference on Telecommunications (ICT'04), 2004, Fortaleza, Brazil, Brazil. Springer, 3124, pp.820-825, 2004 |
||
|
hal-00688350v1
Communication dans un congrès
Fabien Allard, Michel Banâtre, Frabrice Ben Hamouda-Guichoux, Paul Couderc, Jean-François Verdonck. Dependability of Aggregated Objects, a pervasive integrity checking architecture UBICOMM 2011 : The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Nov 2011, Lisbonne, Portugal. 2011 |
||
|
inria-00261976v1
Rapport
Kandaraj Piamrat, César Viho, Adlen Ksentini, Jean-Marie Bonnin. Resource Management in Mobile Heterogeneous Networks: State of the Art and Challenges [Research Report] PI 1889, 2008, pp.31 |
||
|
hal-00461272v1
Communication dans un congrès
Blaise Genest, Anca Muscholl, Zhilin Wu. Verifying Recursive Active Documents with Positive Data Tree Rewriting Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), 2010, India. pp.469-480, 2010 |
||
|
hal-00306320v1
Communication dans un congrès
Loïc Hélouët, Claude Jard, Marc Zeitoun. Covert channels detection in protocols using scenarios Security Protocols Verification, SPV'03, 2003, France. M. Rusinowitch, pp.2125, 2003 |
||
|
hal-00306319v1
Communication dans un congrès
Loïc Hélouët, Marc Zeitoun, Aldric Degorre. Scenarios and covert channels, another game... GDV 04, 2005, Boston, United States. 119, pp.93--116, 2005 |
||
|
inria-00001030v1
Rapport
Thomas Chatain, Loïc Hélouët, Claude Jard. On the use of unfoldings to abstract communicating automata into sets of scenarios [Research Report] PI 1751, 2005, pp.23 |
||
|
hal-00306257v1
Communication dans un congrès
Blaise Genest, Anca Muscholl. Constructing Exponential-size Deterministic Zielonka Automata International Colloquium on Automata, Languages and Programming, 2006, Italy. 4052, pp.565--576, 2006, Lecture Notes in Computer Science |
||
|
inria-00204548v3
Rapport
Agnes Madalinski, Eric Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings [Research Report] RR-6412, INRIA. 2007 |
||
|
|
||