Skip header Section
Skip Bibliometrics Section
Synchronous Programming of Reactive SystemsDecember 1992
- Author:
- Nicolas Halbwachs
Abstract
No abstract available.
Cited By
- Choppella V, Sanjeev A, Viswanath K and Jayaraman B Generalised Dining Philosophers as Feedback Control Distributed Computing and Internet Technology, (144-164)
- Bai Y Desynchronization Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, (109-118)
- Van Phol L, Binh N and Parissis I Mutants Generation For Testing Lustre Programs Proceedings of the 8th International Symposium on Information and Communication Technology, (425-430)
- Bourke T, Brun L, Dagand P, Leroy X, Pouzet M and Rieg L (2017). A formally verified compiler for Lustre, ACM SIGPLAN Notices, 52:6, (586-601), Online publication date: 14-Sep-2017.
- Bourke T, Brun L, Dagand P, Leroy X, Pouzet M and Rieg L A formally verified compiler for Lustre Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, (586-601)
- Gay G, Rayadurgam S and Heimdahl M (2017). Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors, IEEE Transactions on Software Engineering, 43:6, (531-555), Online publication date: 1-Jun-2017.
- Gay G, Rajan A, Staats M, Whalen M and Heimdahl M (2016). The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage, ACM Transactions on Software Engineering and Methodology, 25:3, (1-34), Online publication date: 22-Aug-2016.
- Riesco A and Rodríguez-Hortalá J Temporal Random Testing for Spark Streaming Proceedings of the 12th International Conference on Integrated Formal Methods - Volume 9681, (393-408)
- Bradatsch C, Kluge F and Ungerer T Data Age Diminution in the Logical Execution Time Model Proceedings of the 29th International Conference on Architecture of Computing Systems -- ARCS 2016 - Volume 9637, (173-184)
- Gay G, Staats M, Whalen M and Heimdahl M (2015). Automated Oracle Data Selection Support, IEEE Transactions on Software Engineering, 41:11, (1119-1137), Online publication date: 1-Nov-2015.
- Design and verification of multi-rate distributed systems Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, (20-29)
- Guo Z and Baruah S Uniprocessor EDF scheduling of AVR task systems Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, (159-168)
- Bensalem S, Bozga M, Combaz J and Triki A Rigorous System Design Flow for Autonomous Systems Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (184-198)
- From clock-driven to data-driven models Proceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign, (32-41)
- Gay G, Rayadurgam S and Heimdahl M Improving the accuracy of oracle verdicts through automated model steering Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, (527-538)
- Brandt J, Schneider K and Bai Y (2014). Passive code in synchronous programs, ACM Transactions on Embedded Computing Systems, 13:2s, (1-25), Online publication date: 1-Jan-2014.
- Wellings A, Burns A, Cavalcanti A and Singh N (2013). Programming simple reactive systems in ada: premature program termination, ACM SIGAda Ada Letters, 33:2, (75-86), Online publication date: 8-Nov-2013.
- Barkati K and Jouvelot P (2013). Synchronous programming in audio processing, ACM Computing Surveys, 46:2, (1-35), Online publication date: 1-Nov-2013.
- Raymond P, Maiza C, Parent-Vigouroux C and Carrier F Timing analysis enhancement for synchronous program Proceedings of the 21st International conference on Real-Time Networks and Systems, (141-150)
- Translating synchronous guarded actions to interleaved guarded actions Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign, (167-176)
- Millo J, Mallet F, Coadou A and Ramesh S (2013). Scenario-based verification in presence of variability using a synchronous approach, Frontiers of Computer Science: Selected Publications from Chinese Universities, 7:5, (650-672), Online publication date: 1-Oct-2013.
- Gesell M, Morgenstern A and Schneider K Lifting Verification Results for Preemption Statements Proceedings of the 11th International Conference on Software Engineering and Formal Methods - Volume 8137, (91-105)
- Whalen M, Gay G, You D, Heimdahl M and Staats M Observable modified Condition/Decision coverage Proceedings of the 2013 International Conference on Software Engineering, (102-111)
- Naderlinger A Multiple real-time semantics on top of synchronous block diagrams Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, (1-7)
- Yun J, Kim C, Kim S, Choe K and Han T (2013). Detection of harmful schizophrenic statements in esterel, ACM Transactions on Embedded Computing Systems, 12:3, (1-23), Online publication date: 10-Mar-2013.
- Baruah S Semantics-preserving implementation of multirate mixed-criticality synchronous programs Proceedings of the 20th International Conference on Real-Time and Network Systems, (11-19)
- Tempelmeier T Teaching ‘concepts of programming languages' with ada Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies, (60-74)
- Staats M, Gay G and Heimdahl M Automated oracle creation support, or: how I learned to stop worrying about fault propagation and love mutation testing Proceedings of the 34th International Conference on Software Engineering, (870-880)
- Andrade W and Machado P (2012). Testing interruptions in reactive systems, Formal Aspects of Computing, 24:3, (331-353), Online publication date: 1-May-2012.
- Basu A, Bensalem S, Bozga M and Sifakis J Rigorous component-based system design Proceedings of the 9th international conference on Rewriting Logic and Its Applications, (1-9)
- Staats M, Gay G, Whalen M and Heimdahl M On the danger of coverage directed test case generation Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering, (409-424)
- Gesell M and Schneider K A hoare calculus for the verification of synchronous languages Proceedings of the sixth workshop on Programming languages meets program verification, (37-48)
- Basu A, Bensalem S, Bozga M, Bourgos P and Sifakis J Rigorous system design Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science, (1-19)
- Broy M, Chakraborty S, Goswami D, Ramesh S, Satpathy M, Resmerita S and Pree W Cross-layer analysis, testing and verification of automotive control software Proceedings of the ninth ACM international conference on Embedded software, (263-272)
- Morgenstern A and Schneider K Program sketching via CTL* model checking Proceedings of the 18th international SPIN conference on Model checking software, (126-143)
- Yu H, Talpin J, Besnard L, Gautier T, Marchand H and Le Guernic P Polychronous controller synthesis from MARTE CCSL timing specifications Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign, (21-30)
- Taha W, Brauner P, Cartwright R, Gaspes V, Ames A and Chapoutot A (2011). A core language for executable models of cyber physical systems, ACM SIGBED Review, 8:2, (39-43), Online publication date: 1-Jun-2011.
- Staats M, Whalen M and Heimdahl M Better testing through oracle selection (NIER track) Proceedings of the 33rd International Conference on Software Engineering, (892-895)
- Esmaeilsabzali S and Day N Semantic quality attributes for big-step modelling languages Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software, (65-80)
- Mallet F, André C and de Simone R (2011). Logical time, ACM SIGSOFT Software Engineering Notes, 36:1, (1-8), Online publication date: 24-Jan-2011.
- Khwaja A and Urban J (2010). A property based specification formalism classification, Journal of Systems and Software, 83:11, (2344-2362), Online publication date: 1-Nov-2010.
- Fischmeister S and Azim A Design choices for high-confidence distributed real-time software Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II, (327-342)
- Esmaeilsabzali S, Day N and Atlee J A common framework for synchronization in requirements modelling languages Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (198-212)
- Brandt J, Schneider K and Shukla S (2010). Translating concurrent action oriented specifications to synchronous guarded actions, ACM SIGPLAN Notices, 45:4, (47-56), Online publication date: 13-Apr-2010.
- Brandt J, Schneider K and Shukla S Translating concurrent action oriented specifications to synchronous guarded actions Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, (47-56)
- Bauer K and Schneider K From synchronous programs to symbolic representations of hybrid systems Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, (41-50)
- Gajski D and Vahid F (1995). Specification and Design of Embedded Hardware-Software Systems, IEEE Design & Test, 12:1, (53-67), Online publication date: 1-Jan-2010.
- Rutten E and Marchand H (2009). Automatic generation of safe handlers for multi-task systems, Journal of Embedded Computing, 3:4, (255-276), Online publication date: 1-Dec-2009.
- Potop-Butucaru D, de Simone R, Sorel Y and Talpin J Clock-driven distributed real-time implementation of endochronous synchronous programs Proceedings of the seventh ACM international conference on Embedded software, (147-156)
- Balakrishnan G, Sankaranarayanan S, Ivančić F and Gupta A Refining the control structure of loops using static analysis Proceedings of the seventh ACM international conference on Embedded software, (49-58)
- Sculthorpe N and Nilsson H (2009). Safe functional reactive programming through dependent types, ACM SIGPLAN Notices, 44:9, (23-34), Online publication date: 31-Aug-2009.
- Sculthorpe N and Nilsson H Safe functional reactive programming through dependent types Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, (23-34)
- Brandt J and Schneider K Static data-flow analysis of synchronous programs Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign, (161-170)
- Yun J, Kim C, Seo S, Han T and Choe K Refining schizophrenia via graph reachability in esterel Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign, (18-27)
- André C and Mallet F (2009). Specification and verification of time requirements with CCSL and Esterel, ACM SIGPLAN Notices, 44:7, (167-176), Online publication date: 28-Jun-2009.
- André C and Mallet F Specification and verification of time requirements with CCSL and Esterel Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (167-176)
- Iordache M and Antsaklis P Petri nets and programming Proceedings of the 2009 conference on American Control Conference, (4994-4999)
- Brandt J and Schneider K Separate compilation for synchronous programs Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems, (1-10)
- Mozumdar M, Lavagno L and Vanzago L (2009). A comparison of software platforms for wireless sensor networks, ACM Transactions on Embedded Computing Systems, 8:2, (1-23), Online publication date: 1-Jan-2009.
- Auerbach J, Bacon D, Iercan D, Kirsch C, Rajan V, Röck H and Trummer R (2009). Low-latency time-portable real-time programming with Exotasks, ACM Transactions on Embedded Computing Systems, 8:2, (1-48), Online publication date: 1-Jan-2009.
- Hamani N, Dangoumau N and Craye E (2009). Reactive mode handling of flexible manufacturing systems, Mathematics and Computers in Simulation, 79:5, (1421-1439), Online publication date: 1-Jan-2009.
- Gaffe D and Ressouche A The Clem Toolkit Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, (495-496)
- Caspi P, Scaife N, Sofronis C and Tripakis S (2008). Semantics-preserving multitask implementation of synchronous programs, ACM Transactions on Embedded Computing Systems, 7:2, (1-40), Online publication date: 1-Feb-2008.
- White D and Lüttgen G (2008). Embedded systems programming, EURASIP Journal on Embedded Systems, 2008, (1-17), Online publication date: 1-Jan-2008.
- Stauch D (2008). Formal analysis tools for the synchronous aspect language Larissa, EURASIP Journal on Embedded Systems, 2008, (1-18), Online publication date: 1-Jan-2008.
- Henzinger T and Kirsch C (2007). The embedded machine, ACM Transactions on Programming Languages and Systems, 29:6, (33-es), Online publication date: 1-Oct-2007.
- Jahier E, Halbwachs N, Raymond P, Nicollin X and Lesens D Virtual execution of AADL models via a translation into synchronous programs Proceedings of the 7th ACM & IEEE international conference on Embedded software, (134-143)
- Potop-Butucaru D, de Simone R and Sorel Y Necessary and sufficient conditions for deterministic desynchronization Proceedings of the 7th ACM & IEEE international conference on Embedded software, (124-133)
- Potop-Butucaru D and Caillaud B (2007). Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fundamenta Informaticae, 78:1, (131-159), Online publication date: 1-Sep-2007.
- Auerbach J, Bacon D, Iercan D, Kirsch C, Rajan V, Roeck H and Trummer R (2007). Java takes flight, ACM SIGPLAN Notices, 42:7, (51-62), Online publication date: 13-Jul-2007.
- Auerbach J, Bacon D, Iercan D, Kirsch C, Rajan V, Roeck H and Trummer R Java takes flight Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (51-62)
- Tardieu O (2007). A deterministic logical semantics for pure Esterel, ACM Transactions on Programming Languages and Systems, 29:2, (8-es), Online publication date: 1-Apr-2007.
- Potop-Butucaru D and Caillaud B (2007). Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications, Fundamenta Informaticae, 78:1, (131-159), Online publication date: 1-Jan-2007.
- Sofronis C, Tripakis S and Caspi P A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling Proceedings of the 6th ACM & IEEE International conference on Embedded software, (21-33)
- Nghiem T, Pappas G, Alur R and Girard A Time-triggered implementations of dynamic controllers Proceedings of the 6th ACM & IEEE International conference on Embedded software, (2-11)
- Bertrane J Proving the properties of communicating imperfectly-clocked synchronous systems Proceedings of the 13th international conference on Static Analysis, (370-386)
- Schneider K, Schuele T and Trapp M Verifying the adaptation behavior of embedded systems Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, (16-22)
- Heitmeyer C Developing safety-critical systems Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55, (95-99)
- Moullec Y, Diguet J, Amor N, Gourdeaux T and Philippe J (2006). Algorithmic-level Specification and Characterization of Embedded Multimedia Applications with Design Trotter, Journal of VLSI Signal Processing Systems, 42:2, (185-208), Online publication date: 1-Feb-2006.
- Tardieu O and Simone R (2005). Loops in esterel, ACM Transactions on Embedded Computing Systems, 4:4, (708-750), Online publication date: 1-Nov-2005.
- Heitmeyer C Developing high quality software with formal methods Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems, (13-19)
- Altisen K and Tripakis S Implementation of timed automata Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems, (273-288)
- Henzinger T, Kirsch C and Matic S (2005). Composable code generation for distributed giotto, ACM SIGPLAN Notices, 40:7, (21-30), Online publication date: 12-Jul-2005.
- Jagadeesan R, Marrero W, Pitcher C and Saraswat V Timed constraint programming Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, (164-175)
- Bordin M and Vardanega T A new strategy for the HRT-HOOD to ada mapping Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, (51-66)
- Henzinger T, Kirsch C and Matic S Composable code generation for distributed giotto Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (21-30)
- Kirsch C, Sanvido M and Henzinger T A programmable microkernel for real-time systems Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, (35-45)
- Mizrahi T and Moses Y Continuous consensus via common knowledge Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge, (236-252)
- Tardieu O (2005). A Deterministic Logical Semantics for Esterel, Electronic Notes in Theoretical Computer Science (ENTCS), 128:1, (103-122), Online publication date: 1-May-2005.
- Labbani O, Dekeyser J and Boulet P Mode-automata based methodology for scade Proceedings of the 8th international conference on Hybrid Systems: computation and control, (386-401)
- Gadkari A and Ramesh S Automated Synthesis of Assertion Monitors using Visual Specifications Proceedings of the conference on Design, Automation and Test in Europe - Volume 1, (390-395)
- Cheong E and Liu J galsC Proceedings of the conference on Design, Automation and Test in Europe - Volume 2, (1050-1055)
- Zhao S and Gajski D Defining an Enhanced RTL Semantics Proceedings of the conference on Design, Automation and Test in Europe - Volume 1, (548-553)
- Bouyssounouse B and Sifakis J References Embedded Systems Design, (204-215)
- Bouyssounouse B and Sifakis J Tools for programming, code generation, and design Embedded Systems Design, (63-71)
- Jiang J, Mishchenko A and Brayton R On breakable cyclic definitions Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design, (411-418)
- Schneider K, Brandt J and Schuele T Causality analysis of synchronous programs with delayed actions Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems, (179-189)
- Donlin A Transaction level modeling Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (75-80)
- Amblard P, Lagnier F and Levy M Introduction to formal processor verification at logic level Proceedings of the 2004 workshop on Computer architecture education: held in conjunction with the 31st International Symposium on Computer Architecture, (9-es)
- Gadkari A, Ramesh S and Parekhji R CESC Proceedings of the 14th ACM Great Lakes symposium on VLSI, (354-357)
- Cortadella J, Kondratyev A, Lavagno L, Taubin A and Watanabe Y (2004). Quasi-static Scheduling for Concurrent Architectures, Fundamenta Informaticae, 62:2, (171-196), Online publication date: 1-Feb-2004.
- Potop-Butucaru D and de Simone R Optimization for faster execution of Esterel programs Formal methods and models for system design, (285-315)
- Curing schizophrenia by program rewriting in Esterel Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design, (39-48)
- Logothetis G, Schneider K and Metzler C Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs Proceedings of the 24th IEEE International Real-Time Systems Symposium
- Lev-Ami T and Tyszberowicz S (2003). Reactive and Real-Time Systems Course, Real-Time Systems, 25:2-3, (231-253), Online publication date: 1-Sep-2003.
- Tardieu O and De Simone R Instantaneous termination in pure Esterel Proceedings of the 10th international conference on Static analysis, (91-108)
- GAMATIÉ A and GAUTIER T Synchronous Modeling of Avionics Applications using the SIGNAL Language Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
- Cheong E, Liebman J, Liu J and Zhao F TinyGALS Proceedings of the 2003 ACM symposium on Applied computing, (698-704)
- Logothetis G and Schneider K Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
- Goodloe A, McDougall M, Gunter C and Alur R Predictable programs in barcodes Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, (298-303)
- Henzinger T and Kirsch C The embedded machine Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (315-326)
- Henzinger T and Kirsch C (2002). The embedded machine, ACM SIGPLAN Notices, 37:5, (315-326), Online publication date: 17-May-2002.
- Klaudel H and Pommereau F (2002). A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems, Fundamenta Informaticae, 50:1, (33-55), Online publication date: 15-Feb-2002.
- Klaudel H and Pommereau F (2002). A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems, Fundamenta Informaticae, 50:1, (33-55), Online publication date: 1-Jan-2002.
- Henzinger T, Horowitz B and Kirsch C Embedded Control Systems Development with Giotto Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, (64-72)
- Henzinger T, Horowitz B and Kirsch C Embedded Control Systems Development with Giotto Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, (64-72)
- Henzinger T, Horowitz B and Kirsch C (2001). Embedded Control Systems Development with Giotto, ACM SIGPLAN Notices, 36:8, (64-72), Online publication date: 1-Aug-2001.
- Winkelmann K (2001). Formal Methods in Designing Embedded Systems—the SACRES Experience, Formal Methods in System Design, 19:1, (81-110), Online publication date: 1-Jul-2001.
- Seawright A and Brewer F Clairvoyant Readings in hardware/software co-design, (375-388)
- Daveau J, Marchioro G, Valderrama C and Jerraya A VHDL generation from SDL specifications Readings in hardware/software co-design, (125-134)
- Edwards S, Lavagno L, Lee E and Sangiovanni-Vincentelli A Design of embedded systems Readings in hardware/software co-design, (86-107)
- Lee E and Parks T Dataflow process networks Readings in hardware/software co-design, (59-85)
- Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems (Extended Abstract) Proceedings of the The 21st International Conference on Distributed Computing Systems
- Monin J (2000). Proving the Correctness of the Standardized Algorithm for ABR Conformance, Formal Methods in System Design, 17:3, (221-243), Online publication date: 1-Dec-2000.
- Weil D, Bertin V, Closse E, Poize M, Venier P and Pulou J Efficient compilation of ESTEREL for real-time embedded systems Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems, (2-8)
- Berry G and Sentovich E (2000). An Implementation of Constructive Synchronous Programs in POLIS, Formal Methods in System Design, 17:2, (135-161), Online publication date: 1-Oct-2000.
- Marchand H, Bournai P, Borgne M and Guernic P (2000). Synthesis of Discrete-Event Controllers Based on the SignalEnvironment, Discrete Event Dynamic Systems, 10:4, (325-346), Online publication date: 1-Oct-2000.
- Sgroi M, Lavagno L and Sangiovanni-Vincentelli A (2000). Formal Models for Embedded System Design, IEEE Design & Test, 17:2, (14-27), Online publication date: 1-Apr-2000.
- Ernst R and Jerraya A embedded system design with multiple languages Proceedings of the 2000 Asia and South Pacific Design Automation Conference, (391-396)
- Pucella R Higher-order concurrent Win32 programming Proceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3, (12-12)
- Alur R and Henzinger T (1999). Reactive Modules, Formal Methods in System Design, 15:1, (7-48), Online publication date: 1-Jul-1999.
- Lavagno L and Sentovich E ECL Proceedings of the 36th annual ACM/IEEE Design Automation Conference, (511-516)
- Bertrand F and Augeraud M (1999). BDL, IEEE Transactions on Software Engineering, 25:3, (347-362), Online publication date: 1-May-1999.
- Grandpierre T, Lavarenne C and Sorel Y Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors Proceedings of the seventh international workshop on Hardware/software codesign, (74-78)
- Clouté F, Contensou J, Esteve D, Pampagnin P, Pons P and Favard Y Hardware/software co-design of an avionics communication protocol interface system Proceedings of the seventh international workshop on Hardware/software codesign, (48-52)
- Nadjm-Tehrani S and Strömberg J (1999). Formal Verification of Dynamic Properties in an Aerospace Application, Formal Methods in System Design, 14:2, (135-169), Online publication date: 1-Mar-1999.
- Fränzle M and Müller-Olm M Compilation and Synthesis for Real-Time Embedded Controllers Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (256-287)
- Gupta V, Jagadeesan R and Panangaden P Stochastic processes as concurrent constraint programs Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (189-202)
- Colby C, Jagadeesan L, Jagadeesan R, Läufer K and Puchol C Object and concurrency in Triveni Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4, (10-10)
- Duval G Specification and verification of an object request broker Proceedings of the 20th international conference on Software engineering, (43-52)
- Melcher H and Winkelmann K Controller synthesis for the “production cell” case study Proceedings of the second workshop on Formal methods in software practice, (24-33)
- Passerone C, Passerone R, Sansoè C, Martin J, Sangiovanni-Vincentelli A and McGeer R Modeling reactive systems in Java Proceedings of the 6th international workshop on Hardware/software codesign, (15-19)
- Poigné A, Morley M, Maffeïs O, Holenderski L and Budde R (1998). The Synchronous Approach to Designing Reactive Systems, Formal Methods in System Design, 12:2, (163-187), Online publication date: 1-Mar-1998.
- Balarin F, Lavagno L, Murthy P and Sangiovanni-vincentelli A (1998). Scheduling for Embedded Real-Time Systems, IEEE Design & Test, 15:1, (71-82), Online publication date: 1-Jan-1998.
- Bertrand F and Augeraud M BDL Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, (11-11)
- Halbwachs N, Proy Y and Roumanoff P (1997). Verification of Real-Time Systems using Linear Relation Analysis, Formal Methods in System Design, 11:2, (157-185), Online publication date: 1-Aug-1997.
- Jagadeesan L, Porter A, Puchol C, Ramming J and Votta L Specification-based testing of reactive software Proceedings of the 19th international conference on Software engineering, (525-535)
- Gerndt R and Ernst R An Event-Driven Multi-Threading Architecture for Embedded Systems Proceedings of the 5th International Workshop on Hardware/Software Co-Design
- Lesens D, Halbwachs N and Raymond P Automatic verification of parameterized linear networks of processes Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (346-357)
- Baker W and Newton A The maximal VHDL subset with a cycle-level abstraction Proceedings of the conference on European design automation, (470-475)
- Alur R and Henzinger T Reactive Modules Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
- Calvez J (1996). A CoDesign case study with the MCSE methodology, Design Automation for Embedded Systems, 1:3, (183-212), Online publication date: 1-Jul-1996.
- Shiple T, Berry G and Touati H Constructive Analysis of Cyclic Circuits Proceedings of the 1996 European conference on Design and Test
- Jensen T Clock analysis of synchronous dataflow programs Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (156-167)
- Amagbégnon P, Besnard L and Le Guernic P Implementation of the data-flow synchronous language SIGNAL Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, (163-173)
- Amagbégnon P, Besnard L and Le Guernic P (1995). Implementation of the data-flow synchronous language SIGNAL, ACM SIGPLAN Notices, 30:6, (163-173), Online publication date: 1-Jun-1995.
- Auguin M, Belhadj M, benzakki J, Carrière C, Durrieu G, Gautier T, Israël M, Guernic P, Lemaître M, Martin E, Quinton P, Rideau L, Rousseau F and Sentieys O Towards a multi-formalism framework for architectural synthesis Proceedings of the 3rd international workshop on Hardware/software co-design, (25-32)
- Maffeïs O and Guernic P From SIGNAL to fine-grain parallel implementations Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, (237-246)
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Reactive programming experience with REScala
Programming '18: Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of ProgrammingReactive programming is a recent programming paradigm that specifically targets reactive applications. Over the years, a number of reactive languages have been proposed, with different combinations of features, and various target domains.
...
HipHop.js: (A)Synchronous reactive web programming
PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and ImplementationWe present HipHop.js, a synchronous reactive language that adds synchronous concurrency and preemption to JavaScript. Inspired from Esterel, HipHop.js simplifies the programming of non-trivial temporal behaviors as found in complex web interfaces or IoT ...