Search results for "synchronous-reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Alberto Valderruten, Javier Mosquera, Víctor M. Gulías	Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF	Synchronous Reactive Models, Multithreaded Runtime Systems, Simulation and Monitoring, Functional Programming, Instrumentation, Performance Engineering, Model Development
52	Robert de Simone, Charles André	Towards a "Synchronous Reactive" UML profile?	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Synchronous, Reactive
47	Claudio de la Riva, Javier Tuya, José Ramón de Diego	Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
38	Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli	Synchronous approach to the functional equivalence of embeddedsystem implementations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
31	R. K. Shyamasundar	Analyzing Cryptographic Protocols in a Reactive Framework.	VMCAI	2002	DBLP DOI BibTeX RDF
30	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
28	Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli	Efficient methods for embedded system design space exploration.	DAC	2000	DBLP DOI BibTeX RDF
27	Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli	Optimizing the Implementation of Communication in Synchronous Reactive Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	optimization, real-time, operating systems, synchronous models
27	Aditya Rajeev Kulkarni, S. Ramesh 0001	Static Slicing of Reactive Programs.	SCAM	2003	DBLP DOI BibTeX RDF
26	Bertrand Petit	Temps et durée: de la programmation réactive synchrone à la composition musicale. (Time and duration: from synchronous reactive programming to music composition).		2020	RDF
24	Agathe Merceron, Monika Müllerburg, G. Michele Pinna	Verifying a Time-Triggered Protocol in a Multi-language Environment.	SAFECOMP	1998	DBLP DOI BibTeX RDF
23	Jonathan Edwards	Coherent reaction.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming
23	David A. Penry, David I. August	Optimizations for a simulator construction system supporting reusable components.	DAC	2003	DBLP DOI BibTeX RDF	synchronous-reactive, liberty simulation environment
23	Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon	Lutess: A Specification-Driven Testing Environment for Synchronous Software.	ICSE	1999	DBLP DOI BibTeX RDF	synchronous reactive software, automated testing, operational profiles, Lustre, telecommunications systems, behavioral patterns
20	Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet	From Data to Events: Checking Properties on the Control of a System.	MEMOCODE	2008	DBLP DOI BibTeX RDF
20	Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic	The SystemJ approach to system-level design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
20	Robert de Simone, Annie Ressouche	Compositional Semantics of ESTEREL and Verification by Compositional Reductions.	CAV	1994	DBLP DOI BibTeX RDF
19	Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli	Efficient embedded software design with synchronous models.	EMSOFT	2005	DBLP DOI BibTeX RDF	model-based, synchrony
17	Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong	Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.	Int. J. Softw. Eng. Knowl. Eng.	2023	DBLP DOI BibTeX RDF
17	Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong	Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.	APSEC	2022	DBLP DOI BibTeX RDF
17	Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong	Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.	QRS	2022	DBLP DOI BibTeX RDF
17	Bertrand Petit, Manuel Serrano	Interactive Music and Synchronous Reactive Programming -.	Art Sci. Eng. Program.	2021	DBLP DOI BibTeX RDF
17	Sarah Chabane, Rabéa Ameur-Boulifa, Mezghiche Mohamed	Towards compositional verification of synchronous reactive systems.	Int. J. Crit. Comput. Based Syst.	2021	DBLP DOI BibTeX RDF
17	Sanjoy K. Baruah	Implementing synchronous reactive components upon multiprocessor platforms.	J. Syst. Archit.	2021	DBLP DOI BibTeX RDF
17	Bertrand Petit, Manuel Serrano	Interactive Music and Synchronous Reactive Programming.	CoRR	2020	DBLP BibTeX RDF
17	Sanjoy K. Baruah	The Efficient Multiprocessor Implementation of Synchronous Reactive Components.	ISORC	2020	DBLP DOI BibTeX RDF
17	Gérard Berry, Manuel Serrano	HipHop.js: (A)Synchronous reactive web programming.	PLDI	2020	DBLP DOI BibTeX RDF
17	Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden	Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading.	Models, Mindsets, Meta	2018	DBLP DOI BibTeX RDF
17	Francisco Sant'Anna	Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu.	SBGames	2018	DBLP DOI BibTeX RDF
17	Di Li 0001, Zhenkun Zhai, Zhibo Pang, Valeriy Vyatkin, Chengliang Liu 0001	Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks.	IEEE Trans. Ind. Informatics	2017	DBLP DOI BibTeX RDF
17	Qingling Zhao, Zaid Al-bayati, Zonghua Gu 0001, Haibo Zeng 0001	Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models.	ACM Trans. Design Autom. Electr. Syst.	2017	DBLP DOI BibTeX RDF
17	Rémy El Sibaïe, Emmanuel Chailloux	Synchronous-reactive web programming.	REBLS@SPLASH	2016	DBLP DOI BibTeX RDF
17	Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont	Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.	HSB	2016	DBLP DOI BibTeX RDF
17	Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta	Verifying synchronous reactive systems using lazy abstraction.	DATE	2015	DBLP BibTeX RDF
17	Bartosz Ziólek, Mariusz Ryndzionek, Zbigniew Chamski, Piotr Romaniuk	Synchronous Reactive Nano-Kernels: Exploring the Limits of Power and Energy Efficiency in Embedded Systems.	SCOPES	2015	DBLP DOI BibTeX RDF
17	Francisco Sant'Anna, Roberto Ierusalimschy, Noemi de La Rocque Rodriguez	Structured synchronous reactive programming with Cýu.	MODULARITY	2015	DBLP DOI BibTeX RDF
17	Aleksandrs Mesnajevs	Influence Of Eccentricity On Synchronous Reactive Frequency Doubler.	ECMS	2015	DBLP DOI BibTeX RDF
17	Sanjoy K. Baruah	Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms.	Real Time Syst.	2014	DBLP DOI BibTeX RDF
17	Aleksandrs Mesnajevs, Elena Ketnere	Determination Of An Optimal Shape Of Rotor For The Synchronous Reactive Frequency Doubler.	ECMS	2014	DBLP DOI BibTeX RDF
17	Manuel Gesell, Klaus Schneider 0001	An Interactive Verification Tool for Synchronous/Reactive Systems.	MBMV	2013	DBLP BibTeX RDF
17	Zaid Al-bayati, Haibo Zeng 0001, Marco Di Natale, Zonghua Gu 0001	Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling.	SIES	2013	DBLP DOI BibTeX RDF
17	Aleksandrs Mesnajevs, Andrejs Zviedris, Elena Ketnere	Selection Of Synchronous Reactive Frequency Converter? Secondary Windings Parameters And Optimization Of Rotors Geometrical Dimensions To Ensure Highest Increased Frequency EMF Induction.	ECMS	2013	DBLP DOI BibTeX RDF
17	Maroun Ojail, Raphaël David, Karim Ben Chehida, Yves Lhuillier, Luca Benini	Synchronous Reactive Fine Grain Tasks Management for Homogeneous Many-Core Architectures.	ARCS Workshops	2011	DBLP BibTeX RDF
17	Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli	Optimal synthesis of communication procedures in real-time synchronous reactive models.	IEEE Trans. Ind. Informatics	2010	DBLP DOI BibTeX RDF
17	Abdoulaye Gamatié	Designing Embedded Systems with the SIGNAL Programming Language - Synchronous, Reactive Specification.		2010	DOI RDF
17	Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli	Automatic Code Generation for Synchronous Reactive Communication.	ICESS	2009	DBLP DOI BibTeX RDF
17	Eric Vecchié, Robert de Simone	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.	CAV	2005	DBLP DOI BibTeX RDF
17	Fernando Herrera, Eugenio Villar	Mixing Synchronous Reactive and Untimed Models of Computation.	FDL	2005	DBLP BibTeX RDF
17	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
17	Vinod Ganapathy, S. Ramesh 0001	Slicing Synchronous Reactive Programs.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
17	Nicolas Halbwachs, Pascal Raymond	Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.	ASIAN	1999	DBLP DOI BibTeX RDF
17	Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen	On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.	PROBMIV	1998	DBLP DOI BibTeX RDF
17	Bruce R. Montague, Charles E. McDowell	Synchronous/Reactive Programming of Concurrent System Software.	Softw. Pract. Exp.	1997	DBLP DOI BibTeX RDF
17	Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma	Verifying Synchronous Reactive Systems Programmed in ESTEREL.	FTRTFT	1996	DBLP DOI BibTeX RDF
17	Alberto Valderruten Vidal, Manuel Vilares Ferro, Jorge Graña Gil	Instrumentation of Synchronous Reactive Models for Performance Engineering.	ESEC	1995	DBLP DOI BibTeX RDF
17	Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine	A Denotational Theory of Synchronous Reactive Systems	Inf. Comput.	1992	DBLP DOI BibTeX RDF
16	Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger	A programmable microkernel for real-time systems.	VEE	2005	DBLP DOI BibTeX RDF	real time, virtual machine, operating system
16	Brian C. Williams, Michel D. Ingham	Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.	CP	2002	DBLP DOI BibTeX RDF
16	Lydie du Bousquet, Nicolas Zuanon	An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software.	ASE	1999	DBLP DOI BibTeX RDF
16	Frédéric Boulanger, Guy Vidal-Naquet	Modular Development of Control and Computational Modules Using Reactive Objects.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
15	Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet	Mode-Automata Based Methodology for Scade.	HSCC	2005	DBLP DOI BibTeX RDF
15	Amar Bouali	XEVE, an ESTEREL Verification Environment.	CAV	1998	DBLP DOI BibTeX RDF
10	Marco Di Natale, Valerio Pappalardo	Buffer optimization in multitask implementations of Simulink models.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	schedulability, code generation, Software models, real-time programming
10	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel	Necessary and sufficient conditions for deterministic desynchronization.	EMSOFT	2007	DBLP DOI BibTeX RDF	endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network
10	Edward A. Lee, Haiyang Zheng	Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events
10	Marco Di Natale	Optimizing the Multitask Implementation of Multirate Simulink Models.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
10	Olivier Tardieu, Robert de Simone	Instantaneous Termination in Pure Esterel.	SAS	2003	DBLP DOI BibTeX RDF
10	Alain Girault, Bilung Lee, Edward A. Lee	Hierarchical finite state machines with multiple concurrency models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
10	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
10	Vineet Gupta 0001, Radha Jagadeesan, Vijay A. Saraswat	Probabilistic Concurrent Constraint Programming.	CONCUR	1997	DBLP DOI BibTeX RDF
10	Frédéric Boussinot, Robert de Simone	The SL Synchronous Language.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	synchronous programming languages, Parallelism, concurrency, automata, reactive systems