Search results for "esterel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
183	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming
155	Xin Li 0020, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden	An Esterel processor with full preemption support and its worst case reaction time analysis.	CASES	2005	DBLP DOI BibTeX RDF	reaction time analysis, reactive processing, WCET, synchronous languages, Esterel
155	Basant Rajan, R. K. Shyamasundar	Multiclock Esterel: A Reactive Framework for Asynchronous Design.	IPDPS	2000	DBLP DOI BibTeX RDF	VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel
127	Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden	Synthesizing safe state machines from Esterel.	LCTES	2006	DBLP DOI BibTeX RDF	SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel
113	Xin Li 0020, Marian Boldt, Reinhard von Hanxleden	Mapping esterel onto a multi-threaded embedded processor.	ASPLOS	2006	DBLP DOI BibTeX RDF	low-power processing, concurrency, reactive systems, multi-threading, esterel
113	Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne	Towards direct execution of esterel programs on reactive processors.	EMSOFT	2004	DBLP DOI BibTeX RDF	ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures
106	Gérard Berry, Ellen Sentovich	Multiclock Esterel.	CHARME	2001	DBLP DOI BibTeX RDF
106	Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar	A Translation of Statecharts to Esterel.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
99	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Timing analysis of esterel programs on general-purpose multiprocessors.	DAC	2010	DBLP DOI BibTeX RDF	multiprocessor, timing analysis, synchronous language, esterel
99	Lei Ju 0001, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury	Context-sensitive timing analysis of Esterel programs.	DAC	2009	DBLP DOI BibTeX RDF	worst-case execution time (WCET) analysis, Esterel, synchronous programming
92	Stephen A. Edwards	An Esterel compiler for large control-dominated systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
92	Basant Rajan, R. K. Shyamasundar	Modeling VHDL in Multiclock ESTEREL.	VLSI Design	2000	DBLP DOI BibTeX RDF
92	Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen	Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.	CAV	1995	DBLP DOI BibTeX RDF
85	Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden	HW/SW co-design for Esterel processing.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	reactive processing, synchronous languages, Esterel, HW/SW co-design
85	Ivan Radojevic, Zoran A. Salcic, Partha S. Roop	Modeling Embedded Systems: From SystemC and Esterel to DFCharts.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	models of computation (MoC), specification, SystemC, heterogeneous systems, Esterel
78	Charles André, Frédéric Mallet	Specification and verification of time requirements with CCSL and Esterel.	LCTES	2009	DBLP DOI BibTeX RDF	synchronous languages, uml, marte, time model
78	Olivier Tardieu	A deterministic logical semantics for pure Esterel.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Synchronous languages, structural operational semantics
78	Olivier Tardieu, Stephen A. Edwards	Approximate Reachability for Dead Code Elimination in Esterel.	ATVA	2005	DBLP DOI BibTeX RDF
78	Gérard Berry	Esterel v7: From Verified Formal Specification to Efficient Industrial Designs.	FASE	2005	DBLP DOI BibTeX RDF
78	Dumitru Potop-Butucaru, Robert de Simone	Optimizations for Faster Execution of Esterel Programs.	MEMOCODE	2003	DBLP DOI BibTeX RDF
77	R. K. Shyamasundar, J. V. Aghav	Validating Real-Time Constraints in Embedded Systems.	PRDC	2001	DBLP DOI BibTeX RDF	Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems
71	Xin Li 0020, Reinhard von Hanxleden	A concurrent reactive Esterel processor based on multi-threading.	SAC	2006	DBLP DOI BibTeX RDF	multithreading, processor architecture, synchronous languages, esterel
64	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
64	Olivier Tardieu, Robert de Simone	Loops in esterel.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	static analysis, code generation, Synchronous languages
64	Siddharth R. Phanse, R. K. Shyamasundar	Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model.	VLSI Design	2001	DBLP DOI BibTeX RDF
64	Stephen A. Edwards	Compiling Esterel into sequential code.	DAC	2000	DBLP DOI BibTeX RDF
64	Klaus Schneider 0001, Viktor K. Sabelfeld	Introducing Mutual Exclusion in Esterel.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
64	S. Ramesh 0001, Purandar Bhaduri	Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study.	CAV	1999	DBLP DOI BibTeX RDF
64	Gérard Berry	Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract).	CHARME	1999	DBLP DOI BibTeX RDF
57	Sylvan Dissoubray, Bernard Dion	Design of an Automatic Teller Machine with Esterel Studio.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Esterel Studio, Graphical animation, Formal verification, Reactive systems, Automatic code generation
56	Gérard Berry, Michael Kishinevsky, Satnam Singh	System Level Design and Verification Using a Synchronous Language.	ICCAD	2003	DBLP DOI BibTeX RDF
56	A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar	A Graphical Environment for the Specification and Verification of Reactive Systems.	SAFECOMP	1999	DBLP DOI BibTeX RDF
50	Peter Rössler, Martin Zauner	Evaluation of an Esterel-based hardware/software co-design flow.	SIES	2009	DBLP DOI BibTeX RDF
50	Olivier Tardieu, Robert de Simone	Curing schizophrenia by program rewriting in Esterel.	MEMOCODE	2004	DBLP DOI BibTeX RDF
50	Laurent Arditi, Gérard Berry, Michael Kishinevsky	Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs.	FMCAD	2004	DBLP DOI BibTeX RDF
50	Olivier Tardieu, Robert de Simone	Instantaneous Termination in Pure Esterel.	SAS	2003	DBLP DOI BibTeX RDF
50	Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor	Cronos: A Separate Compilation Toolset for Modular Esterel Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
50	Dominique Clément, Janet Incerpi	Specifying the Behavior of Graphical Objects Using Esterel.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
49	Jia Zeng, Cristian Soviani, Stephen A. Edwards	Generating fast code from concurrent program dependence graphs.	LCTES	2004	DBLP DOI BibTeX RDF	sequencial, concurrent, esterel, program dependence graph
49	Yunjian Jiang, Robert K. Brayton	Logic optimization and code generation for embedded control applications.	CODES	2001	DBLP DOI BibTeX RDF	code generation, MDD, Esterel, logic optimization, multiple-valued
45	Gérard Berry	Circuit design and verication with Esterel v7 and Esterel Studio.	HLDVT	2007	DBLP DOI BibTeX RDF
44	Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou	Efficient compilation of ESTEREL for real-time embedded systems.	CASES	2000	DBLP DOI BibTeX RDF	reactive applications, embedded systems, real-time, compilation, synchronous, automata, ESTEREL
42	Klaus Schneider 0001	Proving the Equivalence of Microstep and Macrostep Semantics.	TPHOLs	2002	DBLP DOI BibTeX RDF
42	Gerald Lüttgen, Michael Mendler	Axiomatizing an Algebra of Step Reactions for Synchronous Languages.	CONCUR	2002	DBLP DOI BibTeX RDF
42	Mesfin Belachew, R. K. Shyamasundar	MSC+: From Requirement to Prototyped Systems.	ECRTS	2001	DBLP DOI BibTeX RDF	hMSCs, Requirement Specification, Preemption, MSCs
42	Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar	Communicating Reactive Processes.	POPL	1993	DBLP DOI BibTeX RDF	CSP, CSP
36	Satnam Singh	Design and Verification of CoreConnectTM IP Using Esterel.	CHARME	2003	DBLP DOI BibTeX RDF
36	André Chátelain, Yves Mathys, Giovanni Placido, Alberto La Rosa, Luciano Lavagno	High-level architectural co-simulation using Esterel and C.	CODES	2001	DBLP DOI BibTeX RDF
36	Frédéric Mallet, Fernand Boéri	Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach.	EUROMICRO	1999	DBLP DOI BibTeX RDF
36	Amar Bouali	XEVE, an ESTEREL Verification Environment.	CAV	1998	DBLP DOI BibTeX RDF
36	Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno	Asynchronous Implementation of Synchronous Esterel Specifications.	VLSI Design	1997	DBLP DOI BibTeX RDF
36	Robert de Simone, Annie Ressouche	Compositional Semantics of ESTEREL and Verification by Compositional Reductions.	CAV	1994	DBLP DOI BibTeX RDF
35	Victor Berman	Standards: DASC sees moves toward formality in design.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	Rosetta, Esterel version 7, system-level design language
35	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
35	Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen	A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment
35	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications.	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
28	Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic	The SystemJ approach to system-level design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
28	Moonzoo Kim, Kyo Chul Kang	Formal Construction and Verification of Home Service Robots: A Case Study.	ATVA	2005	DBLP DOI BibTeX RDF
28	Louis Mandel, Marc Pouzet	ReactiveML: a reactive extension to ML.	PPDP	2005	DBLP DOI BibTeX RDF	semantics, functional programming, reactive programming
28	Klaus Schneider 0001	Embedding Imperative Synchronous Languages in Interactive Theorem Provers.	ACSD	2001	DBLP DOI BibTeX RDF
28	Gérard Berry	Synchronous Programming Techniques for Embedded Systems: Present and Future.	EMSOFT	2001	DBLP DOI BibTeX RDF
28	Frédéric Bertrand, Michel Augeraud	BDL: A Specialized Language for Per-Object Reactive Control.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	control of behavior, reactive languages, verification, Concurrent object-oriented programming
28	Samuel Devulder, Jean-Luc Lambert	A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods.	ASE	1999	DBLP DOI BibTeX RDF
28	Agathe Merceron, Monika Müllerburg, G. Michele Pinna	Verifying a Time-Triggered Protocol in a Multi-language Environment.	SAFECOMP	1998	DBLP DOI BibTeX RDF
28	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
28	Gérard Berry	Preemption in Concurrent Systems.	FSTTCS	1993	DBLP DOI BibTeX RDF
22	Yahui Song, Wei-Ngan Chin	A Synchronous Effects Logic for Temporal Verification of Pure Esterel.	VMCAI	2021	DBLP DOI BibTeX RDF
22	Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler	A calculus for Esterel: if can, can. if no can, no can.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
22	Gérard Berry, Lionel Rieg	Towards Coq-verified Esterel Semantics and Compiling.	CoRR	2019	DBLP BibTeX RDF
22	Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler	SCEst: Sequentially Constructive Esterel.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
22	Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler	On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.	ACSD	2018	DBLP DOI BibTeX RDF
22	Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler	SCEst: Sequentially constructive esterel.	MEMOCODE	2015	DBLP DOI BibTeX RDF
22	Nir Koblenc, Shmuel S. Tyszberowicz	Behavior-preserving abstraction of ESTEREL programs.	FedCSIS	2015	DBLP DOI BibTeX RDF
22	Gregory Mone	Q&A: From Esterel to HipHop.	Commun. ACM	2014	DBLP DOI BibTeX RDF
22	Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, Taisook Han	Detection of harmful schizophrenic statements in esterel.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
22	Mohammad Reza Mousavi 0001	Esterel and the Semantics of Causality.	Handbook of Finite State Based Models and Applications	2012	DBLP DOI BibTeX RDF
22	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	Real Time Syst.	2012	DBLP DOI BibTeX RDF
22	Xin Li 0020, Reinhard von Hanxleden	Multithreaded Reactive Programming - the Kiel Esterel Processor.	IEEE Trans. Computers	2012	DBLP DOI BibTeX RDF
22	Simon Yuan, Li Hsien Yoong, Partha S. Roop	Compiling Esterel for Multi-core Execution.	DSD	2011	DBLP DOI BibTeX RDF
22	Satnam Singh	Design and verification of peripheral control circuits in Esterel.	Concurr. Comput. Pract. Exp.	2010	DBLP DOI BibTeX RDF
22	Li Hsien Yoong, Partha S. Roop	Verifying IEC 61499 Function Blocks Using Esterel.	IEEE Embed. Syst. Lett.	2010	DBLP DOI BibTeX RDF
22	Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han	Over-Approximated Control Flow Graph Construction on Pure Esterel.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
22	Simon Yuan, Li Hsien Yoong, Sidharta Andalam, Partha S. Roop, Zoran Salcic	A New Multithreaded Architecture Supporting Direct Execution of Esterel.	EURASIP J. Embed. Syst.	2009	DBLP DOI BibTeX RDF
22	Mohammad Reza Mousavi 0001	Causality in the Semantics of Esterel: Revisited	SOS	2009	DBLP DOI BibTeX RDF
22	Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe	Refining schizophrenia via graph reachability in Esterel.	MEMOCODE	2009	DBLP DOI BibTeX RDF
22	Michael Mendler, Reinhard von Hanxleden, Claus Traulsen	WCRT algebra and interfaces for esterel-style synchronous processing.	DATE	2009	DBLP DOI BibTeX RDF
22	Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic	STARPro - A new multithreaded direct execution platform for Esterel.	SLAP@ETAPS	2008	DBLP DOI BibTeX RDF
22	David H. White 0001, Gerald Lüttgen	Embedded Systems Programming: Accessing Databases from Esterel.	EURASIP J. Embed. Syst.	2008	DBLP DOI BibTeX RDF
22	Marian Boldt, Claus Traulsen, Reinhard von Hanxleden	Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing.	EURASIP J. Embed. Syst.	2008	DBLP DOI BibTeX RDF
22	André Cotton, Oana Dini, Antonio Fernandez Gómez-Skarmeta, Mihaela Ion, Manuela Popescu, Masaru Takesue (eds.)	Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2008, August 25-31, 2008, Cap Esterel, France	SECURWARE	2008	DBLP BibTeX RDF
22	Wolfgang Boehmer	Appraisal of the Effectiveness and Efficiency of an Information Security Management System Based on ISO 27001.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Katarzyna Michalska, Tomasz Walkowiak	Hierarchical Approach to Dependability Analysis of Information Systems by Modeling and Simulation.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Jérémy Briffaut, Jean-François Lalande, Waleed W. Smari	Team--Based MAC Policy over Security--Enhanced Linux.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Daniel J. Martinez, Juan M. Marin, Jorge Bernal Bernabé, Manuel Gil Pérez, Antonio Fernandez Gómez-Skarmeta	Design-Time Learning for Operational Planning Improvement.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Dariusz Caban, Wojciech Zamojski	Dependability Analysis of Information Systems with Hierarchical Reconfiguration of Services.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Nuno Amálio, George Spanoudakis	From Monitoring Templates to Security Monitoring and Threat Detection.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Sandhya Khurana, Neelima Gupta	FEEPVR: First End-to-End Protocol to Secure Ad Hoc Networks with Variable Ranges against Wormhole Attacks.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Wilson Goudalo, Dominique Seret	Toward the Engineering of Security of Information Systems (ESIS): UML and the IS Confidentiality.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Carlos Aguilar Melchor, Benoît Crespin, Philippe Gaborit, Vincent Jolivet, Pierre Rousseau	High-Speed Private Information Retrieval Computation on GPU.	SECURWARE	2008	DBLP DOI BibTeX RDF
22	Thomas Gamer, Christoph P. Mayer, Martina Zitterbart	Distack -- A Framework for Anomaly-Based Large-Scale Attack Detection.	SECURWARE	2008	DBLP DOI BibTeX RDF