Search results for "Esterel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Zoran A. Salcic, Partha S. Roop, Morteza Biglari-Abhari, Abbas Bigdeli	REFLIX: A Processor Core for Reactive Embedded Applications.	FPL	2002	DBLP DOI BibTeX RDF
14	Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé	Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System.	FME	2001	DBLP DOI BibTeX RDF
14	Paritosh K. Pandya	Model Checking CTL*[DC].	TACAS	2001	DBLP DOI BibTeX RDF
14	Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis	Towards validated real-time software.	ECRTS	2000	DBLP DOI BibTeX RDF
14	Florence Maraninchi, Yann Rémond, Yannick Raoul	MATOU: An Implementation of Mode-Automata.	CC	2000	DBLP DOI BibTeX RDF
14	Charles André, Marie-Agnès Peraldi-Frati	Behavioral Specification of a Circuit Using SyncCharts: A Case Study.	EUROMICRO	2000	DBLP DOI BibTeX RDF
14	Thomas Ringler	Static Worst-Case Execution Time Analysis of Synchronous Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
14	Victor L. Winter	A Synchronous Paradigm for Modeling Stable Reactive Systems.	HASE	1999	DBLP DOI BibTeX RDF
14	Simin Nadjm-Tehrani	Integration of Analog and Discrete Synchronous Design.	HSCC	1999	DBLP DOI BibTeX RDF
14	Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau	Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD .	RTCSA	1999	DBLP DOI BibTeX RDF	continuous/discrete time, control oriented applications, formal verification, programming environment, synchronous programming
14	Reinhard Budde, G. Michele Pinna, Axel Poigné	Coordination of Synchronous Programs.	COORDINATION	1999	DBLP DOI BibTeX RDF
14	Michael Gunzert, Andreas Nägele	Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components.	PDSE	1999	DBLP DOI BibTeX RDF
14	Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Modeling reactive systems in Java.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	simulation, Java, prototyping, high level design
14	Alberto Valderruten, Javier Mosquera, Víctor M. Gulías	Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF	Synchronous Reactive Models, Multithreaded Runtime Systems, Simulation and Monitoring, Functional Programming, Instrumentation, Performance Engineering, Model Development
14	Olivier Potonniée, Jean-Bernard Stefani	Synchronous Thread Management in a Distributed Operating System's Micro Kernel.	Euro-Par	1997	DBLP DOI BibTeX RDF	thread management, deterministic systems, distributed systems, real-time systems, Synchronous programming
14	Paul Caspi, Alain Girault	Distributing Finite Transition Systems Extended Abstract.	PARLE	1992	DBLP DOI BibTeX RDF
14	Florence Maraninchi	Operational and Compositional Semantics of Synchronous Automaton Compositions.	CONCUR	1992	DBLP DOI BibTeX RDF
14	Yves Bertot	Implementation of an Interpreter for a Parallel Language in Centaur.	ESOP	1990	DBLP DOI BibTeX RDF
14	Florence Maraninchi	Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF

Displaying result #401 - #419 of 419 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]