Search results for "Esterel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Bartolomé Rubio, Manuel Díaz, José M. Troya	Programming Approaches and Challenges for Wireless Sensor Networks.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Arafat E. Hegazy, Ahmed M. Darwish 0001, R. El-Fouly	Reducing µTESLA memory requirements.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Isabelle Labbé, Francis St-Onge, David Kidston, Jean-François Roy	Experience Applying Policy-Based Techniques to Traffic Management in Low-Bandwidth Heterogeneous Networks.	ICSNC	2007	DBLP DOI BibTeX RDF
22	O. Eljamaly Toumaz, P. Sweeney	Alternative Approximation of Check Node Algorithm for DVB-S2 LDPC Decoder.	ICSNC	2007	DBLP DOI BibTeX RDF	Min-Sum, check nodes algorithm, alternative approximation, computational complexity, LDPC codes
22	SeoungYoung Lee, In-Yong Hwang, YongSuk Lee, Hong-Shik Park	A study on Offset Time Based Burst Generation Scheme for Optical Burst Switching Networks.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Yasser Yasami, Majid Farahmand, Vahid Zargari	An ARP-based Anomaly Detection Algorithm Using Hidden Markov Model in Enterprise Networks.	ICSNC	2007	DBLP DOI BibTeX RDF	Address Resolution Protocol (ARP), Hidden Markov Model (HMM), Anomaly Detection
22	Nguyen Pham, Michel Riguidel	Security Assurance Aggregation for IT Infrastructures.	ICSNC	2007	DBLP DOI BibTeX RDF	security assurance, security assurance assessment, security assurance aggregation
22	Huanzhao Wang, Bei Dong, Peijun Chen, Qian Chen, Junjun Kong	LATEX DSL: A Coverage Control Protocol for heterogeneous Wireless Sensor Networks.	ICSNC	2007	DBLP DOI BibTeX RDF	coverage degree, wireless sensor networks, topology control, node scheduling
22	Joongman Kim, Seokung Yoon, Yoojae Won, Jaeil Lee	VoIP Secure Communication Protocol satisfying Backward Compatibility.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Nikola Rank, Voicu Groza, Radu Leca	Characterization of Blood Pressure Oscillometric Waveforms.	ICSNC	2007	DBLP DOI BibTeX RDF
22	António Pereira 0001, Arnaldo Monteiro, Lino Nunes, Nuno Costa 0001	Wireless Sensor Network for Mobile Entities Localization People Monitor.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Zhaohui Liang	High Data Rate Ultra Wideband System Design for Wireless Sensor Network.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Jun Heo, Jong Whoi Shin, Ho Sung Kim, DongHoon Shin, Gang Shin Lee, Jae-il Lee	A Study for a New IT Service Information Protection Framework.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Tatiana Kovacikova	Incorporation of the Universal Communications Identifier (UCI) to NGN.	ICSNC	2007	DBLP DOI BibTeX RDF	UCI (Universal Communications Identifier), NGN (Next Generation Network), IMS (IP Multimedia Subsystem)
22	Huan Chen 0002, Cheng-Shong Wu, Yuan-Sun Chu, Chih-Chuan Cheng, Li-Kuang Tsai	Energy Residue Aware (ERA) Clustering Algorithm for Leach-based Wireless Sensor Networks.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Elena Vildjiounaite, Satu-Marja Mäkelä, Mikko Lindholm, Vesa Kyllönen, Heikki Ailisto	Increasing Security of Mobile Devices by Decreasing User Effort in Verification.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Stephanie Sahuguede, Anne Julien-Vergonjanne, Jean-Pierre Cances	Performance of Optical CDMA Systems with Low Density Parity Check Codes.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Nuno Costa 0001, António Pereira 0001, Carlos Serôdio	Virtual Machines Applied to WSN's: The state-of-the-art and classification.	ICSNC	2007	DBLP DOI BibTeX RDF
22	KwangMo Jung, Young-Choong Park, Seong-Dong Kim, Joongjin Kook, Sangwon Min	An Round Delay Algorithm in Sensor Networks.	ICSNC	2007	DBLP DOI BibTeX RDF	Sensor Networks, USN
22	Jiann-Liang Chen, Huan-Wen Tzeng, Chia-Ping Lai	Routing Mechanism for Reliable Sensor Network Applications.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Liang He, Yang Jing, Ke Wu	Inter-Domain Resource Control Mechanism based on Domain Model in Pervasive Computing Environment.	ICSNC	2007	DBLP DOI BibTeX RDF	Domain Modal, Resource Access, Pervasive computing, Resource Control, Inter-domain
22	Alexandre Ponce de Oliveira, Edward D. Moreno	Impact of the DES and AES Algorithms on PERS (A Specific Processor for Sensor Networks).	ICSNC	2007	DBLP DOI BibTeX RDF
22	Danco Davcev, Slobodan Kalajdziski, Kire Trivodaliev	Multimedia Environment for Mobile Learning.	ICSNC	2007	DBLP DOI BibTeX RDF	student services, digital library, mobile learning
22	Jani Suomalainen	Towards FineGrained Authorizations in Small Office and Home Networks.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Bo Meng	A Coercion-Resistant Internet Voting Protocol.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Daiki Nobayashi, Yutaka Nakamura, Takeshi Ikenaga, Yoshiaki Hori	Development of Single Sign-On System with Hardware Token and Key Management Server.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Hédi Hamdi, Mohamed Mosbah 0001, Adel Bouhoula	A Domain Specific Language for Securing Distributed Systems.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Hui-Kai Su, Cheng-Shong Wu, Yuan-Sun Chu	IP Local Node Protection.	ICSNC	2007	DBLP DOI BibTeX RDF
22	Eric Vecchié, Robert de Simone	Syntax-driven optimisations for reachable state space construction of ESTEREL programs.	Int. J. Embed. Syst.	2006	DBLP DOI BibTeX RDF
22	Ivan Radojevic, Zoran A. Salcic, Partha S. Roop	A New Model for Heterogeneous Embedded Systems - What Esterel and SyncCharts Need to Become a Suitable Specification Platform.	Int. J. Softw. Eng. Knowl. Eng.	2005	DBLP DOI BibTeX RDF
22	Olivier Tardieu	A Deterministic Logical Semantics for Esterel.	SOS@CONCUR	2004	DBLP DOI BibTeX RDF
22	Stephen A. Edwards, Vimal Kapadia, Michael Halasz	Compiling Esterel into Static Discrete-Event Code.	SLAP@ETAPS	2004	DBLP DOI BibTeX RDF
22	Olivier Tardieu	Goto and Concurrency Introducing Safe Jumps in Esterel.	SLAP@ETAPS	2004	DBLP DOI BibTeX RDF
22	Eric Vecchié, Robert de Simone	Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs.	SLAP@ETAPS	2004	DBLP DOI BibTeX RDF
22	David H. White 0001, Gerald Lüttgen	Accessing Databases within Esterel.	SYNCHRON	2004	DBLP BibTeX RDF
22	Xin Li 0020, Reinhard von Hanxleden	The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor.	SYNCHRON	2004	DBLP BibTeX RDF
22	Jan Lukoschus, Reinhard von Hanxleden	Removing Cycles in Esterel Programs.	SYNCHRON	2004	DBLP BibTeX RDF
22	Fabrice Peix	Distribution de programmes synchrones : Le cas d'Esterel.		2004	RDF
22	Joaquín Aguado, Michael Mendler, Gerald Lüttgen	A-maze-ing Esterel.	SLAP	2003	DBLP DOI BibTeX RDF
22	Jerker Hammarberg, Simin Nadjm-Tehrani	Development of Safety-Critical Reconfigurable Hardware with Esterel.	FMICS	2003	DBLP DOI BibTeX RDF
22	Stephen Edwards	ESUIF: An Open Esterel Compiler.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
22	Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil	SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
22	Michael Baldamus, Thomas Stauner	Modifying Esterel Concepts to Model Hybrid Systems.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
22	Gerald Lüttgen, Michael Mendler	Towards a Model-Theory for Esterel.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
22	Arcot Sowmya, David Tsz-Wang So, Wan Hung Tang	Design of a Mobile Robot Controller Using Esterel Tools.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
22	Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy	Top-level validation of system-on-chip in Esterel Studio.	HLDVT	2002	DBLP DOI BibTeX RDF
22	Stephen A. Edwards	High-Level Synthesis from the Synchronous Language Esterel.	IWLS	2002	DBLP BibTeX RDF
22	Yannis Bres	Exploration implicite et explicite de l'espace d''etats atteignables de circuits logiques Esterel.		2002	RDF
22	Simone Tini	An axiomatic semantics for Esterel.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
22	Padmanabhan Krishnan	Prototyping Electronic Commerce Systems Using Esterel.	J. Organ. Comput. Electron. Commer.	2001	DBLP DOI BibTeX RDF
22	Daniel Simon, Alain Girault	Synchronous programming of automatic control applications using ORCCAD and ESTEREL.	CDC	2001	DBLP DOI BibTeX RDF
22	Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine	TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems.	CDC	2001	DBLP DOI BibTeX RDF
22	Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone	ESTEREL: a formal method applied to avionic software development.	Sci. Comput. Program.	2000	DBLP DOI BibTeX RDF
22	Gérard Berry	The foundations of Esterel.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
22	Klaus Schneider 0001	A Verified Hardware Synthesis of Esterel Programs.	DIPES	2000	DBLP BibTeX RDF
22	Basant Rajan, R. K. Shyamasundar	Modeling Distributed Embedded Systems in Multiclock ESTEREL.	FORTE	2000	DBLP BibTeX RDF
22	Stephen A. Edwards	Compiling Esterel into sequential code.	CODES	1999	DBLP DOI BibTeX RDF
22	Jean-Raymond Gagné, John Plaice	The Non-Standard Semantics of Esterel.	ASIAN	1997	DBLP DOI BibTeX RDF
22	Gérard Berry	Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs.	TACAS	1997	DBLP DOI BibTeX RDF
22	Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen	A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL.	Formal Methods Syst. Des.	1996	DBLP DOI BibTeX RDF
22	Christophe Diot, Robert de Simone, Christian Huitema	Automated design of communication protocols using ESTEREL.	J. High Speed Networks	1996	DBLP DOI BibTeX RDF
22	Gérard Berry	Constructive Semantics of Esterel: From Theory to Practice (Abstract).	AMAST	1996	DBLP DOI BibTeX RDF
22	Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma	Verifying Synchronous Reactive Systems Programmed in ESTEREL.	FTRTFT	1996	DBLP DOI BibTeX RDF
22	Reinhard Budde	ESTEREL.	Formal Development of Reactive Systems	1995	DBLP DOI BibTeX RDF
22	Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen	A formal approach to reactive systems software: a telecommunications application in ESTEREL.	WIFT	1995	DBLP DOI BibTeX RDF
22	Martin Adelantado, Frédéric Boniol	Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language.	PODC	1994	DBLP DOI BibTeX RDF
22	Charles André, Marie-Agnès Peraldi	Effective Implementation of ESTEREL programs.	RTS	1993	DBLP DOI BibTeX RDF
22	Gérard Berry, Georges Gonthier	The Esterel Synchronous Programming Language: Design, Semantics, Implementation.	Sci. Comput. Program.	1992	DBLP DOI BibTeX RDF
22	Gérard Berry	The Semantics of Pure Esterel.	NATO ASI PDC	1992	DBLP DOI BibTeX RDF
22	Martin Richard, Olivier F. Roux	An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language.	FTRTFT	1992	DBLP DOI BibTeX RDF
22	Gérard Berry, Georges Gonthier	Incremental Development of an HDLC Entity in Esterel.	Comput. Networks ISDN Syst.	1991	DBLP DOI BibTeX RDF
22	Frédéric Boussinot, Robert de Simone	The ESTEREL language.	Proc. IEEE	1991	DBLP DOI BibTeX RDF
22	Gérard Berry, Laurent Cosserat	The ESTEREL Synchronous Programming Language and its Mathematical Semantics.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
21	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
21	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
21	Ben Denckla	Many cyclic block diagrams do not need parallel semantics.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	semantics, haskell, Haskell, esterel, block diagrams, ptolemy
21	Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee	Formal hardware specification languages for protocol compliance verification.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language
21	Stephen A. Edwards	Tutorial: Compiling concurrent languages for sequential processors.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	communication, Petri nets, Compilation, concurrency, code generation, partial evaluation, dataflow, Verilog, Esterel, sequential, Lustre, discrete-event
21	François Clouté, Jean-Noël Contensou, Daniel Esteve, Pascal Pampagnin, Philippe Pons, Yves Favard	Hardware/software co-design of an avionics communication protocol interface system: an industrial case study.	CODES	1999	DBLP DOI BibTeX RDF	ARINC, POLIS, co-design, Esterel, avionics
14	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
14	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
14	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, 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
14	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
14	Rajesh Gupta 0001, Arvind, Gérard Berry, Forrest Brewer	Advances in ESL Design.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
14	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.	SAFECOMP	2007	DBLP DOI BibTeX RDF	deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
14	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Mixing signals and modes in synchronous data-flow systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	mode automata, compilation, synchronous, languages
14	Klaus Schneider 0001, Jens Brandt 0001, Eric Vecchié	Modular Compilation of Synchronous Programs.	DIPES	2006	DBLP DOI BibTeX RDF	modular compilation, synchronous languages
14	Eric Vecchié, Robert de Simone	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.	CAV	2005	DBLP DOI BibTeX RDF
14	Zoran A. Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari	REMIC: design of a reactive embedded microprocessor core.	ASP-DAC	2005	DBLP DOI BibTeX RDF
14	Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet	Mode-Automata Based Methodology for Scade.	HSCC	2005	DBLP DOI BibTeX RDF
14	A. K. Bhattacharjee, R. K. Shyamasundar	Validated Code Generation for Activity Diagrams.	ICDCIT	2005	DBLP DOI BibTeX RDF
14	Karim Ben Chehida, Michel Auguin	A SW/Configware Codesign Methodology for Control Dominated Applications.	ASAP	2005	DBLP DOI BibTeX RDF
14	Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang	Re-engineering software architecture of home service robots: a case study.	ICSE	2005	DBLP DOI BibTeX RDF	reactive systems, robot programming, software re-engineering
14	Jean-Louis Colaço, Marc Pouzet	Type-based initialization analysis of a synchronous dataflow language.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre
14	Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund	Designing Safe, Reliable Systems Using Scade.	ISoLA	2004	DBLP DOI BibTeX RDF
14	Chankin Park, Seungmo Cho, Jaewook Lee, Hyungjun Park	Co-Validation Environment for Memory Card.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
14	S. Ramesh 0001, Aditya Rajeev Kulkarni, Viraj Kamat	Slicing tools for synchronous reactive programs.	ISSTA	2004	DBLP DOI BibTeX RDF	formal verification, slicing, synchronous programs
14	Jesung Kim, Insup Lee 0001	Modular Code Generation from Hybrid Automata based on Data Dependency.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
14	Bram De Wachter, Thierry Massart, Cédric Meuter	dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.	OPODIS	2003	DBLP DOI BibTeX RDF	transparent code distribution, execution migration, Industrial process control
14	Aditya Rajeev Kulkarni, S. Ramesh 0001	Static Slicing of Reactive Programs.	SCAM	2003	DBLP DOI BibTeX RDF