Vlad Rusu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged reactive programming

Reactive Answer Set ProgrammingMartin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub. lpnmr 2011: 54-66 [doi]

A Methodology for the Use of the Teleo-Reactive Programming Technique in Autonomic ComputingJames Hawthorne, Richard Anthony. snpd 2010: 245-250 [doi]

Using a Teleo-Reactive Programming Style to Develop Self-healing ApplicationsJames Hawthorne, Richard Anthony. autonomics 2010: 114-129 [doi]

Dynamic Controllability of Temporally-flexible Reactive ProgramsRobert T. Effinger, Brian C. Williams, Gerard Kelly, Michael Sheehy. aips 2009:

Interactive Programming of Reactive SystemsLouis Mandel, Florence Plateau. ENTCS, 238(1):21-36, 2009. [doi]

Implementation of the ABC Quantum Mechanical Reactive Scattering Program on the EGEE Grid PlatformDimitris Skouteris, Alessandro Costantini, Antonio Laganà, Gergely Sipos, Ákos Balaskó, Péter Kacsuk. iccsa 2008: 1108-1120 [doi]

Solving navigation tasks with learned Teleo-Reactive ProgramsBlanca Vargas, Eduardo F. Morales. iros 2008: 4185 [doi]

The Miracle of Reactive ProgrammingJim Woodcock. utp 2010: 202-217 [doi]

Design Concept of Automatic Program Generation Tool for Reactive RequirementOsamu Arai, Hamido Fujita. somet 2008: 377-388

Typing noninterference for reactive programsAna Almeida Matos, Gérard Boudol, Ilaria Castellani. jlp, 72(2):124-156, 2007. [doi]

Model-Based Test Selection for Infinite-State Reactive SystemsBertrand Jeannet, Thierry Jéron, Vlad Rusu. FMCO 2007: 47-69 [doi]

The ROBIA Program for Predicting Organic ReactivityIngrid M. Socorro, Jonathan M. Goodman. jcisd, 46(2):606-614, 2006. [doi]

Reactive Concurrent Programming RevisitedRoberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani. ENTCS, 162:49-60, 2006. [doi]

Automatic rate desynchronization of embedded reactive programsAlain Girault, Xavier Nicollin, Marc Pouzet. tecs, 5(3):687-717, 2006. [doi]

Syntax-Driven Reachable State Space Construction of Synchronous Reactive ProgramsEric Vecchié, Robert de Simone. cav 2005: 213-225 [doi]

Final Semantics for Event-Pattern Reactive ProgramsCésar Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna. calco 2005: 364-378 [doi]

Making Reactive Systems Highly Reliable by Hypersequential ProgrammingNaoshi Uchihira. ieicet, 88-A(4):941-947, 2005. [doi]

A Reactive Programming Model for Global ComputingGérard Boudol. coordination 2004: 1 [doi]

Towards direct execution of esterel programs on reactive processorsPartha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne. emsoft 2004: 240-248 [doi]

Slicing tools for synchronous reactive programsS. Ramesh, Aditya Rajeev Kulkarni, V. Kamat. ISSTA 2004: 217-220 [doi]

Commanding and Reactive Control of Peripherals in the TMO Programming SchemeK. H. Kim. isorc 2002: 448-456 [doi]

Application of Partial-Order Methods to Reactive Programs with Event MemorizationFrédéric Herbreteau, Franck Cassez, Olivier Roux. rts, 20(3):287-316, 2001.

Teleo-Reactive Programs and the Triple-Tower ArchitectureNils J. Nilsson. etai, 5(B):99-110, 2001. [doi]

An Approach to Symbolic Test GenerationVlad Rusu, Lydie du Bousquet, Thierry Jéron. IFM 2000: 338-357 [doi]

Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for LustreFlorence Maraninchi, Fabien Gaucher. AADEBUG 2000:

Constructing Teleo-reactive Robot ProgramsKrysia Broda, Christopher J. Hogger, Sam Watson. ecai 2000: 653-657

Functional reactive programming from first principlesZhanyong Wan, Paul Hudak. PLDI 2000: 242-252 [doi]

Hybrid Verifications of Reactive ProgramsOlivier Roux, Vlad Rusu, Franck Cassez. fac, 11(4):448-471, 1999. [doi]

On the Semantic Foundations of Probabilistic Synchronous Reactive ProgramsChristel Baier, Edmund M. Clarke, Vasilili Hartonas-Garmhausen. ENTCS, 22:3-28, 1999. [doi]

Functional Reactive Programming (Abstract)Paul Hudak. ESOP 1999: 1 [doi]

Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive ProgramsA. Galves, Marie-Claude Gaudel. ftcs 1998: 324-333

Synchronous Programming of Reactive SystemsNicolas Halbwachs. cav 1998: 1-16

Neural Synthesis of Teleo-Reactive ProgramsJosé Ramírez. icmas 1998: 459-460 [doi]

Automated Deduction of Finite-State Control Programs for Reactive SystemsRobi Malik. cade 1998: 302-316 [doi]

Reactive functional programmingRichard B. Kieburtz. procomet 1998: 263-284

Automatic Synthesis of Specifications from the Dynamic Observation of Reactive ProgramsBernard Boigelot, Patrice Godefroid. TACAS 1997: 321-333

Reactive Real-Time Programming with Distributed AgentsGerhard Schrott. europar 1997: 1236-1243

Synchronous/Reactive Programming of Concurrent System SoftwareBruce R. Montague, Charles E. McDowell. SPE, 27(3):207-243, 1997.

Verifying Synchronous Reactive Systems Programmed in ESTERELAmar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma. ftrtft 1996: 463-466

On Fairness in Terminating and Reactive ProgramsAxel Wabenhorst. mfcs 1996: 554-565

Stepwise Synthesis of Reactive ProgramsPetr Kozák. sofsem 1995: 391-398

Reactive Programming in Eiffel//Denis Caromel, Yves Roudier. obpdc 1996: 125-147

Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch AutomataOlivier Roux, Vlad Rusu. hybrid 1995: 405-416

Teleo-Reactive Programs for Agent ControlNils J. Nilsson. jair, 1:139-158, 1994.

Application of Evolutionary Programming to Optimal Reactive Power DispatchJ. T. Ma, Q. H. Wu. icec 1994: 730-735

A Hierarchical Structure for Fault Tolerant Reactive ProgramsAndrea Clematis, Vittoria Gianuzzi. SAC 1993: 208-214 [doi]

Programming Distributed Reactive Systems: a Strong and Weak Synchronous CouplingFrédéric Boniol, Martin Adelantado. wdag 1993: 294-308

Reactive C: An Extension of C to Program Reactive SystemsFrédéric Boussinot. SPE, 21(4):401-428, 1991.

Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTREFrédéric Rocheteau, Nicolas Halbwachs. rex 1992: 195-208

Refinement Calculus, Part II: Parallel and Reactive ProgramsRalph-Johan Back. rex 1990: 67-93

runs on WebDSL