Publications de l'équipe POP ART

2013

Communications avec actes

Titre

Logico-Numerical Max-Strategy Iteration

Auteurs

Peter Schrammel ; Pavle Subotic

Détail

R. Giacobazzi, J. Berdine, and I. Mastroeni. Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. Springer, VMCAI, 7737, pp. 414-433, LNCS

Accès au texte intégral et bibtex

2012

Articles dans des revues avec comité de lecture

Titre

Probabilistic contracts for component-based design

Auteurs

Gregor Goessler; Dana Xu; Alain Girault

Détail

Formal Methods in System Design, Springer, 2012, 41 (2), pp. 211-231

Accès au bibtex

Titre

Applying abstract acceleration to (co-)reachability analysis of reactive programs

Auteurs

Peter Schrammel ; Bertrand Jeannet

Détail

Journal of Symbolic Computation, Elsevier, 2012, 47 (12), pp. 1512-1532

Accès au texte intégral et bibtex

Communications avec actes

Titre

A Correlation Preserving Performance Analysis for Stream Processing Systems

Auteurs

Gideon Smeding; Gregor Goessler

Détail

MEMOCODE, Jul 2012, Washington DC, United States.

Accès au texte intégral et bibtex

Titre

SPDF: A Schedulable Parametric DataFlow MoC

Auteurs

Pascal Fradet ; Alain Girault; Peter Poplavko

Détail

Design, Automation and Test in Europe Conference and Exhibition (DATE'12), Mar 2012, Dresden, Germany.

Accès au bibtex

Titre

SPDF: A Schedulable Parametric Data-Flow MoC

Auteurs

Pascal Fradet; Alain Girault; Petro Poplavko

Détail

Design Automation and Test in Europe, DATE'12, Mar 2012, Dresden, Germany.

Accès au texte intégral et bibtex

Titre

A Theory of Fault Recovery for Component-Based Models

Auteurs

Borzoo Bonakdarpour; Marius Bozga; Gregor Goessler

Détail

Stabilization, Safety, and Security of Distributed Systems, 2012, Toronto, Canada.

Accès au bibtex

Titre

From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation

Auteurs

Peter Schrammel ; Bertrand Jeannet

Détail

Thao Dang and Ian Mitchell. Hybrid Systems: Computation and Control, Apr 2012, Beijing, China. ACM, HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, pp. 167-176

Accès au texte intégral et bibtex

Rapports

Titre

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs

Auteurs

Peter Schrammel; Bertrand Jeannet

Détail

[Research Report], 2012, pp. 22. RR-7630

Accès au texte intégral et bibtex

Titre

CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions

Auteurs

Sebti Mouelhi; Antoine Girard; Gregor Gössler

Détail

[Research Report], 2012. RR-8108

Accès au texte intégral et bibtex

Titre

Probabilistic Contracts for Component-based Design

Auteurs

Gregor Gössler; Dana Xu; Alain Girault

Détail

[Research Report], 2012. RR-7328

Accès au texte intégral et bibtex

Titre

From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation

Auteurs

Peter Schrammel ; Bertrand Jeannet

Détail

[Research Report], 2012, pp. 37. RR-7859

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Aspects Preserving Properties

Auteurs

Simplice Djoko Djoko; Rémi Douence; Pascal Fradet

Détail

Science of Computer Programming, Elsevier, 2011

Accès au bibtex

Titre

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties

Auteurs

Daniel Le Métayer; Manuel Maarek; Eduardo Mazza; Marie-Laure Potet; Stéphane Frénot; Valérie Viet Triem Tong; Nicolas Craipeau; Ronan Hardouin

Détail

Communications- ACM, 2011, 54 (4), pp. 99-106

Accès au bibtex

Titre

A Modal Interface Theory for Component-based Design

Auteurs

Jean-Baptiste Raclet; Eric Badouel; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone

Détail

Fundamenta Informaticae, Elsevier, 2011, 108 (1-2), pp. 119-149

Accès au bibtex

Communications avec actes

Titre

Automatic generation of discrete handlers of real-time continuous control tasks

Auteurs

Ahmed Soufyane Aboubekr; Delaval Gwenaël; Roger Pissard-Gibollet; Éric Rutten; Daniel Simon

Détail

18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy.

Accès au texte intégral et bibtex

Titre

A GALS Language for Dynamic Distributed and Reactive Programs

Auteurs

Avinash Malik; Alain Girault; Zoran Salcic

Détail

ACSD, Jun 2011, Newcastle, United Kingdom.

Accès au texte intégral et bibtex

Titre

Efficient Encoding of SystemC/TLM in Promela

Auteurs

Kevin Marquet; Matthieu Moy; Bertrand Jeannet

Détail

DATICS-IMECS, Mar 2011, Hong Kong.

Accès au texte intégral et bibtex

Titre

Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs

Auteurs

Sidharta Andalam; Partha Roop; Alain Girault

Détail

DATE, Mar 2011, Grenoble, France.

Accès au texte intégral et bibtex

Titre

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs

Auteurs

Peter Schrammel ; Bertrand Jeannet

Détail

E. Yahav. Static Analysis Symposium, Sep 2011, Venice, Italy. Springer, Static Analysis, 6887, pp. 233-248

Accès au texte intégral et bibtex

Communications sans actes

Titre

A Dataflow Model for Interactive Data-dependent Streaming Applications

Auteurs

Pascal Fradet ; Alain Girault; Peter Poplavko

Détail

Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, Mar 2011, Grenoble, France.

Accès au bibtex

Titre

A Statically Analyzable Dataflow Model for Dynamic Streaming

Auteurs

Pascal Fradet ; Alain Girault; Peter Poplavko

Détail

4th Workshop on Mapping of Applications to MPSoCs, Jun 2011, St. Goar, Germany.

Accès au bibtex

Titre

A Statically Analyzable Dataflow Model for Dynamic Streaming

Auteurs

Pascal Fradet ; Alain Girault; Peter Poplavko

Détail

Platform 2012 Developers' Conference, Dec 2011, Grenoble, France.

Accès au bibtex

Rapports

Titre

SPDF: A Schedulable Parametric Data-Flow MoC (Extended Version)

Auteurs

Pascal Fradet ; Alain Girault; Peter Poplavko

Détail

[Research Report], 2011, pp. 24. RR-7828

Accès au texte intégral et bibtex

Titre

Widening with Thresholds for Programs with Complex Control Graphs

Auteurs

Lies Lakhdar-Chaouch; Bertrand Jeannet; Alain Girault

Détail

[Research Report], 2011, pp. 17. RR-7673

Accès au texte intégral et bibtex

Titre

Reliability and performance optimization of pipelined real-time systems

Auteurs

Anne Benoit; Fanny Dufossé; Alain Girault; Yves Robert

Détail

[Research Report], 2011, pp. 32. RR-7509

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Aspects of Availability - Enforcing timed properties to prevent denial of service

Auteurs

Pascal Fradet ; Stéphane Hong Tuan Ha

Détail

Science of Computer Programming, Elsevier, 2010, 75 (7), pp. 516-542

Accès au bibtex

Titre

SystemJ: A GALS Language for System Level Design

Auteurs

Avinash Malik; Zoran Salcic; Partha Roop; Alain Girault

Détail

Elsevier Computer Languages, Systems and Structures, Elsevier, 2010, 36 (4), pp. 317-344

Accès au bibtex

Communications avec actes

Titre

Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs

Auteurs

Peter Schrammel ; Bertrand Jeannet

Détail

Enric Rodríguez Carbonell and Antoine Miné. Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. Elsevier, Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains: NSAD 2010, 267, pp. 101-114, ENTCS

Accès au texte intégral et bibtex

Titre

Reliability and performance optimization of pipelined real-time systems

Auteurs

Anne Benoit; Fanny Dufossé; Alain Girault; Yves Robert

Détail

International Conference on Parallel Processing, Sep 2010, San Diego, United States. pp. 20

Accès au texte intégral et bibtex

Titre

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Auteurs

Emil Dumitrescu; Alain Girault; Hervé Marchand; Éric Rutten

Détail

Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. IFAC, pp. 366-373

Accès au texte intégral et bibtex

Titre

Refinement of Chemical Programs using Strategies

Auteurs

Pascal Fradet ; Jean-Louis Giavitto; Marnes Hoff

Détail

International workshop on strategies in rewriting, proving and programming, Jul 2010, Edimburg, United Kingdom.

Accès au bibtex

Titre

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Auteurs

Daniel Le Métayer; Manuel Maarek; Eduardo Mazza; Marie-Laure Potet; Stéphane Frénot; Valérie Viet Triem Tong; Nicolas Craipeau; Ronan Hardouin; Christophe Alleaune; Valérie-Laure Benabou; Denis Beras; Christophe Bidan; Gregor Goessler; Julien Le Clainche; Ludovic Mé; Sylvain Steer

Détail

ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), May 2010, Cape Town, South Africa. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, pp. 135-144

Accès au texte intégral et bibtex

Titre

Probabilistic Contracts for Component-Based Design

Auteurs

Dana N. Xu; Gregor Goessler; Alain Girault

Détail

the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. Springer, pp. 325-340

Accès au bibtex

Titre

A Case Study in Model-based Adaptation of Web Services

Auteurs

Javier Cámara; Jose Antonio Martin; Gwen Salaün; Carlos Canal; Ernesto Pimentel

Détail

4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Oct 2010, Heraclion, Crete, Greece. Springer Verlag, 6416, pp. 112-126, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Semi-automatic Specification of Behavioural Service Adaptation Contracts

Auteurs

Javier Cámara; Jose Antonio Martin; Gwen Salaün; Carlos Canal; Ernesto Pimentel

Détail

7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), Mar 2010, Paphos, Cyprus. 264(1), pp. 19-34, Electronic Proceedings in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Causality Analysis in Contract Violation

Auteurs

Gregor Goessler; Daniel Le Métayer; Jean-Baptiste Raclet

Détail

Runtime Verification, Nov 2010, St Julians, Malta. 6418, pp. 270-284, LNCS

Accès au bibtex

Rapports

Titre

Probabilistic Contracts for Component-based Design

Auteurs

Dana Xu; Gregor Goessler; Alain Girault

Détail

[Research Report], 2010. RR-7328

Accès au texte intégral et bibtex

Titre

The DSystemJ programming language for dynamic GALS systems: it's semantics, compilation, implementation, and run-time system

Auteurs

Avinash Malik; Alain Girault; Zoran Salcic

Détail

[Research Report], 2010. RR-7346

Accès au texte intégral et bibtex

Titre

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Auteurs

Grégory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro T. Monteiro; Hidde De Jong

Détail

[Research Report], 2010. RR-7284

Accès au texte intégral et bibtex

Titre

Quantifying the Precision of Numerical Abstract Domains

Auteurs

Pascal Sotin

Détail

[Research Report], 2010, pp. 20

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

A novel bicriteria scheduling heuristics providing a guaranteed global system failure rate

Auteurs

Alain Girault; Hamoudi Kalla

Détail

IEEE Transactions on Dependable and Secure Computing, IEEE, 2009, 6 (4), pp. 241-254

Accès au texte intégral et bibtex

Titre

Automating the Addition of Fault Tolerance with Discrete Controller Synthesis

Auteurs

Alain Girault; Éric Rutten

Détail

Formal Methods in System Design, Springer, 2009, 35, pp. 190-225

Accès au texte intégral et bibtex

Titre

Reliability Versus Performance for Critical Applications

Auteurs

Alain Girault; Erik Saule; Denis Trystram

Détail

Journal of Parallel and Distributed Computing, Elsevier, 2009, 69 (3), pp. 326-336

Accès au bibtex

Communications avec actes

Titre

A Compositional Approach on Modal Specifications for Timed Systems.

Auteurs

Nathalie Bertrand; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet

Détail

11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. Springer, 5885, pp. 679-697, LNCS

Accès au bibtex

Titre

Refinement and Consistency of Timed Modal Specifications.

Auteurs

Nathalie Bertrand; Sophie Pinchinat; Jean-Baptiste Raclet

Détail

3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp. 152-163, LNCS

Accès au bibtex

Titre

Specification Enforcing Refinement for Convertibility Verification

Auteurs

Partha Roop; Alain Girault; Gregor Goessler; Roopak Sinha

Détail

International Conference on Application of Concurrency to System Design, ACSD'09, Jul 2009, Augsburg, Germany. IEEE, pp. 148-157

Accès au texte intégral et bibtex

Titre

Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model

Auteurs

M. Alras; Paul Caspi; Alain Girault; Pascal Raymond

Détail

International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. IEEE, pp. 3-10

Accès au texte intégral et bibtex

Titre

Why are modalities good for Interface Theories?

Auteurs

Jean-Baptiste Raclet; Eric Badouel; Albert Benveniste; Benoit Caillaud; Roberto Passerone

Détail

Stephen Edwards and Walter Vogler. The 9th International Conference on Application of Concurrency to System Design, Jul 2009, Augsburg, Germany.

Accès au texte intégral et bibtex

Titre

Modal Interfaces: Unifying Interface Automata and Modal Specifications.

Auteurs

Jean-Baptiste Raclet; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone

Détail

Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France. IEEE

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Classical Coordination Mechanisms in the Chemical Model

Auteurs

Pascal Fradet ; Jean-Pierre Banâtre; Yann Radenac

Détail

Yves Bertot and Gérard Huet and Jean-Jacques Lévy and Gordon Plotkin. From Semantics to Computer Science: Essays in Honor of Gilles Kahn, Cambridge University Press, 2009

Accès au bibtex

Rapports

Titre

Aspects Preserving Properties

Auteurs

Simplice Djoko Djoko; Rémi Douence; Pascal Fradet

Détail

[Research Report], 2009. RR-7155

Accès au texte intégral et bibtex

Titre

Why are modalities good for Interface Theories?

Auteurs

Jean-Baptiste Raclet; Eric Badouel; Albert Benveniste; Benoit Caillaud; Roberto Passerone

Détail

[Research Report], 2009. RR-6899

Accès au texte intégral et bibtex

Titre

PRET-C: A new language for programming precision timed architectures

Auteurs

Sidharta Andalam; Partha Roop; Alain Girault; Claus Traulsen

Détail

[Research Report], 2009, pp. 38. RR-6922

Accès au texte intégral et bibtex

Titre

A Compositional Approach on Modal Specifications for Timed Systems

Auteurs

Nathalie Bertrand; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet

Détail

[Research Report], 2009. RR-7039

Accès au texte intégral et bibtex

Titre

Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study

Auteurs

Christophe Alleaune; Valérie-Laure Benabou; Denis Beras; Christophe Bidan; Nicolas Craipeau; Stéphane Frénot; Gregor Goessler; Ronan Hardouin; Julien Le Clainche; Daniel Le Métayer; Manuel Maarek; Eduardo Mazza; Ludovic Mé; Marie-Laure Potet; Sylvain Steer; Valérie Viet Triem Tong

Détail

[Research Report], 2009, pp. 23. RR-7148

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

Implementing Fault-Tolerance in Real-Time Systems by Program Transformations

Auteurs

Pascal Fradet ; Alain Girault; Tolga Ayav

Détail

ACM Transactions in Embedded Computing Systems, ACM, 2008, 7 (4)

Accès au bibtex

Communications avec actes

Titre

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs

Auteurs

Gwenaël Delaval ; Alain Girault; Marc Pouzet

Détail

LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. ACM, Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, pp. 101-110

Accès au texte intégral et bibtex

Titre

Aspect Preserving Properties

Auteurs

Simplice Djoko Djoko; Rémi Douence; Pascal Fradet

Détail

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, 2008, San Francisco, United States.

Accès au bibtex

Titre

Specialized aspect languages preserving classes of properties

Auteurs

Simplice Djoko Djoko; Rémi Douence; Pascal Fradet

Détail

IEEE International Conference on Software Engineering and Formal Methods, 2008, Cape Town, South Africa.

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

The Chemical Reaction Model - Recent Developments and Prospects

Auteurs

Pascal Fradet ; Jean-Pierre Banâtre; Yann Radenac

Détail

Martin Wirsing and Jean-Pierre Banâtre and Matthias Hölzl and Axel Rauschmayer. Software-Intensive Systems and New Computing Paradigms, 5380, Springer, 2008, Lecture Notes in Computer Science

Accès au bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre

Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P) 2008

Auteurs

Eric Rutten ; Alain Girault

Détail

[Preface]. SLA++P - Third International Workshop on Model-driven High-level Programming of Embedded Systems 2008, Apr 2008, Budapest, Hungary

Accès au texte intégral et bibtex

Rapports

Titre

A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems

Auteurs

Abdoulaye Gamatié; Éric Rutten; Huafeng Yu

Détail

[Research Report], 2008, pp. 26. RR-6589

Accès au texte intégral et bibtex

Titre

Reactive control of adaptive embedded systems

Auteurs

Éric Rutten

Détail

[Research Report], 2008, pp. 20. RR-6604

Accès au texte intégral et bibtex

Titre

Relational interprocedural analysis of concurrent programs

Auteurs

Bertrand Jeannet

Détail

[Research Report], 2008, pp. 36. RR-6671

Accès au texte intégral et bibtex

Titre

Aspects of Availability Enforcing timed properties to prevent denial of service

Auteurs

Pascal Fradet; Stéphane Hong Tuan Ha

Détail

[Research Report], 2008, pp. 37. RR-6754

Accès au texte intégral et bibtex

Titre

Component-based Modeling and Reachability Analysis of Genetic Networks

Auteurs

Gregor Goessler

Détail

[Research Report], 2008. RR-6755

Accès au texte intégral et bibtex

Thèses

Titre

Répartition modulaire de programmes synchrones

Auteurs

Gwenaël Delaval

Détail

informatique. Institut National Polytechnique de Grenoble - INPG, Jul. 2008. French

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

The next 700 Krivine machines

Auteurs

Rémi Douence; Pascal Fradet

Détail

Journal of Higher Order and Symbolic Computing, special issue on Krivine's machine, 2007, 20 (3), pp. 237-255

Accès au bibtex

Communications avec actes

Titre

Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes

Auteurs

Emil Dumitrescu; Alain Girault; Hervé Marchand; Éric Rutten

Détail

6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp. 71-86

Accès au texte intégral et bibtex

Titre

Optimal discrete controller synthesis for modeling fault-tolerant distributed systems

Auteurs

Emil Dumitrescu; Éric Rutten; Alain Girault; Hervé Marchand

Détail

DCDS, Jun 2007, Cachan, France. pp. xxx

Accès au bibtex

Titre

Aspects of Availability

Auteurs

Pascal Fradet ; Stéphane Hong Tuan Ha

Détail

Proc. of the Sixth International Conference on Generative Programming and Component Engineering, GPCE'07, Oct 2007, Salzburg, Austria. pp. 165-174

Accès au bibtex

Titre

Ubiquitous Privacy Protection

Auteurs

Ciaran Bryce; M.A.C Dekker; Sandro Etalle; Daniel Le Métayer; Frédéric Le Mouël; Marine Minier; Joël Moret-Bailly; Stéphane Ubéda

Détail

Proceedings of the 5th Workshop on Ubicomp Privacy in conjunction with the 9th International Conference on Ubiquitous Computing (UbiComp'2007), Sep 2007, Innsbruck, Austria.

Accès au texte intégral et bibtex

Autres publications

Titre

Proof of correctness of aspect transformations in the CASB

Auteurs

Simplice Djoko Djoko; Rémi Douence; Pascal Fradet

Détail

Jul. 2007. Deliverable D88

Accès au bibtex

Rapports

Titre

Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems

Auteurs

Emil Dumitrescu; Alain Girault; Hervé Marchand; Éric Rutten

Détail

[Research Report], 2007, pp. 35. RR-6137

Accès au texte intégral et bibtex

Titre

Automatic Test Generation from Interprocedural Specifications

Auteurs

Bertrand Jeannet; Thierry Jéron; Camille Constant

Détail

[Research Report], 2007, pp. 19. PI 1835

Accès au texte intégral et bibtex

Titre

Analysis of Communicating Infinite State Machines using Lattice Automata

Auteurs

Tristan Le Gall; Bertrand Jeannet

Détail

[Research Report], 2007, pp. 36

Accès au bibtex

Titre

Analysis of Communicating Infinite State Machines using Lattice Automata

Auteurs

Tristan Le Gall; Bertrand Jeannet

Détail

[Research Report], 2007, pp. 36. PI 1839

Accès au texte intégral et bibtex

Titre

Model Transformations from a Data Parallel Formalism towards Synchronous Languages

Auteurs

Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser

Détail

[Research Report], 2007. RR-6291

Accès au texte intégral et bibtex

Titre

Revisiting the bicriteria (length,reliability) multiprocessor static scheduling problem

Auteurs

Alain Girault; Hamoudi Kalla

Détail

[Research Report], 2007, pp. 36. RR-6319

Accès au texte intégral et bibtex

Titre

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs

Auteurs

Gwenaël Delaval; Alain Girault; Marc Pouzet

Détail

[Research Report], 2007. RR-6378

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Challenging Questions for the Rationale of Non-Classical Programming Languages

Auteurs

Olivier Michel; Jean-Pierre Banâtre; Pascal Fradet; Jean-Louis Giavitto

Détail

International Journal of Unconventional Computing, 2006, 2, pp. 337-347

Accès au texte intégral et bibtex

Communications avec actes

Titre

Automated Translation of C/C++ Models into a Synchronous Formalism

Auteurs

Hamoudi Kalla; Jean-Pierre Talpin; David Berner; Loïc Besnard

Détail

13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS '06, Mar 2006, Potsdam, Germany. IEEE Computer Society, pp. 426-436

Accès au texte intégral et bibtex

Titre

Control and Real-time Scheduling Co-design : Application to Robust Robot Control

Auteurs

Daniel Simon; David Robert; Olivier Sename

Détail

3rd Taiwanese-French Conference on Information Technology TFIT'06, Mar 2006, Nancy, France.

Accès au texte intégral et bibtex

Titre

Synthesis of a sampling period dependent controller using LPV approach

Auteurs

David Robert; Olivier Sename; Daniel Simon

Détail

5th IFAC Symposium on Robust Control Design ROCOND'06, Jul 2006, Toulouse, France.

Accès au bibtex

Titre

The Orccad Robot Control Architecture and Tools in Space Applications

Auteurs

Konstantinos Kapellos; Daniel Simon; Roger Pissard-Gibollet; Bernard Espiau

Détail

9th ESAWorkshop on Advanced Space Technologies for Robotics and Automation ASTRA'06, Nov 2006, Noordwijk, Netherlands. pp. ...

Accès au bibtex

Titre

Orccad, a framework for safe robot control design and implementation

Auteurs

Daniel Simon; Roger Pissard-Gibollet; Soraya Arias

Détail

1st National Workshop on Control Architectures of Robots : software approaches and issues CAR'06, Apr 2006, Montpellier, France.

Accès au texte intégral et bibtex

Titre

Model-Based Test Selection for Infinite-State Reactive Systems

Auteurs

Bertrand Jeannet; Thierry Jéron; Vlad Rusu

Détail

Formal Methods for Components and Objects, 2006, Amsterdam, Netherlands.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Conception conjointe commande/ordonnancement et ordonnancement régulé

Auteurs

Daniel Simon; Olivier Sename; David Robert

Détail

Nicolas Navet. Systèmes temps-réel, tome 2: Ordonnancement, Réseaux, Qualité de Service, Hermes, 2006, IC2

Accès au bibtex

HDR

Titre

Contributions à la conception sûre des systèmes embarqués sûrs

Auteurs

Alain Girault

Détail

Institut National Polytechnique de Grenoble - INPG, Sep. 2006. French

Accès au texte intégral et bibtex

Autres publications

Titre

Towards a Common Aspect Semantic Base (CASB), Deliverable 54

Auteurs

Simplice Djoko Djoko; Rémi Douence; Pascal Fradet; Didier Lebotlan

Détail

Aug. 2006. Towards a Common Aspect Semantic Base (CASB)

Accès au bibtex

Rapports

Titre

Modeling and Compositional Analysis of Genetic Regulatory Networks

Auteurs

Gregor Gössler

Détail

[Research Report], 2006. RR-5801

Accès au texte intégral et bibtex

Titre

Implementing Fault-Tolerance in Real-Time Systems by Program Transformations

Auteurs

Tolga Ayav; Pascal Fradet; Alain Girault

Détail

[Research Report], 2006. RR-5919

Accès au texte intégral et bibtex

Titre

Component-based Design of Heterogeneous Reactive Systems in Prometheus

Auteurs

Gregor Goessler

Détail

[Research Report], 2006, pp. 18. RR-6057

Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre

Design of real-time periodic control systems through synchronization and fixed priorities

Auteurs

Daniel Simon; Fanny Benattar

Détail

International Journal of Systems Science, Taylor&Francis, 2005, 36 (2), pp. 57-76

Accès au texte intégral et bibtex

Titre

The next 700 Krivine Machines

Auteurs

Rémi Douence; Pascal Fradet

Détail

Higher-Order and Symbolic Computation, Kluwer Academic Publisher, 2005

Accès au texte intégral et bibtex

Communications avec actes

Titre

A domain-specific language for task handlers generation, applying discrete controller synthesis

Auteurs

Gwenaël Delaval; Éric Rutten

Détail

ACM Symposium on Applied Computing, Apr 2006, Dijon/France.

Accès au texte intégral et bibtex

Titre

Sampling period dependent RST controller used in control/scheduling co-design

Auteurs

David Robert; Olivier Sename; Daniel Simon

Détail

16th IFAC 2005 World Conference, Jul 2005, Prague.

Accès au texte intégral et bibtex

Titre

Robust control/scheduling co-design: application to robot control

Auteurs

Daniel Simon; David Robert; Olivier Sename

Détail

RTAS'05 11th IEEE Real-Time and Embedded Technology and Applications Symposium, Mar 2005, San Francisco, CA, USA.

Accès au texte intégral et bibtex

Titre

Challenging Questions for the Rationals of Non-Classical Programming Languages

Auteurs

Olivier Michel; Jean-Pierre Banâtre; Pascal Fradet; Jean-Louis Giavitto

Détail

The Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp. 93-103

Accès au texte intégral et bibtex

Titre

Towards Grid Chemical Coordination (short paper)

Auteurs

Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac

Détail

Symposium on Applied Computing, Apr 2006, Dijon.

Accès au texte intégral et bibtex

Titre

Higher-order Chemical Programming Style

Auteurs

Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac

Détail

Unconventional Programming Paradigms, Sep 2004, Mont Saint-Michel.

Accès au texte intégral et bibtex

Titre

Principles of Chemical Programming

Auteurs

Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac

Détail

5th International Workshop on Rule-Based Programming, Jun 2004, Aachen.

Accès au texte intégral et bibtex

Titre

A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets

Auteurs

Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac

Détail

First International Workshop on New Developments in Computational Models, Jul 2005, Lisbon.

Accès au texte intégral et bibtex

Titre

Systèmes de gestion de ressources et aspects de disponibilité

Auteurs

Pascal Fradet; Stéphane Hong Tuan Ha

Détail

2ème Journée Francophone sur le Développement de Logiciels Par Aspects, Sep 2005, Lille. Hermès, Développement de logiciels par aspects : JFDLPA 2005, 2006, vol. 12, n° 2-3, pp. 183-210, L'Objet : revue des Sciences et Technologies de l'Information

Accès au texte intégral et bibtex

Cours

Titre

Conception conjointe commande/ordonnancement et ordonnancement régulé

Auteurs

Daniel Simon

Détail

Ecole thématique. ÉCOLE D'ÉTÉ TEMPS RÉEL 2005 GdR Architecture, Réseaux et systèmes, Parallélisme (ARP) Thème Systèmes Temps-Réel et Qualité de Services (StrQdS) http://etr05.loria.fr/ Nancy, 13 - 16 Septembre 2005, 2005

Accès au texte intégral et bibtex

Directions d'ouvrages

Titre

Unconventional Programming Paradigms (UPP'04)

Auteurs

Jean-Pierre Banâtre; Pascal Fradet; Jean-Louis Giavitto; Olivier Michel

Détail

Springer Verlag, pp. n.a., 2005

Accès au bibtex

Rapports

Titre

A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis

Auteurs

Gwenaël Delaval; Éric Rutten

Détail

[Research Report], 2005, pp. 44. RR-5690

Accès au texte intégral et bibtex

Titre

Reach Scheduling for Embedded Systems

Auteurs

Gregor Gössler

Détail

[Report], 2005. RR-5651

Accès au texte intégral et bibtex

Titre

Generalized Multisets for Chemical Programming

Auteurs

Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac

Détail

[Research Report], 2005, pp. 26. PI 1762

Accès au texte intégral et bibtex

Titre

Generalized Multisets for Chemical Programming

Auteurs

Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac

Détail

[Research Report], 2005, pp. 26. RR-5743

Accès au texte intégral et bibtex

2004

Communications avec actes

Titre

Network Fusion

Auteurs

Pascal Fradet; Stéphane Hong Tuan Ha

Détail

Asian Symposium on Programming Languages and Systems, Nov 2004, Taipei, Taiwan.

Accès au texte intégral et bibtex

Titre

Composition, reuse and interaction analysis of stateful aspects

Auteurs

Rémi Douence; Pascal Fradet; Mario Südholt

Détail

3rd International Conferance on Aspect-Oriented Software Development, Mar 2004, Lancaster, UK.

Accès au texte intégral et bibtex

Titre

Chemical Specification of Autonomic Systems

Auteurs

Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac

Détail

13th International Conference on Intelligent and Adaptive Systems and Software Engineering, Jul 2004, Nice.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Trace-Based Aspects

Auteurs

Rémi Douence; Pascal Fradet; Mario Südholt

Détail

Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004

Accès au texte intégral et bibtex

Rapports

Titre

Automatic Generation of Safe Handlers for Multi-Task Systems

Auteurs

Éric Rutten; Hervé Marchand

Détail

[Research Report], 2004. RR-5345

Accès au texte intégral et bibtex

Titre

Priority Systems

Auteurs

Gregor Gössler; Joseph Sifakis

Détail

[Research Report], 2004. RR-5226

Accès au texte intégral et bibtex

Thèses

Titre

Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes

Auteurs

Hamoudi Kalla

Détail

mathématiques et informatique. Institut National Polytechnique de Grenoble - INPG, Dec. 2004. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis

Auteurs

Emil Dumitrescu; Alain Girault; Éric Rutten

Détail

Jan. 2004

Accès au texte intégral et bibtex

2003

Communications avec actes

Titre

An algorithm for automatically obtaining distributed and fault-tolerant static schedules

Auteurs

Alain Girault; Hamoudi Kalla; Mihaela Sighireanu; Yves Sorel

Détail

Jun 2003. IEEE, pp. 165-190

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking

Auteurs

Emil Dumitrescu

Détail

Nov. 2003

Accès au texte intégral et bibtex