Search results for "Éric Rutten"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten	Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study	CoRR	2011	DBLP BibTeX RDF
1	Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Éric Rutten, Mohamed Moez Yeddes	An approach for the synthesis of decentralised supervisors for distributed adaptive systems.	IJCCBS	2011	DBLP DOI BibTeX RDF
1	Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten	Synchronous control of reconfiguration in fractal component-based systems: a case study.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser	Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation.	IJES	2010	DBLP DOI BibTeX RDF
1	Sara Bouchenak, Éric Rutten	Summary of the 5th international workshop on feedback control implementation and design in computing systems and networks (FeBID 2010).	Operating Systems Review	2010	DBLP DOI BibTeX RDF
1	Abdoulaye Gamatié, Vlad Rusu, Éric Rutten	Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design.	ISPDC	2010	DBLP DOI BibTeX RDF	Marte Repetitive Structure Modeling, correctness, operational semantics, data-parallelism
1	Gwenaël Delaval, Éric Rutten	Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model.	CBSE	2010	DBLP DOI BibTeX RDF
1	Sébastien Guillet, Florent de Lamotte, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet	Modeling and Formal Control of Partial Dynamic Reconfiguration.	ReConFig	2010	DBLP DOI BibTeX RDF
1	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
1	Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser	Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems.	Scalable Computing: Practice and Experience	2009	DBLP BibTeX RDF
1	Éric Rutten, Hervé Marchand	Automatic generation of safe handlers for multi-task systems.	J. Embedded Computing	2009	DBLP DOI BibTeX RDF
1	Alain Girault, Éric Rutten	Preface.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Alain Girault, Éric Rutten	Automating the addition of fault tolerance with discrete controller synthesis.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten	A Case Study on Controller Synthesis for Data-Intensive Embedded Systems.	ICESS	2009	DBLP DOI BibTeX RDF
1	Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten	Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.	EURASIP J. Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser	Synchronous Modeling and Analysis of Data Intensive Applications.	EURASIP J. Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser	Safe design of high-performance embedded systems in an MDE framework.	ISSE	2008	DBLP DOI BibTeX RDF	High-performance embedded systems, Gaspard2, SIGALI, Mode automata, Synchronous languages, MARTE, Formal validation
1	Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser	Modeling and Formal Validation of High-Performance Embedded Systems.	ISPDC	2008	DBLP DOI BibTeX RDF
1	Éric Rutten	Reactive control of adaptive embedded systems: a position paper.	ARM	2008	DBLP DOI BibTeX RDF	behavior enforcement, control of adaptation, discrete control theory, self-configuration
1	Gwenaël Delaval, Éric Rutten	A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis.	EURASIP J. Emb. Sys.	2007	DBLP DOI BibTeX RDF
1	Hassane Alla, René K. Boel, Éric Rutten	Editorial.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF
1	Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser	Model Transformations from a Data Parallel Formalism towards Synchronous Languages.	FDL	2007	DBLP BibTeX RDF
1	Gwenaël Delaval, Éric Rutten	A domain-specific language for task handlers generation, applying discrete controller synthesis.	SAC	2006	DBLP DOI BibTeX RDF	discrete control synthesis, safe design, real-time systems, domain-specific language, synchronous programming
1	Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet	UML2 Profile for Modeling Controlled Data Parallel Applications.	FDL	2006	DBLP BibTeX RDF
1	Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser	Safe Design Methodology for an Intelligent Cruise Control System with GPS.	VTC Fall	2006	DBLP DOI BibTeX RDF
1	Alain Girault, Éric Rutten	Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Florence Maraninchi, Alain Girault, Éric Rutten	Foreword.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten	Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.	ESOP	2003	DBLP DOI BibTeX RDF
1	Florence Maraninchi, Alain Girault, Éric Rutten	Preface.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Hervé Marchand, Éric Rutten	Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis.	ECRTS	2002	DBLP DOI BibTeX RDF
1	Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan	Formal verification of programs specified with signal: application to a power transformer station controller.	Sci. Comput. Program.	2001	DBLP DOI BibTeX RDF
1	Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang	Modeling statecharts and activitycharts as signal equations.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages
1	Éric Rutten	A Framework for Using Discrete Control Synthesis in Safe Robotic Programming and Teleoperation.	ICRA	2001	DBLP BibTeX RDF
1	Fernando Jiménez-Fraustro, Éric Rutten	A Synchronous Model of IEC 61131 PLC Languages in SIGNAL.	ECRTS	2001	DBLP DOI BibTeX RDF	IEC 61131, programming languages, formal model, tool support, SIGNAL, synchronous languages, PLCs (programmable logic controllers)
1	Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier	A Translation of Statecharts into Signal Approach of Time, Interoperability.	ACSD	1998	DBLP DOI BibTeX RDF
1	Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar	Taxonomy and Expressiveness of Preemption: A Syntactic Approach.	ASIAN	1998	DBLP DOI BibTeX RDF
1	Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan	Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller.	AMAST	1996	DBLP DOI BibTeX RDF
1	Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar	Preemption Primitives in Reactive Languages (A Preliminary Report).	ASIAN	1995	DBLP DOI BibTeX RDF
1	Stéphane Donikian, Éric Rutten	Reactivity, Concurrency, Data-flow and Hierarchical Preemption for Behavioural Animation.	Eurographics Workshop on Programming Paradigms in Graphics	1995	DBLP BibTeX RDF
1	Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten	SIGNAL.	Formal Development of Reactive Systems	1995	DBLP BibTeX RDF
1	Éric Rutten, Joachim Hertzberg	Temporal Planner = Nonlinear Planner + Time Map Manager.	AI Commun.	1993	DBLP BibTeX RDF
1	Éric Rutten, Lionel Marcé	An imperative language for task-level planning: Definition in temporal logic.	AI in Engineering	1993	DBLP DOI BibTeX RDF
1	Éric Rutten	A Temporal Representation for Imperatively Structured Plans of Actions.	EPIA	1991	DBLP DOI BibTeX RDF
1	Éric Rutten, Lionel Marcé	Temporal Logics and Structured Plans.	SCAI	1989	DBLP BibTeX RDF

Publications of "Éric Rutten" ( http://dblp.L3S.de/Authors/Éric_Rutten )