2024
Pré-publication, Document de travail
- titre
- Categories of Algebraic Rewrite Rules
- auteur
- Thierry Boy de la Tour
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Subsumptions of SPO Rules
- auteur
- Thierry Boy de la Tour
- article
- 2024
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- titre
- A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models
- auteur
- Francisco Durán, Camilo Rocha, Gwen Salaün
- article
- Science of Computer Programming, 2019, 183, pp.1-32. ⟨10.1016/j.scico.2019.102303⟩
- Accès au texte intégral et bibtex
-
- titre
- A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions
- auteur
- Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler, Imen Grida Ben Yahia
- article
- IEEE Transactions on Network and Service Management, 2019, pp.1-15. ⟨10.1109/TNSM.2019.2948420⟩
- Accès au texte intégral et bibtex
-
- titre
- An Ideal Testbed for Planet–Disk Interaction: Two Giant Protoplanets in Resonance Shaping the PDS 70 Protoplanetary Disk
- auteur
- Jaehan Bae, Zhaohuan Zhu, Clément Baruteau, Myriam Benisty, Cornelis Dullemond, Stefano Facchini, Andrea Isella, Miriam Keppler, Laura Perez, Richard Teague
- article
- The Astrophysical journal letters, 2019, 884 (2), pp.L41. ⟨10.3847/2041-8213/ab46b0⟩
- Accès au bibtex
-
- titre
- ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores
- auteur
- Athena Abdi, Alain Girault, Hamid Zarandi
- article
- IEEE Transactions on Parallel and Distributed Systems, 2019, 30 (10), pp.2193-2210. ⟨10.1109/TPDS.2019.2906172⟩
- Accès au texte intégral et bibtex
-
- titre
- Interactive Mapping Specification with Exemplar Tuples
- auteur
- Angela Bonifati, Ugo Comignani, Emmanuel Coquery, Romuald Thion
- article
- ACM Transactions on Database Systems, 2019, 44 (3), pp.44. ⟨10.1145/3321485⟩
- Accès au texte intégral et bibtex
-
- titre
- Nested-unit Petri nets
- auteur
- Hubert Garavel
- article
- Journal of Logical and Algebraic Methods in Programming, 2019, 104, pp.60-85. ⟨10.1016/j.jlamp.2018.11.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Checking Business Process Evolution
- auteur
- Ajay Krishna, Pascal Poizat, Gwen Salaün
- article
- Science of Computer Programming, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩
- Accès au texte intégral et bibtex
-
- titre
- Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria
- auteur
- Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj, Alain Girault, Mohand-Said Hacid, Arnaud Legrand, Nicolas P. Rougier
- article
- Computing in Science and Engineering, 2019, pp.1-14. ⟨10.1109/MCSE.2019.2949413⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Approximate Querying on Property Graphs
- auteur
- Stefania Dumbrava, Angela Bonifati, Amaia Nazabal Ruiz Diaz, Romain Vuillemot
- article
- SUM 2019 - 13th international conference on Scalable Uncertainty Management, Dec 2019, Compiègne, France. pp.250-265, ⟨10.1007/978-3-030-35514-2_19⟩
- Accès au texte intégral et bibtex
-
- titre
- Asynchronous Testing of Synchronous Components in GALS Systems
- auteur
- Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
- article
- IFM'2019 - 15th International Conference on Integrated Formal Methods, Dec 2019, Bergen, Norway. pp.360-378, ⟨10.1007/978-3-030-34968-4_20⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving
- auteur
- Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier
- article
- CIS-RAM 2019 - 9th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) Robotics, Automation and Mechatronics (RAM), Nov 2019, Bangkok, Thailand. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy Consumption
- auteur
- Bruno Gaujal, Alain Girault, Stéphan Plassart
- article
- MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. pp.1-14
- Accès au texte intégral et bibtex
-
- titre
- Towards Causal Explanations of Property Violations in Discrete Event Systems
- auteur
- Gregor Gössler, Thomas Mari, Yannick Pencolé, Louise Travé-Massuyès
- article
- DX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Schema validation and evolution for graph databases
- auteur
- Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt
- article
- ER 2019 - 38th International Conference on Conceptual Modeling, Nov 2019, Salvador, Brazil. pp.448-456, ⟨10.1007/978-3-030-33223-5_37⟩
- Accès au texte intégral et bibtex
-
- titre
- Analysis of Resource Allocation of BPMN Processes
- auteur
- Francisco Durán, Camilo Rocha, Gwen Salaün
- article
- ICSOC 2019 - 17th International Conference on Service-Oriented Computing, Oct 2019, Toulouse, France. pp.452-457, ⟨10.1007/978-3-030-33702-5_35⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat
- auteur
- Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani
- article
- CNSM 2019 - 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5, ⟨10.23919/CNSM46954.2019.9012739⟩
- Accès au texte intégral et bibtex
-
- titre
- Automated Composition, Analysis and Deployment of IoT Applications
- auteur
- Francisco Durán, Gwen Salaün, Ajay Krishna
- article
- TOOLS 2019 - 51st International Conference on Software Technology: Methods and Tools, Oct 2019, Innopolis, Russia. pp.252-268, ⟨10.1007/978-3-030-29852-4_21⟩
- Accès au texte intégral et bibtex
-
- titre
- Compositional Verification of Concurrent Systems by Combining Bisimulations
- auteur
- Frédéric Lang, Radu Mateescu, Franco Mazzanti
- article
- FM 2019 - 23rd International Conference on Formal Methods, Oct 2019, Porto, Portugal. pp.196-213, ⟨10.1007/978-3-030-30942-8_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantifying the Similarity of Non-bisimilar Labelled Transition Systems
- auteur
- Gwen Salaün
- article
- FOCLASA 2019 - 17th International Workshop on Coordination and Self-adaptativeness of Software Applications, Sep 2019, Oslo, Norway. pp.1-14
- Accès au texte intégral et bibtex
-
- titre
- A Multi-Rate Precision Timed Programming Language for Multi-Cores
- auteur
- Alain Girault, Nicolas Hili, Éric Jenn, Eugene Yip
- article
- FDL 2019 - Forum for Specification and Design Languages, Sep 2019, Southampton, United Kingdom. pp.1-8, ⟨10.1109/FDL.2019.8876950⟩
- Accès au texte intégral et bibtex
-
- titre
- SZX-calculus: Scalable Graphical Quantum Reasoning
- auteur
- Titouan Carette, Dominic Horsman, Simon Perdrix
- article
- MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. pp.55:1--55:15, ⟨10.4230/LIPIcs.MFCS.2019.55⟩
- Accès au bibtex
-
- titre
- Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages
- auteur
- Nicolas Hili, Alain Girault, Eric Jenn
- article
- 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'19), Aug 2019, Hangzhou, China. pp.10, ⟨10.1109/RTCSA.2019.8864570⟩
- Accès au texte intégral et bibtex
-
- titre
- Integrating Formal Schedulability Analysis into a Verified OS Kernel
- auteur
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
- article
- Computer Aided Verification, Jul 2019, New York, United States. pp.496-514, ⟨10.1007/978-3-030-25543-5_28⟩
- Accès au bibtex
-
- titre
- MapRepair: Mapping and Repairing under Policy Views
- auteur
- Angela Bonifati, Ugo Comignani, Efthymia Tsamoura
- article
- SIGMOD 2019 - ACM SIGMOD/PODS International Conference on Management of Data, Jun 2019, Amsterdam, Netherlands. pp.1873-1876 (Demonstration), ⟨10.1145/3299869.3320228⟩
- Accès au texte intégral et bibtex
-
- titre
- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
- auteur
- Jean-Bernard Stefani, Martin Vassor
- article
- FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
- Accès au texte intégral et bibtex
-
- titre
- Pauli Fusion: a computational model to realise quantum transformations from ZX terms
- auteur
- Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix
- article
- QPL'19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States
- Accès au bibtex
-
- titre
- Rigorous Design and Deployment of IoT Applications
- auteur
- Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
- article
- FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, May 2019, Montreal, Canada. pp.21-30, ⟨10.1109/FormaliSE.2019.00011⟩
- Accès au texte intégral et bibtex
-
- titre
- Visual Debugging of Behavioural Models
- auteur
- Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah
- article
- ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩
- Accès au texte intégral et bibtex
-
- titre
- IoT Composer: Composition and Deployment of IoT Applications
- auteur
- Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
- article
- ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.19-22, ⟨10.1109/ICSE-Companion.2019.00028⟩
- Accès au texte intégral et bibtex
-
- titre
- Navigating the Maze of Wikidata Query Logs
- auteur
- Angela Bonifati, Wim Martens, Thomas Timm
- article
- WWW 2019 - The World Wide Web Conference, May 2019, San Francisco, United States. pp.127-138, ⟨10.1145/3308558.3313472⟩
- Accès au texte intégral et bibtex
-
- titre
- SEmantic Networks of Data: Utility and Privacy
- auteur
- Cédric Eichler, Pascal Berthomé, Jacques Chabin, Rachid Echahed, Mirian Halfeld-Ferrari, Benjamin Nguyen, Frederic Prost
- article
- RESSI 2019: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France
- Accès au texte intégral et bibtex
-
- titre
- CertiCAN: A Tool for the Coq Certification of CAN Analysis Results
- auteur
- Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
- article
- RTAS 2019 - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2019, Montreal, Canada. pp.1-10, ⟨10.1109/RTAS.2019.00023⟩
- Accès au texte intégral et bibtex
-
- titre
- TOOLympics 2019: An Overview of Competitions in Formal Methods
- auteur
- Ezio Bartocci, Dirk Beyer, Paul Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
- article
- 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
- Accès au bibtex
-
- titre
- The Rewrite Engines Competitions: A RECtrospective
- auteur
- Francisco Durán, Hubert Garavel
- article
- Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Part III: TOOLympics, Apr 2019, Prague, Czech Republic. pp.1-9, ⟨10.1007/978-3-030-17502-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Debugging of Behavioural Models with CLEAR
- auteur
- Gianluca Barbon, Vincent Leroy, Gwen Salaün
- article
- TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩
- Accès au texte intégral et bibtex
-
- titre
- RDF: Reconfigurable Dataflow
- auteur
- Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
- article
- DATE 2019 - Design, Automation & Test in Europe Conference & Exhibition, Mar 2019, Florence, Italy. pp.1709-1714, ⟨10.23919/DATE.2019.8714987⟩
- Accès au bibtex
-
- titre
- Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case
- auteur
- Umar Ozeer, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
- article
- ICIN 2019 - 22nd Conference on Innovation in Clouds, Internet and Networks, Feb 2019, Paris, France. pp.230-232, ⟨10.1109/ICIN.2019.8685909⟩
- Accès au texte intégral et bibtex
-
- titre
- Prenex Separation Logic with One Selector Field
- auteur
- Mnacho Echenim, Radu Iosif, Nicolas Peltier
- article
- Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, 2019, London, United Kingdom. pp.409-427, ⟨10.1007/978-3-030-29026-9_23⟩
- Accès au texte intégral et bibtex
-
- titre
- Ilinva: Using Abduction to Generate Loop Invariants
- auteur
- Mnacho Echenim, Nicolas Peltier, Yanis Sellami
- article
- Frontiers of Combining Systems - 12th International Symposium, 2019, London, United Kingdom. pp.77-93, ⟨10.1007/978-3-030-29007-8_5⟩
- Accès au texte intégral et bibtex
-
- titre
- The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
- auteur
- Mnacho Echenim, Radu Iosif, Nicolas Peltier
- article
- Foundations of Software Science and Computation Structures (FOSSACS) - 22nd International Conference, 2019, Prague, Czech Republic. pp.242-259, ⟨10.1007/978-3-030-17127-8_14⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Hunting Superfluous Locks with Model Checking
- auteur
- Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
- article
- From Software Engineering to Formal Methods and Tools, and Back, 11865, Springer Verlag, pp.416-432, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-30985-5_24⟩
- Accès au texte intégral et bibtex
-
- titre
- From Behavioural Contracts to Session Types
- auteur
- Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani
- article
- Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
- Accès au bibtex
-
- titre
- Reflections on Bernhard Steffen’s Physics of Software Tools
- auteur
- Hubert Garavel, Radu Mateescu
- article
- Models, Mindsets, Meta: The What, the How, and the Why Not?, Springer Verlag, pp.186-207, 2019, ⟨10.1007/978-3-030-22348-9_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Proof Technology and Learning in Mathematics: Common Issues and Perspectives
- auteur
- Nicolas Balacheff, Thierry Boy de La Tour
- article
- Hanna, Gila; Reid, David; de Villiers, Michael. Proof Technology in Mathematics Research and Teaching, Springer, pp.349-365, 2019, 978-3-030-28483-1
- Accès au texte intégral et bibtex
-
Poster de conférence
- titre
- SEmantic Networks of Data: Utility and Privacy
- auteur
- Cédric Eichler, Pascal Berthomé, Jacques Chabin, Rachid Echahed, Mirian Halfeld-Ferrari, Benjamin Nguyen, Frederic Prost
- article
- Atelier sur la Protection de la Vie Privée (APVP'19), Jul 2019, Cap Hornu, France
- Accès au texte intégral et bibtex
-
- titre
- SAKURA a Model Based Root Cause Analysis Framework for vIMS
- auteur
- Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler
- article
- MobiSys 2019 - 17th ACM International Conference on Mobile Systems, Applications, and Services, Jun 2019, Seoul, South Korea. ACM Press, pp.594-595
- Accès au texte intégral et bibtex
-
Rapport
- titre
- A Discrete Time Markov Decision Process for Energy Minimization Under Deadline Constraints
- auteur
- Bruno Gaujal, Alain Girault, Stéphan Plassart
- article
- [Research Report] RR-9309, Grenoble Alpes; Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019, pp.46
- Accès au texte intégral et bibtex
-
- titre
- Exploiting Job Variability to Minimize Energy Consumption under Real-Time Constraints
- auteur
- Bruno Gaujal, Alain Girault, Stéphan Plassart
- article
- [Research Report] RR-9300, Inria Grenoble Rhône-Alpes, Université de Grenoble; Université Grenoble - Alpes. 2019, pp.23
- Accès au texte intégral et bibtex
-
- titre
- Feasibility of on-line speed policies in real-time systems
- auteur
- Bruno Gaujal, Alain Girault, Stéphan Plassart
- article
- [Research Report] RR-9301, Inria Grenoble Rhône-Alpes, Université de Grenoble; Univ. Grenoble Alpes. 2019, pp.38
- Accès au texte intégral et bibtex
-
- titre
- Sciences, Environnements et Sociétés
- auteur
- Françoise Berthoud, Pascal Guitton, Laurent Lefèvre, Sophie Quinton, Antoine Rousseau, Jacques Sainte-Marie, Céline Serrano, Jean-Bernard Stefani, Peter Sturm, Eric Tannier
- article
- [0] Inria. 2019
- Accès au texte intégral et bibtex
-
- titre
- Causality Analysis and Fault Ascription in Component-Based Systems
- auteur
- Gregor Gössler, Jean-Bernard Stefani
- article
- [Research Report] RR-9279, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-28
- Accès au texte intégral et bibtex
-
- titre
- ERPOT: A quad-criteria scheduling heuristic to optimize the execution time, failure rate, power consumption and temperature in multicores
- auteur
- Athena Abdi, Alain Girault, Hamid Zarandi
- article
- [Research Report] RR-9196, Inria; 37. 2019, pp.1-37
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Autonomic resilience of distributed IoT applications in the Fog
- auteur
- Umar Ibn Zaid Ozeer
- article
- Databases [cs.DB]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM054⟩
- Accès au texte intégral et bibtex
-
- titre
- On Model-based Testing of GALS Systems
- auteur
- Lina Marsso
- article
- Formal Languages and Automata Theory [cs.FL]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM078⟩
- Accès au texte intégral et bibtex
-
- titre
- Analyses pour l'ordonnançabilité et la flexibilité de systèmes temps-réel
- auteur
- Christophe Prévot
- article
- Systèmes embarqués. Université Grenoble Alpes, 2019. Français. ⟨NNT : 2019GREAM045⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans
- auteur
- Thierry Boy de La Tour, Thierry Boy de La Tour, Rachid Echahed
- article
- 2019
- Accès au bibtex
-
- titre
- Separating pseudo-telepathy games and two-local theories
- auteur
- Louis Mathieu, Mehdi Mhalla
- article
- 2019
- Accès au bibtex
-
2018
Article dans une revue
- titre
- Graph Queries: From Theory to Practice
- auteur
- Angela Bonifati, Stefania Dumbrava
- article
- SIGMOD record, 2018, 47 (4), pp.5-16. ⟨10.1145/3335409.3335411⟩
- Accès au texte intégral et bibtex
-
- titre
- Stochastic Analysis of BPMN with Time in Rewriting Logic
- auteur
- Francisco Durán, Camilo Rocha, Gwen Salaün
- article
- Science of Computer Programming, 2018, 168, pp.1-17. ⟨10.1016/j.scico.2018.08.007⟩
- Accès au texte intégral et bibtex
-
- titre
- A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents
- auteur
- Joel A. F. dos Santos, Débora Christina Muchaluat-Saade, Cécile Roisin, Nabil Layaïda
- article
- ACM Transactions on Multimedia Computing, Communications and Applications, 2018, 14 (4), pp.1-24. ⟨10.1145/3267127⟩
- Accès au texte intégral et bibtex
-
- titre
- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
- auteur
- Radu Mateescu, José Ignacio Requeno
- article
- International Journal on Software Tools for Technology Transfer, 2018, 20 (5), pp.563-587. ⟨10.1007/s10009-018-0499-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains
- auteur
- Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon
- article
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2578-2589. ⟨10.1109/TCAD.2018.2861016⟩
- Accès au texte intégral et bibtex
-
- titre
- ProvSQL: Provenance and Probability Management in PostgreSQL
- auteur
- Pierre Senellart, Louis Jachiet, Silviu Maniu, Yann Ramusat
- article
- Proceedings of the VLDB Endowment (PVLDB), 2018, 11 (12), pp.2034-2037. ⟨10.14778/3229863.3236253⟩
- Accès au texte intégral et bibtex
-
- titre
- Protecting quantum memories using coherent parity check codes
- auteur
- Joschka Roffe, David Headley, Nicholas Chancellor, Dominic Horsman, Viv Kendon
- article
- Quantum Science and Technology, 2018, 3 (3), pp.035010. ⟨10.1088/2058-9565/aac64e⟩
- Accès au bibtex
-
- titre
- Automated verification of automata communicating via FIFO and bag buffers
- auteur
- Lakhdar Akroun, Gwen Salaün
- article
- Formal Methods in System Design, 2018, 52 (3), pp.260 - 276. ⟨10.1007/s10703-017-0285-8⟩
- Accès au texte intégral et bibtex
-
- titre
- SPARQL Query Containment under Schema
- auteur
- Melisachew Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
- article
- Journal on Data Semantics, 2018, 7 (3), pp.133-154. ⟨10.1007/s13740-018-0087-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Attitude Estimation for Indoor Navigation and Augmented Reality with Smartphones
- auteur
- Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
- article
- Pervasive and Mobile Computing, 2018, 46, pp.96-121. ⟨10.1016/j.pmcj.2018.03.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission
- auteur
- Pierre Genevès, Thomas Calmant, Nabil Layaïda, Marion Lepelley, Svetlana Artemova, Jean-Luc Bosson
- article
- Big Data Research, 2018, 12, pp.23-34. ⟨10.1016/j.bdr.2018.02.004⟩
- Accès au texte intégral et bibtex
-
- titre
- A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits
- auteur
- Dmitry Burlyaev, Pascal Fradet, Alain Girault
- article
- Leibniz Transactions on Embedded Systems, 2018, 5 (1), pp.1-26. ⟨10.4230/LITES-v005-i001-a004⟩
- Accès au bibtex
-
- titre
- The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)
- auteur
- Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons
- article
- Dagstuhl Reports, 2018, 8, pp.122 - 149. ⟨10.4230/DagRep.8.2.122⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- A Generic Coq Proof of Typical Worst-Case Analysis
- auteur
- Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton
- article
- RTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators
- auteur
- Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
- article
- Big Data 2018 - IEEE International Conference on Big Data, Dec 2018, Seattle, United States. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Resilience of Stateful IoT Applications in a Dynamic Fog Environment
- auteur
- Umar Ozeer, Xavier Etchevers, Loic Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
- article
- EAI International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous '18), Nov 2018, New York, United States. pp.1-10, ⟨10.1145/3286978.3287007⟩
- Accès au texte intégral et bibtex
-
- titre
- A Method to Quantitatively Evaluate Geo Augmented Reality Applications
- auteur
- Thibaud Michel, Pierre Genevès, Nabil Layaïda
- article
- ISMAR 2018 - International Symposium on Mixed and Augmented Reality, Oct 2018, Munich, Germany. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- A Generalized Digraph Model for Expressing Dependencies
- auteur
- Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton
- article
- RTNS '18 - 26th International Conference on Real-Time Networks and Systems, Oct 2018, Chasseneuil-du-Poitou, France. pp.1-11, ⟨10.1145/3273905.3273918⟩
- Accès au texte intégral et bibtex
-
- titre
- Query-based Linked Data Anonymization
- auteur
- Rémy Delanaux, Angela Bonifati, Marie-Christine Rousset, Romuald Thion
- article
- The 17th International Semantic Web Conference (ISWC 2018), Oct 2018, Monterey, United States. pp.530-546, ⟨10.1007/978-3-030-00671-6_31⟩
- Accès au texte intégral et bibtex
-
- titre
- Scalable and Interpretable Predictive Models for Electronic Health Records
- auteur
- Amela Fejza, Pierre Genevès, Nabil Layaïda, Jean-Luc Bosson
- article
- DSAA 2018 - 5th IEEE International Conference on Data Science and Advanced Analytics, Oct 2018, Turin, Italy. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Checkpoint/rollback vs causally-consistent reversibility
- auteur
- Martin Vassor, Jean-Bernard Stefani
- article
- RC 2018 - 10th International Conference on Reversible Computation, Sep 2018, Leicester, United Kingdom. pp.286-303, ⟨10.1007/978-3-319-99498-7_20⟩
- Accès au texte intégral et bibtex
-
- titre
- Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory
- auteur
- Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gössler
- article
- FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. pp.19-31, ⟨10.1007/978-3-030-00244-2_2⟩
- Accès au texte intégral et bibtex
-
- titre
- Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools
- auteur
- Sophie Quinton
- article
- FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.284-290, ⟨10.1007/978-3-030-00244-2_19⟩
- Accès au texte intégral et bibtex
-
- titre
- Compositional Verification in Action
- auteur
- Hubert Garavel, Frédéric Lang, Laurent Mounier
- article
- FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.189-210, ⟨10.1007/978-3-030-00244-2_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Using LNT Formal Descriptions for Model-Based Diagnosis
- auteur
- Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
- article
- DX 2018 - 29th International Workshop on Principles of Diagnosis, Aug 2018, Warsaw, Poland. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- A Generic Framework for Implicate Generation Modulo Theories
- auteur
- Mnacho Echenim, Nicolas Peltier, Yanis Sellami
- article
- IJCAR, Jul 2018, Oxford, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Superposition with Datatypes and Codatatypes
- auteur
- Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard
- article
- IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- The GazePlay Project: Open and Free Eye-trackers Games and a Community for People with Multiple Disabilities
- auteur
- Didier Schwab, Amela Fejza, Loïc Vial, Yann Robert
- article
- ICCHP 2018 - 16th International Conference on Computers Helping People with Special Needs, Jul 2018, Linz, Austria. pp.254-261, ⟨10.1007/978-3-319-94277-3_41⟩
- Accès au texte intégral et bibtex
-
- titre
- Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks
- auteur
- Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst
- article
- ECRTS 2018 - 30th Euromicro Conference on Real-Time Systems, Jul 2018, Barcelona, Spain. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2018.15⟩
- Accès au texte intégral et bibtex
-
- titre
- Counterexample Simplification for Liveness Property Violation
- auteur
- Gianluca Barbon, Vincent Leroy, Gwen Salaün
- article
- SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing the Parallelism Degree of Timed BPMN Processes
- auteur
- Francisco Durán, Camilo Rocha, Gwen Salaün
- article
- FOCLASA 2018 - 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems, Jun 2018, Toulouse, France. pp.1-16, ⟨10.1007/978-3-030-04771-9_24⟩
- Accès au texte intégral et bibtex
-
- titre
- Monotonic Prefix Consistency in Distributed Systems
- auteur
- Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
- article
- FORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions
- auteur
- Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
- article
- ICWE'18 - 18th International Conference on Web Engineering, Jun 2018, Cáceres, Spain. pp.195-209, ⟨10.1007/978-3-319-91662-0_15⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits
- auteur
- Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
- article
- ASYNC'18 - 24th IEEE International Symposium on Asynchronous Circuits and Systems , May 2018, Vienne, Austria
- Accès au texte intégral et bibtex
-
- titre
- Evaluation of Query Transformations without Data
- auteur
- Jérôme David, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
- article
- WWW 2018 - Companion of The Web Conference, Apr 2018, Lyon, France. pp.1599-1602, ⟨10.1145/3184558.3191617⟩
- Accès au texte intégral et bibtex
-
- titre
- Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm
- auteur
- Hubert Garavel, Lina Marsso
- article
- MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.41 - 87, ⟨10.4204/EPTCS.268.2⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal TLS Handshake Model in LNT
- auteur
- Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
- article
- MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.1 - 40, ⟨10.4204/EPTCS.268.1⟩
- Accès au texte intégral et bibtex
-
- titre
- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
- auteur
- Lina Marsso, Radu Mateescu, Wendelin Serwe
- article
- TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.211-228, ⟨10.1007/978-3-319-89963-3_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Symbolic Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT
- auteur
- Francisco Durán, Camilo Rocha, Gwen Salaün
- article
- WRLA 2018 : 12th International Workshop on Rewriting Logic and its Applications, Apr 2018, Thessaloniki, Greece. pp.1-20
- Accès au texte intégral et bibtex
-
- titre
- Automated Analysis of Industrial Workflow-based Models
- auteur
- Mario Cortes-Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün
- article
- SAC 2018 - 33rd Annual ACM Symposium on Applied Computing, ACM, Apr 2018, Pau, France. pp.120-127, ⟨10.1145/3167132.3167142⟩
- Accès au texte intégral et bibtex
-
- titre
- LUMEN: A Global Fault Management Framework For Network Virtualization Environments
- auteur
- Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler
- article
- ICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2018, Paris, France. pp.1-8, ⟨10.1109/ICIN.2018.8401622⟩
- Accès au texte intégral et bibtex
-
- titre
- Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition
- auteur
- Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada
- article
- Proceedings of the 12th International Workshop on Rewriting Logic and its Applications (WRLA'18), 2018, Thessaloniki, Greece
- Accès au texte intégral et bibtex
-
- titre
- Prime Implicate Generation in Equational Logic
- auteur
- Mnacho Echenim, Nicolas Peltier, Sophie Tourret
- article
- Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, 2018, Stockholm, Sweden
- Accès au texte intégral et bibtex
-
- titre
- A Tableaux Calculus for Reducing Proof Size
- auteur
- Michael Peter Lettmann, Nicolas Peltier
- article
- Automated Reasoning - 9th International Joint Conference, IJCAR 2018, 2018, Oxford, United Kingdom
- Accès au texte intégral et bibtex
-
N°spécial de revue/special issue
- titre
- Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems
- auteur
- Carlos Canal, Gwen Salaün
- article
- Science of Computer Programming, 168, pp.169 - 170, 2018, ⟨10.1016/j.scico.2018.09.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Recent advances in interactive and automated analysis
- auteur
- Radu Mateescu
- article
- France. International Journal on Software Tools for Technology Transfer, 20 (2), pp.119 - 123, 2018, ⟨10.1007/s10009-017-0477-y⟩
- Accès au texte intégral et bibtex
-
Autre publication scientifique
- titre
- Pricing in discrete financial models
- auteur
- Mnacho Echenim
- article
- 2018
- Accès au bibtex
-
Ouvrages
- titre
- Querying Graphs
- auteur
- Angela Bonifati, George Fletcher, Hannes Voigt, Nikolay Yakovets
- article
- Morgan & Claypool Publishers, 10 (3), pp.1-184, 2018, Synthesis Lectures on Data Management, ⟨10.2200/S00873ED1V01Y201808DTM051⟩
- Accès au bibtex
-
Proceedings/Recueil des communications
- titre
- MCC’2017 - The Seventh Model Checking Contest
- auteur
- Fabrice Kordon, Hubert Garavel, Lom Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jiří Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
- article
- LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Software Technologies: Applications and Foundations (STAF 2018)
- auteur
- Manuel Mazzara, Iulian Ober, Gwen Salaün
- article
- Mazzara, Manuel; Ober, Iulian; Salaun, Gwen. STAF 2018 - Federation of International Conferences on Software Technologies: Applications and Foundations, Jun 2018, Toulouse, France. 11176, Springer, XXI, 658 p., 2018, Programming and Software Engineering book series, 978-3030047702. ⟨10.1007/978-3-030-04771-9⟩
- Accès au texte intégral et bibtex
-
Rapport
- titre
- RDF: Reconfigurable Dataflow (extended version)
- auteur
- Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
- article
- [Research Report] RR-9227, INRIA Grenoble - Rhône-Alpes. 2018, pp.1-19
- Accès au texte intégral et bibtex
-
- titre
- The GazePlay Project : Overview in February 2018
- auteur
- Didier Schwab, Amela Fejza, Loïc Vial, Yann Robert
- article
- [Research Report] LIG lab. 2018, pp.1-5
- Accès au texte intégral et bibtex
-
- titre
- System Level LET with Application to Automotive Design
- auteur
- Rolf Ernst, Leonie Ahrendts, Kai-Björn Gemlau, Sophie Quinton, Hermann von Hasseln, Julien Hennig
- article
- [Research Report] TU Braunschweig. 2018, pp.1-11
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Debugging of Behavioural Models using Counterexample Analysis
- auteur
- Gianluca Barbon
- article
- Systems and Control [cs.SY]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM077⟩
- Accès au texte intégral et bibtex
-
- titre
- On the foundations for the compilation of web data queries : optimization and distributed evaluation of SPARQL
- auteur
- Louis Jachiet
- article
- Information Retrieval [cs.IR]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM038⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- The Complexity of Prenex Separation Logic with One Selector
- auteur
- Mnacho Echenim, Radu Iosif, Nicolas Peltier
- article
- 2018
- Accès au bibtex
-
- titre
- A Set-Theoretic Framework for Parallel Graph Rewriting
- auteur
- Thierry Boy de La Tour, Rachid Echahed
- article
- 2018
- Accès au bibtex
-
- titre
- On the Expressive Completeness of Bernays-Sch\"onfinkel-Ramsey Separation Logic
- auteur
- Mnacho Echenim, Radu Iosif, Nicolas Peltier
- article
- 2018
- Accès au bibtex
-
2017
Article dans une revue
- titre
- Asynchronous synthesis techniques for coordinating autonomic managers in the cloud
- auteur
- Rim Abid, Gwen Salaün, Noël de Palma
- article
- Science of Computer Programming, 2017, 146, pp.87 - 103. ⟨10.1016/j.scico.2017.05.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Prime Implicate Generation in Equational Logic
- auteur
- Mnacho Echenim, Nicolas Peltier, Sophie Tourret
- article
- Journal of Artificial Intelligence Research, 2017, 60, pp.827-880
- Accès au bibtex
-
- titre
- Exploiting Execution Dynamics in Timing Analysis Using Job Sequences
- auteur
- Leonie Ahrendts, Sophie Quinton, Rolf Ernst
- article
- IEEE Design & Test, 2017, 35 (4), pp.16-22. ⟨10.1109/MDAT.2017.2746638⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous
- auteur
- Hugues Evrard, Frédéric Lang
- article
- Journal of Logical and Algebraic Methods in Programming, 2017, 88, pp.33. ⟨10.1016/j.jlamp.2016.09.002⟩
- Accès au texte intégral et bibtex
-
- titre
- A Survey of Parametric Dataflow Models of Computation
- auteur
- Adnan Bouakaz, Pascal Fradet, Alain Girault
- article
- ACM Transactions on Design Automation of Electronic Systems, 2017
- Accès au bibtex
-
- titre
- Symbolic Analyses of Dataflow Graphs
- auteur
- Adnan Bouakaz, Pascal Fradet, Alain Girault
- article
- ACM Transactions on Design Automation of Electronic Systems, 2017
- Accès au bibtex
-
- titre
- A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules
- auteur
- Nicolas Peltier
- article
- Journal of Logic and Computation, 2017, 27 (2), pp.549-576
- Accès au bibtex
-
- titre
- Reliable Self-deployment of Distributed Cloud Applications
- auteur
- Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma
- article
- Software: Practice and Experience, 2017, 47 (1), pp.3-20. ⟨10.1002/spe.2400⟩
- Accès au texte intégral et bibtex
-
- titre
- CERES for First-Order Schemata
- auteur
- Alexander Leitsch, Nicolas Peltier, Daniel Weller
- article
- Journal of Logic and Computation, 2017, 27 (7), pp.1897-1954. ⟨10.1093/logcom/exx003⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets
- auteur
- Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
- article
- RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3
- Accès au texte intégral et bibtex
-
- titre
- Une classification expérimentale multi-critère des évaluateurs SPARQL répartis
- auteur
- Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
- article
- BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications » , Nov 2017, Nancy, France. pp.1-2
- Accès au texte intégral et bibtex
-
- titre
- Optimising SPARQL Query Evaluation in the Presence of ShEx Constraints
- auteur
- Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
- article
- BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications », Nov 2017, Nancy, France. pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- Lossy channels in a dataflow model of computation
- auteur
- Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei
- article
- Principles of Modeling, Festschrift in Honor of Edward A. Lee, Oct 2017, Berkeley, United States. pp.13
- Accès au bibtex
-
- titre
- Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems
- auteur
- Sophie Quinton, Leonie Ahrendts, Rolf Ernst
- article
- RTNS 2017 - 25th International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. pp.88-97, ⟨10.1145/3139258.3139259⟩
- Accès au texte intégral et bibtex
-
- titre
- SPARQL Query Containment with ShEx Constraints
- auteur
- Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
- article
- ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus
- Accès au texte intégral et bibtex
-
- titre
- On the Most Suitable Axiomatization of Signed Integers
- auteur
- Hubert Garavel
- article
- 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2017, Gregynog, Wales, UK, United Kingdom. pp.120-134, ⟨10.1007/978-3-319-72044-9_9⟩
- Accès au texte intégral et bibtex
-
- titre
- VBPMN: Automated Verification of BPMN Processes
- auteur
- Ajay Krishna, Pascal Poizat, Gwen Salaün
- article
- 13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy
- Accès au texte intégral et bibtex
-
- titre
- Real-Time Ticks for Synchronous Programming
- auteur
- Reinhard von Hanxleden, Timothy Bourke, Alain Girault
- article
- FDL 2017 - 12th Forum on Specification and Design Languages, Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy
- Accès au texte intégral et bibtex
-
- titre
- Learning Logic Program Representation for Delayed Systems With Limited Training Data
- auteur
- Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue
- article
- the 27th International Conference on Inductive Logic Programming, Sep 2017, Orléans, France
- Accès au texte intégral et bibtex
-
- titre
- A Framework for Evaluating Schedulability Analysis Tools
- auteur
- Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
- article
- Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aug 2017, Aalborg, Denmark
- Accès au texte intégral et bibtex
-
- titre
- A Circuit-Based Approach to Efficient Enumeration
- auteur
- Antoine Amarilli, Pierre Bourhis, Louis Jachiet, Stefan Mengel
- article
- ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. pp.1-15, ⟨10.4230/LIPIcs.ICALP.2017.111⟩
- Accès au texte intégral et bibtex
-
- titre
- Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems
- auteur
- Zain a H Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst
- article
- ECRTS 2017 - 29th Euromicro Conference on Real-Time Systems, Jun 2017, Dubrovnik, Croatia. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2017.17⟩
- Accès au texte intégral et bibtex
-
- titre
- The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking
- auteur
- Paula Lago, Frederic Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, Nicolas Bonnefond
- article
- 10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. pp.175-188, ⟨10.1007/978-3-319-57837-8_14⟩
- Accès au texte intégral et bibtex
-
- titre
- Verifying Timed BPMN Processes Using Maude
- auteur
- Francisco Durán, Gwen Salaün
- article
- 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Adaptive Mapping for Multiple Applications on Parallel Architectures
- auteur
- Ismail Assayad, Alain Girault
- article
- Third International Symposium on Ubiquitous Networking, UNET'17, May 2017, Casablanca, Morocco
- Accès au texte intégral et bibtex
-
- titre
- Parallel Graph Rewriting with Overlapping Rules
- auteur
- Rachid Echahed, Aude Maignan
- article
- LPAR-21 - 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2017, Maun, Botswana. pp.300-318, ⟨10.29007/576h⟩
- Accès au bibtex
-
- titre
- The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
- auteur
- Hubert Garavel, Wendelin Serwe
- article
- 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. pp.230 - 270, ⟨10.4204/EPTCS.244.10⟩
- Accès au texte intégral et bibtex
-
- titre
- A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm
- auteur
- Hubert Garavel, Lina Marsso
- article
- 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. pp.129 - 183, ⟨10.4204/EPTCS.244.6⟩
- Accès au texte intégral et bibtex
-
- titre
- Debugging of Concurrent Systems using Counterexample Analysis
- auteur
- Gianluca Barbon, Vincent Leroy, Gwen Salaün
- article
- 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
- Accès au texte intégral et bibtex
-
- titre
- Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies
- auteur
- Zain A. H. Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux
- article
- Design, Automation & Test in Europe Conference & Exhibition (DATE 2017), Mar 2017, Lausanne, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- On Attitude Estimation with Smartphones
- auteur
- Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
- article
- PerCom 2017 - IEEE International Conference on Pervasive Computing and Communications, Mar 2017, Kona, United States
- Accès au texte intégral et bibtex
-
- titre
- Counterfactual Causality from First Principles?
- auteur
- Gregor Gössler, Oleg Sokolsky, Jean-Bernard Stefani
- article
- 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), 2017, Uppsala, Sweden. pp.47 - 53, ⟨10.4204/EPTCS.259.5⟩
- Accès au bibtex
-
- titre
- The Binomial Pricing Model in Finance: A Formalization in Isabelle
- auteur
- Nicolas Peltier, Mnacho Echenim
- article
- CADE 26, 2017, Gothenburg, Sweden. pp.546-562
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- From LOTOS to LNT
- auteur
- Hubert Garavel, Frédéric Lang, Wendelin Serwe
- article
- Joost-Pieter Katoen; Rom Langerak; Arend Rensink. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 10500, Springer, pp.3-26, 2017, Lecture Notes in Computer Science, 978-3-319-68270-9. ⟨10.1007/978-3-319-68270-9_1⟩
- Accès au texte intégral et bibtex
-
N°spécial de revue/special issue
- titre
- Preface: Special issue on software verification and testing
- auteur
- Mercedes Merayo, Gwen Salaün
- article
- Journal of Systems and Software, 132, pp.317 - 318, 2017, ⟨10.1016/j.jss.2017.07.025⟩
- Accès au texte intégral et bibtex
-
Poster de conférence
- titre
- Une nouvelle algèbre pour SPARQL permettant l'optimisation des requêtes contenant des expressions de chemin
- auteur
- Louis Jachiet, Pierre Genevès, Nabil Layaïda, Nils Gesbert
- article
- BDA 2017 - 33ème conférence sur la « Gestion de Données , Nov 2017, Nancy, France. pp.1-2
- Accès au texte intégral et bibtex
-
- titre
- Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA
- auteur
- Rafik Henia, Laurent Rioux, Nicolas Sordon, Zain a H Hammadeh, Rolf Ernst, Sophie Quinton
- article
- RTAS 2017 - IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2017, Pittsburgh, United States. , pp.1-2
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks
- auteur
- Bruno Gaujal, Alain Girault, Stéphan Plassart
- article
- [Research Report] RR-9101, UGA - Université Grenoble Alpes; Inria Grenoble Rhône-Alpes; Université de Grenoble. 2017, pp.1-35
- Accès au texte intégral et bibtex
-
Thèse
- titre
- On Mobile Augmented Reality Applications based on Geolocation
- auteur
- Thibaud Michel
- article
- Mobile Computing. Université Grenoble Alpes, 2017. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Static Analysis of Semantic Web Queries with ShEx Schema Constraints
- auteur
- Abdullah Abbas
- article
- Web. Université Grenoble - Alpes, 2017. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- The SPARQLGX System for Distributed Evaluation of SPARQL Queries
- auteur
- Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
- article
- 2017
- Accès au texte intégral et bibtex
-
- titre
- SPARUB: SPARQL UPDATE Benchmark
- auteur
- Damien Graux, Pierre Genevès, Nabil Layaïda
- article
- 2017
- Accès au texte intégral et bibtex
-
- titre
- Optimizing SPARQL query evaluation with a worst-case cardinality estimation based on statistics on the data
- auteur
- Louis Jachiet, Pierre Genevès, Nabil Layaïda
- article
- 2017
- Accès au texte intégral et bibtex
-
- titre
- HAP: Building Pipelines with Heterogeneous Data and Hive
- auteur
- Damien Graux, Pierre Genevès, Nabil Layaïda
- article
- 2017
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- titre
- A Superposition Calculus for Abductive Reasoning
- auteur
- Mnacho Echenim, Nicolas Peltier
- article
- Journal of Automated Reasoning, 2016, 57 (2), pp.97--134
- Accès au bibtex
-
- titre
- Behavioral Types in Programming Languages
- auteur
- Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
- article
- Foundations and Trends in Programming Languages, 2016, 3 (2-3), pp.95-230. ⟨10.1561/2500000031⟩
- Accès au bibtex
-
- titre
- VerChor: A Framework for the Design and Verification of Choreographies
- auteur
- Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
- article
- IEEE Transactions on Services Computing, 2016, 9 (4), pp.647-660. ⟨10.1109/TSC.2015.2413401⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Modelling and Verification of GALS Systems Using GRL and CADP
- auteur
- Fatma Jebali, Frédéric Lang, Radu Mateescu
- article
- Formal Aspects of Computing, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Verification of EB3 specifications using CADP
- auteur
- Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
- article
- Formal Aspects of Computing, 2016, 28 (1), pp.145-178. ⟨10.1007/s00165-016-0362-6⟩
- Accès au texte intégral et bibtex
-
- titre
- Propositional Resolution and Prime Implicates Generation
- auteur
- Nicolas Peltier
- article
- Archive of Formal Proofs, 2016, 2016
- Accès au bibtex
-
- titre
- Formal Design of Dynamic Reconfiguration Protocol for Cloud Applications
- auteur
- Rim Abid, Gwen Salaün, Noel de Palma
- article
- Science of Computer Programming, 2016, 117, pp.1-16. ⟨10.1016/j.scico.2015.12.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Proof Generalization in LK by Second Order Unifier Minimization
- auteur
- Thierry Boy de La Tour, Nicolas Peltier
- article
- Journal of Automated Reasoning, 2016, 57 (3), pp.245-280
- Accès au texte intégral et bibtex
-
- titre
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- auteur
- Antoine Girard, Gregor Gössler, Sebti Mouelhi
- article
- IEEE Transactions on Automatic Control, 2016, 61 (6), pp.1537-1549. ⟨10.1109/TAC.2015.2478131⟩
- Accès au texte intégral et bibtex
-
- titre
- An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis
- auteur
- Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris Myers
- article
- Science of Computer Programming, 2016, ⟨10.1016/j.scico.2016.01.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Reversibility in the higher-order π-calculus
- auteur
- Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
- article
- Theoretical Computer Science, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩
- Accès au texte intégral et bibtex
-
- titre
- MCC’2015 – The Fifth Model Checking Contest
- auteur
- Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
- article
- LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Taking Arduino to the Internet of Things: the ASIP programming model
- auteur
- Gianluca Barbon, Michael Margolis, Filippo Palumbo, Franco Raimondi, Nick Weldin
- article
- Computer Communications, 2016, 00, pp.1 - 15. ⟨10.1016/j.comcom.2016.03.016⟩
- Accès au texte intégral et bibtex
-
- titre
- Robust and reliable reconfiguration of cloud applications
- auteur
- Francisco Durán, Gwen Salaün
- article
- Journal of Systems and Software, 2016, 122, pp.524-537. ⟨10.1016/j.jss.2015.09.020⟩
- Accès au texte intégral et bibtex
-
- titre
- Contextual equivalences in configuration structures and reversibility
- auteur
- Clément Aubert, Ioana Cristescu
- article
- Journal of Logical and Algebraic Methods in Programming, 2016
- Accès au texte intégral et bibtex
-
- titre
- A Variant of the Superposition Calculus.
- auteur
- Nicolas Peltier
- article
- Archive of Formal Proofs, 2016
- Accès au bibtex
-
Communication dans un congrès
- titre
- SPARQLGX : Une Solution Distribuée pour RDF Traduisant SPARQL vers Spark
- auteur
- Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
- article
- BDA 2016 - 32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Nov 2016, Poitiers, France
- Accès au texte intégral et bibtex
-
- titre
- Ensuring Correctness of Model Transformations While Remaining Decidable
- auteur
- Jon Haël Brenas, Rachid Echahed, Martin Strecker
- article
- Theoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantifying the Flexibility of Real-Time Systems
- auteur
- Rafik Henia, Alain Girault, Christophe Prévot, Sophie Quinton, Laurent Rioux
- article
- 10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
- Accès au texte intégral et bibtex
-
- titre
- Checking Business Process Evolution
- auteur
- Pascal Poizat, Gwen Salaün, Ajay Krishna
- article
- 13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France
- Accès au texte intégral et bibtex
-
- titre
- SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark
- auteur
- Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
- article
- 15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan
- Accès au texte intégral et bibtex
-
- titre
- SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark
- auteur
- Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
- article
- The 15th International Semantic Web Conference, Oct 2016, Kobe, Japan. ⟨10.1007/978-3-319-46547-0_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Smart Trip Alternatives for the Curious
- auteur
- Damien Graux, Pierre Genevès, Nabil Layaïda
- article
- 15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan
- Accès au texte intégral et bibtex
-
- titre
- Energy and timing aware synchronous programming
- auteur
- Jiajie Wang, Partha S Roop, Alain Girault
- article
- International Conference on Embedded Software, EMSOFT'16, Oct 2016, Pittsburgh, United States. pp.10, ⟨10.1145/2968478.2968500⟩
- Accès au texte intégral et bibtex
-
- titre
- DAPA: Degradation-Aware Privacy Analysis of Android Apps
- auteur
- Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo
- article
- STM 2016 - 12th International Workshop on Security and Trust Management, Sep 2016, Heraklion, Greece. pp.32 - 46, ⟨10.1007/978-3-319-46598-2_3⟩
- Accès au texte intégral et bibtex
-
- titre
- The ForeC Synchronous Deterministic Parallel Programming Language for Multicores
- auteur
- Eugene Yip, Alain Girault, Partha S Roop, Morteza Biglari-Abhari
- article
- IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC'16, Sep 2016, Lyon, France
- Accès au texte intégral et bibtex
-
- titre
- Stability-Based Adaptation of Asynchronously Communicating Software
- auteur
- Carlos Canal, Gwen Salaün
- article
- 14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria. ⟨10.1007/978-3-319-41591-8_22⟩
- Accès au texte intégral et bibtex
-
- titre
- Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
- auteur
- Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
- article
- Workshop on Pre- and Post-Deployment Verification Techniques, Jun 2016, Reykjavik, Iceland. ⟨10.4204/EPTCS.208.3⟩
- Accès au texte intégral et bibtex
-
- titre
- Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs
- auteur
- Adnan Bouakaz, Pascal Fradet, Alain Girault
- article
- RTAS 2016 - 22nd IEEE Real-Time Embedded Technology & Applications Symposium, Apr 2016, Vienne, Austria. ⟨10.1109/RTAS.2016.7461360⟩
- Accès au texte intégral et bibtex
-
- titre
- Symbolic computation of the latency for dataflow graphs
- auteur
- Adnan Bouakaz, Pascal Fradet, Alain Girault
- article
- Integrating Dataflow, Embedded computing and Architecture (IDEA'2016), Apr 2016, Vienne, Austria
- Accès au bibtex
-
- titre
- Automated Analysis of Asynchronously Communicating Systems
- auteur
- Lakhdar Akroun, Gwen Salaün, Lina Ye
- article
- 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩
- Accès au texte intégral et bibtex
-
- titre
- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
- auteur
- Radu Mateescu, José Ignacio Requeno
- article
- 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_13⟩
- Accès au texte intégral et bibtex
-
- titre
- DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
- auteur
- Hugues Evrard
- article
- TACAS'2016, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-662-49674-9_34⟩
- Accès au texte intégral et bibtex
-
- titre
- Proving Correctness of Logically Decorated Graph Rewriting Systems
- auteur
- Jon Haël Brenas, Rachid Echahed, Martin Strecker
- article
- FSCD 2016, 2016, Porto, Portugal
- Accès au bibtex
-
- titre
- Using formal models to cross check an implementation
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary, Danièle Dadolle
- article
- Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing System EICS 2016, 2016, Brussels, Belgium, Belgium. pp.126-137, ⟨10.1145/2933242.2933257⟩
- Accès au bibtex
-
N°spécial de revue/special issue
- titre
- Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
- auteur
- Frédéric Lang, Francesco Flammini
- article
- France. Science of Computer Programming, 118, pp.1-2, 2016, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), ⟨10.1016/j.scico.2016.01.004⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15)
- auteur
- Gwen Salaün, Mariëlle Stoelinga
- article
- ACM, 2016, ⟨10.1016/j.scico.2016.10.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)
- auteur
- Dimitra Giannakopoulou, Gwen Salaün, Michael Butler
- article
- Springer, 2016, ⟨10.1007/s00165-016-0368-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Graph Transformation - 9th International Conference, {ICGT} 2016, in Memory of Hartmut Ehrig
- auteur
- Rachid Echahed, Mark Minas
- article
- Springer, 9761, 2016
- Accès au bibtex
-
Proceedings/Recueil des communications
- titre
- Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
- auteur
- Gregor Gössler, Oleg Sokolsky
- article
- Gregor Gössler; Oleg Sokolsky. First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Apr 2016, Eindhoven, Netherlands. 224, , 2016, EPTCS, ⟨10.4204/EPTCS.224⟩
- Accès au bibtex
-
- titre
- Work-in-Progress and Demo Proceedings - 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
- auteur
- Vincent Nélis, Sophie Quinton
- article
- 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2016, Vienna, Austria. , 2016
- Accès au texte intégral et bibtex
-
Rapport
- titre
- A static analysis for the minimization of voters in fault-tolerant circuits
- auteur
- Dmitry Burlyaev, Pascal Fradet, Alain Girault
- article
- [Research Report] RR-9004, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.1-27
- Accès au texte intégral et bibtex
-
- titre
- RTLib: A Library of Timed Automata for Modeling Real-Time Systems
- auteur
- Lijun Shan, Susanne Graf, Sophie Quinton
- article
- [Research Report] Grenoble 1 UGA - Université Grenoble Alpe; INRIA Grenoble - Rhone-Alpes. 2016
- Accès au texte intégral et bibtex
-
- titre
- Synchronous Deterministic Parallel Programming for Multicores with ForeC
- auteur
- Eugene Yip, Partha S. Roop, Alain Girault, Morteza Biglari-Abhari
- article
- [Research Report] RR-8943, Inria - Research Centre Grenoble – Rhône-Alpes. 2016
- Accès au texte intégral et bibtex
-
- titre
- Symbolic Analysis of Dataflow Graphs (Extended Version)
- auteur
- Adnan Bouakaz, Pascal Fradet, Alain Girault
- article
- [Research Report] 8742, Inria - Research Centre Grenoble – Rhône-Alpes. 2016
- Accès au texte intégral et bibtex
-
- titre
- Parallel Graph Rewriting with Overlapping Rules
- auteur
- Rachid Echahed, Aude Maignan
- article
- [Research Report] LJK and LIG. 2016, pp.26
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Formal framework for modelling and verifying globally asynchronous locally synchronous systems
- auteur
- Fatma Jebali
- article
- Computation and Language [cs.CL]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM036⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- An efficient translation from a modal μ-calculus over finite trees with converse to tree automata
- auteur
- Louis Jachiet, Pierre Genevès, Nabil Layaïda
- article
- 2016
- Accès au texte intégral et bibtex
-
2015
Article dans une revue
- titre
- On weak odd domination and graph-based quantum secret sharing
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- Theoretical Computer Science, 2015, 598, ⟨10.1016/j.tcs.2015.05.038⟩
- Accès au bibtex
-
2012
Communication dans un congrès
- titre
- Quantum Secret Sharing with Graph States
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- MEMICS 2012 - International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Oct 2012, Znojmo, Czech Republic. pp.15-31, ⟨10.1007/978-3-642-36046-6_3⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- On Weak Odd Domination and Graph-based Quantum Secret Sharing
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- 2012
- Accès au bibtex
-
2011
Pré-publication, Document de travail
- titre
- Optimal accessing and non-accessing structures for graph protocols
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- 2011
- Accès au bibtex
-