 |
|
|
||
|---|---|---|
|
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-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-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> |
||
|
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 |
||
|
hal-00375287v1
Communication dans un congrès
Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis. Testing Conformance of Real-Time Applications: Case of Planetary Rover Controller Fox, Maria; Goldberg, Allen; Havelund, Klaus; Long, Derek. Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems VVPS'05, Jun 2005, Monterey, CA, United States. pp.23-32, 2005 |
||
|
hal-00281589v1
Communication dans un congrès
Jérôme Cornet, Florence Maraninchi, Laurent Maillet-Contoz. A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip Design, Automation and Test in Europe, 2008. DATE '08, Mar 2008, Munich, Germany. pp.9 - 14, 2008, <10.1109/DATE.2008.4484652> |
||
|
hal-00375289v1
Communication dans un congrès
Marius Bozga, Radu Iosif. On Model Checking Generic Topologies Galmiche, Didier; O'Hearn, Peter; Pym, David. Workshop on Logics for Resources, Processes and Programs (affiliated with LICS 2004 and ICALP 2004), Jul 2004, Turku, Finland. pp.73-87, 2004 |
||
|
hal-00622137v1
Pré-publication, Document de travail
David Monniaux, Julien Le Guen. Stratified Static Analysis Based on Variable Dependencies 2011 |
||
|
hal-00375298v1
Communication dans un congrès
Ananda Basu, Marius Bozga, Joseph Sifakis. Modeling Heterogeneous Real-Time Components in BIP Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Sep 2006, Pune, India. IEEE Computer Society Press, pp.3-12, 2006 |
||
|
hal-00375280v1
Communication dans un congrès
Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis. Testing conformance of real-time software by automatic generation of observers Runtime Verification Workshop RV'2004, Apr 2004, Barcelona, Spain. Elsevier, 113, pp.23-43, 2004, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2004.01.036> |
||
|
|
||
