 |
 |
|
|
||
|---|---|---|
|
inria-00400272v1
Rapport
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson et al. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form [Research Report] RR-6976, INRIA. 2009, pp.16 |
||
|
hal-00600087v1
Communication dans un congrès
David Monniaux, Laure Gonnord. Using Bounded Model Checking to Focus Fixpoint Iterations Eran Yahav. Static analysis symposium (SAS), Sep 2011, Venezia, Italy. Springer, 6887, pp.369-385, 2011, Lecture notes in Computer Science. <10.1007/978-3-642-23702-7_27> |
||
|
tel-00800516v1
Thèse
Eduardo Mazza. A Formal Framework for specifying and Analyzing Liabilities Using Log as Digital Evidence Software Engineering [cs.SE]. Université de Grenoble, 2012. English |
||
|
hal-00150145v1
Communication dans un congrès
Peter Habermehl, Radu Iosif, Tomas Vojnar. Automata-Based Verification of Programs with Tree Updates International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2006, Vienne, Austria. Springer Verlag, pp.350-364, 2006 |
||
|
hal-00450292v1
Communication dans un congrès
Karine Altisen, Yanhong Lui, Matthieu Moy. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata 8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, 2010, <10.4204/EPTCS> |
||
|
hal-00000840v1
Communication dans un congrès
Fabien Gaucher, Erwan Jahier, Florence Maraninchi, Bertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France. 2003 |
||
|
inria-00156468v1
Rapport
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli et al. Loosely Time-Triggered Architectures based on Communication-by-Sampling [Research Report] PI 1854, 2007, pp.41 |
||
|
inria-00001058v1
Communication dans un congrès
Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, 3188, pp.1-16, 2004, Lecture Notes in Computer Science; Formal Methods for Components and Objects: Second International Symposium, FMCO 2003. <10.1007/b100112> |
||
|
hal-00722549v1
Communication dans un congrès
Marius Bozga, Mohamad Jaber, Joseph Sifakis. Source-to-Source Architecture Transformation for Performance Optimization in BIP IEEE. IEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Jul 2009, Lausanne, Switzerland. pp.152-160, 2009, <10.1109/SIES.2009.5196211> |
||
|
hal-00620682v1
Communication dans un congrès
David Monniaux, Martin Bodin. Modular Abstractions of Reactive Nodes using Disjunctive Invariants Hongseok Yang. Asian symposium on programming languages and systems (APLAS), Dec 2011, Kenting, Taiwan. Springer, 7078, pp.19-33, 2011, LNCS. <10.1007/978-3-642-25318-8_5> |
||
|
hal-00620546v1
Communication dans un congrès
Chantal Cherifi, Yvan Rivierre, Jean-François Santucci. WS-NEXT, a Web Services Network Extractor Toolkit Al-Dahoud Ali. The 5th International Conference on Information Technology, May 2011, amman, Jordan. Al-Zaytoonah University of Jordan, pp.91- 96, 2011, ISBN 9957-8583-0-0 |
||
|
hal-00722513v1
Communication dans un congrès
Ananda Basu, Saddek Bensalem, Marius Bozga, Julien Mottin, Francois Pacull et al. System-Level Modeling, Analysis and Code Generation: Object Recognition Case Study Embedded World 2012, Feb 2012, Nuremberg, Germany |
||
|
hal-00722391v1
Communication dans un congrès
Marius Bozga, Radu Iosif, Filip Konecny. Fast Acceleration of Ultimately Periodic Relations Tayssir Touili and Byron Cook and Paul Jackson. Computer Aided Verification, 22nd International Conference, CAV 2010, Jul 2010, Edinburgh, United Kingdom. Springer, 6174, pp.227-242, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-14295-6> |
||
|
hal-00722405v1
Communication dans un congrès
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf. Automated Distributed Implementation of Component-Based Models with Priorities Samarjit Chakraborty and Ahmed Jerraya and Sanjoy K. Baruah and Sebastian Fischmeister. 1th International Conference on Embedded Software, EMSOFT 2011, Oct 2011, Taipei, Taiwan. ACM, pp.59-68, 2011, <10.1145/2038642.2038654> |
||
|
hal-00722481v1
Communication dans un congrès
Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis. Modeling Dynamic architectures using Dy-BIP Thomas Gschwind and Flavio De Paoli and Volker Gruhn and Matthias Book. Software Composition - 11th International Conference, SC 2012, May 2012, Prague, Czech Republic. Springer, 7306, pp.1-16, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-30564-1_1> |
||
|
tel-00121655v1
Thèse
Abdelkarim Aziz Kerbaa. Conditional Scheduling Strategies Using Timed Automata Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 2006. English |
||
|
hal-00722516v1
Communication dans un congrès
Ramzi Ben Salah, Marius Bozga, Oded Maler. Compositional Timing Analysis Samarjit Chakraborty and Nicolas Halbwachs. 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Oct 2009, Grenoble, France. ACM, pp.39-48, 2009, <10.1145/1629335.1629342> |
||
|
hal-00722550v1
Communication dans un congrès
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis. D-Finder: A Tool for Compositional Deadlock Detection and Verification Ahmed Bouajjani and Oded Maler. Computer Aided Verification, 21st International Conference, CAV 2009, Jun 2009, Grenoble, France. Springer, 5643, pp.614-619, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-02658-4_45> |
||
|
hal-00722412v2
Communication dans un congrès
Jean-Francois Kempf, Marius Bozga, Oded Maler. Performance Evaluation of Schedulers in a Probabilistic Setting Uli Fahrenberg and Stavros Tripakis. Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Sep 2011, Aalborg, Denmark. Springer, 6919, pp.1-17, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-24310-3_1> |
||
|
hal-00722494v1
Communication dans un congrès
Marius Bozga, Radu Iosif, Filip Konecny. Deciding Conditional Termination Cormac Flanagan and Barbara Knig. Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Mar 2012, Tallinn, Estonia. Springer, 7214, pp.252-266, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-28756-5_18> |
||
|
hal-00722402v1
Communication dans un congrès
Paraskevas Bourgos, Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis et al. Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems Satnam Singh and Barbara Jobstmann and Michael Kishinevsky and Jens Brandt. 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Jul 2011, Cambridge, United Kingdom. IEEE, pp.11-20, 2011, <10.1109/MEMCOD.2011.5970506> |
||
|
hal-00722479v1
Communication dans un congrès
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis. Modeling Synchronous Systems in BIP Samarjit Chakraborty and Nicolas Halbwachs. 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Oct 2009, Grenoble, France. ACM, pp.77-86, 2009, <10.1145/1629335.1629347> |
||
|
hal-00374090v1
Communication dans un congrès
Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli et al. Data-Structures for Verification of Timed Automata Maler, Oded. Hybrid and Real-Time Systems International Workshop, HART'97, Mar 1997, Grenoble, France. Springer, 1201, pp.346--360, 1997, Lecture Notes in Computer Science. <10.1007/BFb0014706> |
||
|
hal-00374117v1
Communication dans un congrès
Marius Bozga, Susanne Graf, Laurent Mounier, Alain Kerbrat, Iulian Ober et al. SDL for Real-Time: What Is Missing? Susanne, Graf; Yair, Lahav; Claude, Jard. 2nd Workshop of the SDL Forum Society on SDL and MSC SAM2000, Jun 2000, Grenoble, France. IMAG, pp.108-122, 2000 |
||
|
hal-00475745v1
Pré-publication, Document de travail
Karine Altisen, Matthieu Moy. ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre 2010 |
||
|
hal-00374086v1
Communication dans un congrès
Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine. Some Progress in the Symbolic Verification of Timed Automata Grumberg, Orna. Computer Aided Verification 9th International Conference, CAV'97, Jun 1997, Haifa, Israel. Springer, 1254, pp.179--190, 1997, Lecture Notes in Computer Science. <10.1007/3-540-63166-6_19> |
||
|
inria-00524938v1
Communication dans un congrès
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Sacchini. A New Elimination Rule for the Calculus of Inductive Constructions Stefano Berardi and Ferruccio Damiani and Ugo de'Liguoro. Types for Proofs and Programs, Mar 2008, Torino, Italy. Springer, 5497, pp.32-48, 2009, Lecture Notes in Computer Science; Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. <10.1007/978-3-642-02444-3_3> |
||
|
hal-00574783v1
Communication dans un congrès
Matthieu Moy. Efficient and Playful Tools to Teach Unix to New Students ITiCSE, Jun 2011, Darmstadt, Germany. pp.0, 2011 |
||
|
hal-00525490v1
Communication dans un congrès
Ylìès Falcone, Mohamad Jaber. Towards Automatic Integration Of Or-BAC Security Policies Using Aspects International Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5, 2010 |
||
|
hal-00976673v1
Communication dans un congrès
Karine Altisen, Stéphane Devismes. Stabilisation Instantanée Probabiliste ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4, 2014 |
||
|
|
||
