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 |
|