Search results for "Esterel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Lei Ju, 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
3	Lei Ju, 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
3	Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming
3	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
3	Ivan Radojevic, Zoran A. Salcic, Partha S. Roop	Modeling Embedded Systems: From SystemC and Esterel to DFCharts.	IEEE Design & Test of Computers	2006	DBLP DOI BibTeX RDF	models of computation (MoC), specification, SystemC, heterogeneous systems, Esterel
3	Xin Li, 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
3	Xin Li, Reinhard von Hanxleden	A concurrent reactive Esterel processor based on multi-threading.	SAC	2006	DBLP DOI BibTeX RDF	multithreading, processor architecture, synchronous languages, esterel
3	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
3	Xin Li, 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
3	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
3	Sylvan Dissoubray, Bernard Dion	Design of an Automatic Teller Machine with Esterel Studio.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Esterel Studio, Graphical animation, Formal verification, Reactive systems, Automatic code generation
3	Basant Rajan, R. K. Shyamasundar	Multiclock Esterel: A Reactive Framework for Asynchronous Design. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF	VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel
2	Peter Roessler, Martin Zauner	Evaluation of an Esterel-based hardware/software co-design flow.	SIES	2009	DBLP DOI BibTeX RDF
2	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
2	Olivier Tardieu	A deterministic logical semantics for pure Esterel.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Synchronous languages, structural operational semantics
2	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
2	Victor Berman	Standards: DASC sees moves toward formality in design.	IEEE Design & Test of Computers	2006	DBLP DOI BibTeX RDF	Rosetta, Esterel version 7, system-level design language
2	Olivier Tardieu, Robert de Simone	Loops in esterel.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	static analysis, code generation, Synchronous languages
2	Olivier Tardieu, Stephen A. Edwards	Approximate Reachability for Dead Code Elimination in Esterel.	ATVA	2005	DBLP DOI BibTeX RDF
2	Gérard Berry	Esterel v7: From Verified Formal Specification to Efficient Industrial Designs.	FASE	2005	DBLP DOI BibTeX RDF
2	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	STTT	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
2	Olivier Tardieu, Robert de Simone	Curing schizophrenia by program rewriting in Esterel.	MEMOCODE	2004	DBLP DOI BibTeX RDF
2	Laurent Arditi, Gérard Berry, Michael Kishinevsky	Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs.	FMCAD	2004	DBLP DOI BibTeX RDF
2	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
2	Dumitru Potop-Butucaru, Robert de Simone	Optimizations for Faster Execution of Esterel Programs.	MEMOCODE	2003	DBLP DOI BibTeX RDF
2	Satnam Singh	Design and Verification of CoreConnectTM IP Using Esterel.	CHARME	2003	DBLP DOI BibTeX RDF
2	Olivier Tardieu, Robert de Simone	Instantaneous Termination in Pure Esterel.	SAS	2003	DBLP DOI BibTeX RDF
2	Stephen A. Edwards	An Esterel compiler for large control-dominated systems.	IEEE Trans. on CAD of Integrated Circuits and Systems	2002	DBLP DOI BibTeX RDF
2	Gérard Berry, Ellen Sentovich	Multiclock Esterel.	CHARME	2001	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	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
2	Stephen A. Edwards	Compiling Esterel into sequential code.	DAC	2000	DBLP DOI BibTeX RDF
2	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
2	Basant Rajan, R. K. Shyamasundar	Modeling VHDL in Multiclock ESTEREL.	VLSI Design	2000	DBLP DOI BibTeX RDF
2	Klaus Schneider, Viktor K. Sabelfeld	Introducing Mutual Exclusion in Esterel.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
2	Gérard Berry	Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract).	CHARME	1999	DBLP DOI BibTeX RDF
2	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
2	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
2	S. Ramesh, Purandar Bhaduri	Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study.	CAV	1999	DBLP DOI BibTeX RDF
2	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
2	Amar Bouali	XEVE, an ESTEREL Verification Environment.	CAV	1998	DBLP DOI BibTeX RDF
2	Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno	Asynchronous Implementation of Synchronous Esterel Specifications.	VLSI Design	1997	DBLP DOI BibTeX RDF
2	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications. (PDF / PS)	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
2	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
2	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
2	Robert de Simone, Annie Ressouche	Compositional Semantics of ESTEREL and Verification by Compositional Reductions.	CAV	1994	DBLP DOI BibTeX RDF
2	Dominique Clément, Janet Incerpi	Specifying the Behavior of Graphical Objects Using Esterel.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
1	Xin Li, Reinhard von Hanxleden	Multithreaded Reactive Programming - the Kiel Esterel Processor.	IEEE Trans. Computers	2012	DBLP DOI BibTeX RDF
1	Simon Yuan, Li Hsien Yoong, Partha S. Roop	Compiling Esterel for Multi-core Execution.	DSD	2011	DBLP DOI BibTeX RDF
1	S. Singh	Design and verification of peripheral control circuits in Esterel.	Concurrency and Computation: Practice and Experience	2010	DBLP DOI BibTeX RDF
1	Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han	Over-Approximated Control Flow Graph Construction on Pure Esterel.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Li Hsien Yoong, Partha S. Roop	Verifying IEC 61499 Function Blocks Using Esterel.	Embedded Systems Letters	2010	DBLP DOI BibTeX RDF
1	Simon Yuan, Li Hsien Yoong, Sidharta Andalam, Partha S. Roop, Zoran Salcic	A New Multithreaded Architecture Supporting Direct Execution of Esterel.	EURASIP J. Emb. Sys.	2009	DBLP DOI BibTeX RDF
1	Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic	STARPro - A new multithreaded direct execution platform for Esterel.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi	Causality in the Semantics of Esterel: Revisited	SOS	2009	DBLP DOI BibTeX RDF
1	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
1	Michael Mendler, Reinhard von Hanxleden, Claus Traulsen	WCRT algebra and interfaces for esterel-style synchronous processing.	DATE	2009	DBLP BibTeX RDF
1	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
1	Avinash Malik, Zoran A. Salcic, Partha S. Roop	SystemJ compilation using the tandem virtual machine approach.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	SystemJ, compilation, virtual machines, System-level design, esterel
1	Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen	Tight WCRT analysis of synchronous C programs.	CASES	2009	DBLP DOI BibTeX RDF	precision timed machines, model checking, synchronous languages, static timing analysis
1	Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
1	Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço	Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.	ICFP	2009	DBLP DOI BibTeX RDF	SCADE SUITE 6, safety critical, objective caml, DO-178B
1	Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond	Synchronous objects with scheduling policies: introducing safe shared memory in lustre.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams
1	David White, Gerald Luettgen	Embedded Systems Programming: Accessing Databases from Esterel.	EURASIP J. Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Marian Boldt, Claus Traulsen, Reinhard von Hanxleden	Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing.	EURASIP J. Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Olivier Tardieu, Stephen A. Edwards	Instantaneous Transitions in Esterel.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1		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
1	Kreetta Askola, Rauli Puuperä, Pekka Pietikäinen, Juhani Eronen, Marko Laakso, Kimmo Halunen, Juha Röning	Vulnerability Dependencies in Antivirus Software.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Anders Moen Hagalisletto, Lars Strand	Formal Modeling of Authentication in SIP Registration.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Pedro R. M. Inácio, Mário M. Freire, Manuela Pereira, Paulo P. Monteiro	Analysis of the Impact of Intensive Attacks on the Self-Similarity Degree of the Network Traffic.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Giacomo Verticale	On the Portability of Trained Machine Learning Classifiers for Early Application Identification.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Ilkka Norros, Pirkko Kuusela, Pekka Savola	A Dependability Case Approach to the Assessment of IP Networks.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	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
1	Aleksandar Kircanski, Amr M. Youssef	A Related-Key Attack on TREYFER.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	HwanJin Lee, InKyung Jeun, Kilsoo Chun, Junghwan Song	A New Anti-phishing Method in OpenID.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Jesús J. Martinez Molina, Miguel A. Hernández Ruíz, Manuel Gil Pérez, Gregorio Martínez Pérez, Antonio F. Gómez-Skarmeta	Event-Driven Architecture for Intrusion Detection Systems Based on Patterns.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Martin Floeck, Lothar Litz	Activity- and Inactivity-BasedApproaches to Analyze an Assisted Living Environment.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Thomas Gamer, Christoph P. Mayer, Martina Zitterbart	Distack -- A Framework for Anomaly-Based Large-Scale Attack Detection.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu	A Synchronization Attack and Defense in Energy-Efficient Listen-Sleep Slotted MAC Protocols.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Katarzyna Michalska, Tomasz Walkowiak	Hierarchical Approach to Dependability Analysis of Information Systems by Modeling and Simulation.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Rafael Bosse Brinhosa, Carlos Becker Westphall, Carla Merkle Westphall	A Security Framework for Input Validation.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Shu-Lin Chen, Stanley Chow, Christophe Gustave, Dmitri Vinokurov	Prototyping a New Identity Authentication Framework for IP Telephony.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Masaru Takesue	A Protection Scheme against the Attacks Deployed by Hiding the Violation of the Same Origin Policy.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Frederic Stumpf, Claudia Eckert	Enhancing Trusted Platform Modules with Hardware-Based Virtualization Techniques.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	André Cotton, Maurice Israël, Julien Borgel	Molecular Approach Paves the Way towards High Resilience for Large Mission-Critical Information Systems.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Wolfgang Boehmer	Appraisal of the Effectiveness and Efficiency of an Information Security Management System Based on ISO 27001.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Cheun Ngen Chong, Dan Jiang, Jiagang Zhang, Long Guo	Anti-counterfeiting with a Random Pattern.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca	Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Sarosh Hashmi, John Brooke	Authentication Mechanisms for Mobile Ad-Hoc Networks and Resistance to Sybil Attack.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	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
1	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
1	Fatiha Benali, Stéphane Ubéda, Véronique Legrand	Collaborative Approach to Automatic Classification of Heterogeneous Information Security.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Marco Domenico Aime, Paolo Carlo Pomi, Marco Vallini	Policy-Driven System Configuration for Dependability.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Oluwafemi Ajayi, Richard O. Sinnott, Anthony Stell	Towards Decentralised Security Policies for e-Health Collaborations.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Marek Woda, Tomasz Walkowiak	Agent Based Approach to Events Monitoring in Complex Information Systems.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Marcin Dabrowski, Piotr Pacyna	Generic and Complete Three-Level Identity Management Model.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	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
1	V. F. Pais, V. Stancalie	Providing Secure Access to Unsecure Web Services.	SECURWARE	2008	DBLP DOI BibTeX RDF