Stem reactiv$ (all stems)

236 papers:

DATE-2015-MadhukarSWKM #abstraction #lazy evaluation #using #verification

Verifying synchronous reactive systems using lazy abstraction (KM, MS, BW, DK, RM), pp. 1571–1574.

TACAS-2015-AlurMT #refinement #specification #synthesis

Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (RA, SM, UT), pp. 501–516.

TACAS-2015-BloemCJK #concurrent #source code #synthesis

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (RB, KC, SJ, RK), pp. 517–532.

TACAS-2015-BloemKKW #runtime #synthesis

Shield Synthesis: — Runtime Enforcement for Reactive Systems (RB, BK, RK, CW), pp. 533–548.

CSCW-2015-WisniewskiJXRC #behaviour #how #privacy #quote #social #social media

“Preventative” vs. “Reactive”: How Parental Mediation Influences Teens’ Social Media Privacy Behaviors (PJW, HJ, HX, MBR, JMC), pp. 302–316.

SIGIR-2015-ShokouhiG #query #ranking #recommendation

From Queries to Cards: Re-ranking Proactive Card Recommendations Based on Reactive Search History (MS, QG), pp. 695–704.

MoDELS-2015-HartmannMFNKT #distributed #modelling #peer-to-peer #runtime

Stream my models: Reactive peer-to-peer distributed models@run.time (TH, AM, FF, GN, JK, YLT), pp. 80–89.

GPCE-2015-FoustJP #constraints #data flow #generative #multi #source code #user interface #visual notation

Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems (GF, JJ, SP), pp. 121–130.

PPDP-2015-MandelPP #ml #years after

ReactiveML, ten years later (LM, CP, MP), pp. 6–17.

PADL-2015-FowlerDG #data flow

Reactive Single-Page Applications with Dynamic Dataflow (SF, LD, AG), pp. 58–73.

POPL-2015-NgoMMP #black box #policy #runtime #security #source code

Runtime Enforcement of Security Policies on Black Box Reactive Programs (MN, FM, DM, FP), pp. 43–54.

SAC-2015-MoralesNSA #named #requirements #specification

TRiStar: an i* extension for teleo-reactive systems requirements specifications (JMM, EN, PS, DA), pp. 283–288.

ESEC-FSE-2015-DesaiQS #testing

Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.

ICSE-v2-2015-ParkHKLC #case study #nondeterminism #testing

Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.

ICSE-v2-2015-SalvaneschiMT #programming

Reactive Programming: A Walkthrough (GS, AM, GT), pp. 953–954.

CGO-2015-SrinivasDK

Reactive tiling (JS, WD, MTK), pp. 91–102.

ASE-2014-HagiharaESY #satisfiability #set #specification

Minimal strongly unsatisfiable subsets of reactive system specifications (SH, NE, MS, NY), pp. 629–634.

DATE-2014-OrtinGVIV

Dynamic construction of circuits for reactive traffic in homogeneous CMPs (MO, DSG, MV, CI, VV), pp. 1–4.

DATE-2014-VenkateshSKA #named #specification

EDT: A specification notation for reactive systems (RV, US, GMK, SA), pp. 1–6.

SIGMOD-2014-PsaroudakisAOA #concurrent #query

Reactive and proactive sharing across concurrent analytical queries (IP, MA, MO, AA), pp. 889–892.

PLDI-2014-RickettsRJTL #automation #proving

Automating formal proofs for reactive systems (DR, VR, DJ, ZT, SL), p. 47.

SAS-2014-MandelP #ml

Reactivity of Cooperative Systems — Application to ReactiveML (LM, CP), pp. 219–236.

ICEIS-v1-2014-Rios-AguilarLP #behaviour #information management #mobile #monitoring #using

Business Information System for the Control of Workforce Through Behaviour Monitoring Using Reactive and Terminal-based Mobile Location Technologies (SRA, FJLM, APS), pp. 30–38.

ICEIS-v1-2014-SilveiraCC #case study #problem

A Problem-solving Agent to Test Rational Agents — A Case Study with Reactive Agents (FRdVS, GALdC, MIC), pp. 505–513.

ICEIS-v2-2014-MachadoLPWO #approach

A Reactive and Proactive Approach for Ambient Intelligence (AM, DL, AMP, LKW, JPMdO), pp. 501–512.

SEKE-2014-NevesV #development #refactoring #variability

Reactive Variability Realization with Test Driven Development and Refactoring (GSN, PV), pp. 100–105.

Onward-2014-ReyndersDP #functional #multi #programming #web

Multi-Tier Functional Reactive Programming for the Web (BR, DD, FP), pp. 55–68.

OOPSLA-2014-DrechslerSMM #algorithm #distributed #programming

Distributed REScala: an update algorithm for distributed reactive programming (JD, GS, RM, MM), pp. 361–376.

POPL-2014-CaveFPP #programming

Fair reactive programming (AC, FF, PP, BP), pp. 361–372.

FSE-2014-SalvaneschiAPM #comprehension #empirical #programming

An empirical study on program comprehension with reactive programming (GS, SA, SP, MM), pp. 564–575.

ICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing

AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.

LICS-CSL-2014-Jeffrey #functional

Functional reactive types (AJ), p. 9.

PLDI-2013-CzaplickiC #functional #programming #user interface

Asynchronous functional reactive programming for GUIs (EC, SC), pp. 411–422.

ICFP-2013-Jeffrey #functional #liveness #programming

Functional reactive programming with liveness guarantees (AJ), pp. 233–244.

ICFP-2013-Krishnaswami #functional #higher-order #programming

Higher-order functional reactive programming without spacetime leaks (NRK), pp. 221–232.

ECOOP-2013-MaierO #higher-order #incremental #programming

Higher-Order Reactive Programming with Incremental Lists (IM, MO), pp. 707–731.

ASPLOS-2013-TangMWDS #compilation #named

ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.

ICST-2013-MeinkeS #named #testing

LBTest: A Learning-Based Testing Tool for Reactive Systems (KM, MAS), pp. 447–454.

ICTSS-2013-SchrammelMK #testing

Chaining Test Cases for Reactive System Testing (PS, TM, DK), pp. 133–148.

TLCA-2013-SeveriV #modelling #source code

Completeness of Conversion between Reactive Programs for Ultrametric Models (PS, FJdV), pp. 221–235.

CBSE-2012-StepanL #component

Controller patterns for component-based reactive control software systems (PS, KKL), pp. 71–76.

FoSSaCS-2012-HulsbuschK #bisimulation

Deriving Bisimulation Congruences for Conditional Reactive Systems (MH, BK), pp. 361–375.

IFM-2012-DongolH #multi #reasoning #source code

Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.

CHI-2012-BadshahGMPT #feedback #named

GyroTab: a handheld device that provides reactive torque feedback (AB, SG, DM, SP, DST), pp. 3153–3156.

CHI-2012-PiorkowskiFSBBJBS #empirical #information management #recommendation

Reactive information foraging: an empirical investigation of theory-based recommender systems for programmers (DP, SDF, CS, CB, MMB, BEJ, RKEB, CS), pp. 1471–1480.

SIGIR-2012-JunqueiraLM #distributed #replication

Reactive index replication for distributed search engines (FPJ, VL, MM), pp. 831–840.

MoDELS-2012-Henzinger #modelling

Quantitative Reactive Models (TAH), pp. 1–2.

MoDELS-2012-Henzinger #modelling

Quantitative Reactive Models (TAH), pp. 1–2.

POPL-2012-KrishnaswamiBH #bound #functional #higher-order #programming

Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.

SAC-2012-WornIH #multi

Multi-fingered reactive grasping with active guided camera systems (HW, SI, TH), pp. 268–273.

HPCA-2012-MillerPTST #named #process

Booster: Reactive core acceleration for mitigating the effects of process variation and application imbalance in low-voltage chips (TNM, XP, RT, NS, RT), pp. 27–38.

VMCAI-2012-DimitrovaFKRS #data flow #model checking

Model Checking Information Flow in Reactive Systems (RD, BF, MK, MNR, HS), pp. 169–185.

CASE-2011-KuoSTC #architecture #embedded

An embedded robotic wheelchair control architecture with reactive navigations (CHK, YSS, TCT, TSC), pp. 810–815.

DAC-2011-NadeemBS #embedded #java #named

RJOP: a customized Java processor for reactive embedded systems (MN, MBA, ZS), pp. 1038–1043.

HT-2011-IturriozDA #behaviour

Reactive tags: associating behaviour to prescriptive tags (JI, OD, IA), pp. 191–200.

SEFM-2011-MadeiraFMB #approach #hybrid #specification

Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.

CHI-2011-MazurekKSTBC #data access

Exploring reactive access control (MLM, PFK, RS, HT, LB, LFC), pp. 2085–2094.

VISSOFT-2011-WirthPS #approach #behaviour #multi #visualisation

A multi-level approach for visualization and exploration of reactive program behavior (CW, HP, RS), pp. 1–4.

OOPSLA-2011-DemetrescuFR #constraints #data flow #imperative #programming

Reactive imperative programming with dataflow constraints (CD, IF, AR), pp. 407–426.

PADL-2011-PetricekS #concurrent #control flow #named #parallel #programming

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming (TP, DS), pp. 205–219.

CSL-2011-Madhusudan #source code

Synthesizing Reactive Programs (PM), pp. 428–442.

ICTSS-2011-MeinkeN #term rewriting #testing #using

Learning-Based Testing for Reactive Systems Using Term Rewriting Technology (KM, FN), pp. 97–114.

LICS-2011-KrishnaswamiB #semantics #source code

Ultrametric Semantics of Reactive Programs (NRK, NB), pp. 257–266.

SAT-2011-AudemardLMS #on the

On Freezing and Reactivating Learnt Clauses (GA, JML, BM, LS), pp. 188–200.

TAP-2011-MeinkeS #incremental #testing

Incremental Learning-Based Testing for Reactive Systems (KM, MAS), pp. 134–151.

CBSE-2010-DelavalR #component #configuration management #modelling

Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model (GD, ÉR), pp. 93–112.

SEFM-2010-WeiWB #design

A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.

IFL-2010-BjornsonTG #f# #user interface #using

Composing Reactive GUIs in F# Using WebSharper (JB, AT, AG), pp. 203–216.

CHI-2010-LawranceBBBS #evolution #information management

Reactive information foraging for evolving goals (JL, MMB, RKEB, CB, CS), pp. 25–34.

ICEIS-AIDSS-2010-GoncalvesCCS

Extending MAS-ML to Model Proactive and Reactive Sotware Agents (EJTG, MIC, GALdC, VTdS), pp. 75–84.

ICPR-2010-HajBGR

Reactive Object Tracking with a Single PTZ Camera (MAH, ADB, JG, FXR), pp. 1690–1693.

TOOLS-EUROPE-2010-CarretonMCM #ad hoc #distributed #mobile #network #programming

Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks (ALC, SM, TVC, WDM), pp. 41–60.

QAPL-2010-GeorgievskaA #probability #process #testing

Testing Reactive Probabilistic Processes (SG, SA), pp. 99–113.

SAC-2010-GoncalvesCCGS #modelling #towards #using

Towards the modeling reactive and proactive agents by using MAS-ML (EJTG, MIC, GALdC, GFG, VTdS), pp. 936–937.

SAC-2010-TraulsenH #data flow #parallel

Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.

ICST-2010-MadaniPP #case study #testing #towards

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller (LM, VP, IP), pp. 489–497.

CBSE-2009-BotaschanjanH #architecture #functional

Integrating Functional and Architectural Views of Reactive Systems (JB, AH), pp. 156–172.

FoSSaCS-2009-BonchiGM #mobile #semantics

Reactive Systems, Barbed Semantics, and the Mobile Ambients (FB, FG, GVM), pp. 272–287.

TACAS-2009-KuglerS #composition #sequence chart #specification #synthesis

Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.

SEFM-2009-HummelT #behaviour #specification #using

Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables (BH, JT), pp. 137–146.

ICFP-2009-SculthorpeN #dependent type #functional #programming

Safe functional reactive programming through dependent types (NS, HN), pp. 23–34.

HCI-VAD-2009-KandoganHBM #collaboration #risk management

Studying Reactive, Risky, Complex, Long-Spanning, and Collaborative Work: The Case of IT Service Delivery (EK, EMH, JHB, PPM), pp. 504–513.

AdaEurope-2009-SaezTGC #ada #implementation #state machine #uml

Implementing Reactive Systems with UML State Machines and Ada 2005 (SS, ST, VLG, AC), pp. 149–163.

DATE-2008-CalimeraBM #constraints #performance #power management

Optimal MTCMOS Reactivation Under Power Supply Noise and Performance Constraints (AC, LB, EM), pp. 973–978.

DATE-2008-LindgrenEAN #c #embedded #realtime

TinyTimber, Reactive Objects in C for Real-Time Embedded Systems (PL, JE, SA, JN), pp. 1382–1385.

ASE-2007-LoMK #execution #mining #specification

Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.

ASE-2007-VainRKE #nondeterminism #synthesis

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.

PEPM-2007-BurchettCK #functional #named #optimisation

Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.

SEFM-2007-Mehta #development #proving

Supporting Proof in a Reactive Development Environment (FM), pp. 103–112.

CHI-2007-ZhaoDCBB #feedback #named #using

Earpod: eyes-free menu selection using touch input and reactive audio feedback (SZ, PD, MHC, RB, PB), pp. 1395–1404.

HCI-MIE-2007-Shirehjini #classification #interactive #multi

A Multidimensional Classification Model for the Interaction in Reactive Media Rooms (AANS), pp. 431–439.

ICEIS-AIDSS-2007-Cebulla #coordination #reasoning #semantics #specification #towards

Reactive Commonsense Reasoning — Towards Semantic Coordination with High-Level Specifications (MC), pp. 113–118.

PPDP-2007-AmadioD #π-calculus

Feasible reactivity in a synchronous π-calculus (RMA, FD), pp. 221–230.

DATE-2006-ProchnowH #modelling

Comfortable modeling of complex reactive systems (SP, RvH), pp. 577–578.

FLOPS-2006-IgnatoffCK #adaptation #framework #functional #object-oriented

Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages (DI, GHC, SK), pp. 259–276.

SEFM-2006-RaymondJR #random

Describing and Executing Random Reactive Systems (PR, EJ, YR), pp. 216–225.

SAC-2006-Capron #bound #static analysis

Static analysis of time bounded reactive properties of Boolean symbols (GC), pp. 1827–1834.

SAC-2006-LiH #concurrent #multi #thread

A concurrent reactive Esterel processor based on multi-threading (XL, RvH), pp. 912–917.

LICS-2006-BonchiKM #semantics

Saturated Semantics for Reactive Systems (FB, BK, UM), pp. 69–80.

MBT-2006-SilvaM #generative #towards

Towards Test Purpose Generation from CTL Properties for Reactive Systems (DAdS, PDLM), pp. 29–40.

VMCAI-2006-PitermanPS #design #synthesis

Synthesis of Reactive(1) Designs (NP, AP, YS), pp. 364–380.

DATE-2005-GhoshG #distributed #locality #named #network #protocol #scheduling

LORD: A Localized, Reactive and Distributed Protocol for Node Scheduling in Wireless Sensor Networks (AG, TG), pp. 190–195.

FASE-2005-LarsenLW #source code #specification

Color-Blind Specifications for Transformations of Reactive Synchronous Programs (KGL, UL, AW), pp. 160–174.

FM-2005-RusuMJ #automation #consistency #safety #testing #validation #verification

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.

SEFM-2005-Trakhtenbrot #debugging #testing #verification

Use of Verification for Testing and Debugging of Complex Reactive Systems (MBT), pp. 13–22.

ICFP-2005-Nilsson #algebra #data type #functional #optimisation #programming #using

Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.

KDD-2005-YangWZ #data type #predict

Combining proactive and reactive predictions for data streams (YY, XW, XZ), pp. 710–715.

PPDP-2005-MandelP #ml #named

ReactiveML: a reactive extension to ML (LM, MP), pp. 82–93.

SAC-2005-BryP #paradigm #web

Reactivity on the web: paradigms and applications of the language XChange (FB, PLP), pp. 1645–1649.

SAC-2005-HurtT #communication #effectiveness #empirical #evaluation #multi

An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems (DH, PT), pp. 74–78.

ESEC-FSE-2005-PetterssonJ #approach #experience #industrial #lightweight #product line #using #web

Industrial experience with building a web portal product line using a lightweight, reactive approach (UP, SJ), pp. 326–335.

CGO-2005-ZillesN

Reactive Techniques for Controlling Software Speculation (CBZ, NN), pp. 305–316.

CAV-2005-VecchieS #source code

Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs (EV, RdS), pp. 213–225.

LICS-2005-SassoneS

Reactive Systems over Cospans (VS, PS), pp. 311–320.

WICSA-2004-NortonF #architecture

Reactive Types for Dataflow-Oriented Software Architectures (BN, MF), pp. 211–220.

DocEng-2004-KingST #animation #behaviour #functional #programming #realtime #xml

Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.

SEFM-2004-Yoshiura #specification

Finding the Causes of Unrealizability of Reactive System Formal Specifications (NY), pp. 34–43.

VMCAI-2004-Harel #challenge #modelling #multi #towards

A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal (DH), pp. 323–324.

VMCAI-2004-YuX

Checking Interval Based Properties for Reactive Systems (YP, QX), pp. 122–134.

SCAM-2003-KulkarniR #slicing #source code

Static Slicing of Reactive Programs (ARK, SR), pp. 98–107.

CIAA-2003-FuBS #protocol #specification #verification

Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services (XF, TB, JS), pp. 188–200.

FME-2003-Lettrari #abstraction #heuristic #object-oriented #using

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems (ML), pp. 462–481.

GPCE-2003-CiliaHMB #aspect-oriented #convergence #database #middleware #towards

The Convergence of AOP and Active Databases: Towards Reactive Middleware (MC, MH, MM, APB), pp. 169–188.

PADL-2003-Sampath #multi

Multi-agent Reactive Systems (PS), pp. 177–193.

FATES-2003-Aaltonen #distributed

Defining Observation Objectives for Reactive and Distributed Systems (TA), pp. 101–113.

ASIA-PEPM-2002-XuK #compilation #functional #programming #realtime

Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.

IFM-2002-LanoCA #design #development #specification

From Implicit Specifications to Explicit Designs in Reactive System Development (KL, DC, KA), pp. 49–68.

AFP-2002-HudakCNP02 #functional #programming

Arrows, Robots, and Functional Reactive Programming (PH, AC, HN, JP), pp. 159–187.

PPDP-2002-PembeciNH #domain-specific language #functional #integration

Functional reactive robotics: an exercise in principled integration of domain-specific languages (IP, HN, GDH), pp. 168–179.

ICLP-2002-Maher #constraints

Propagation Completeness of Reactive Constraints (MJM), pp. 148–162.

ICLP-2002-Sampath #modelling #multi

Modelling Multi-agent Reactive Systems (PS), p. 476.

ISSTA-2002-Stoller #clustering

Domain partitioning for open reactive systems (SDS), pp. 44–54.

VMCAI-2002-Shyamasundar #encryption #framework #protocol

Analyzing Cryptographic Protocols in a Reactive Framework (RKS), pp. 46–64.

VMCAI-2002-TipleaT #abstraction #simulation

A Simulation Preorder for Abstraction of Reactive Systems (FLT, AT), pp. 272–288.

CAiSE-2001-WieringaJ #design #tool support

Techniques for Reactive System Design: The Tools in TRADE (RW, DNJ), pp. 93–107.

PADL-2001-Courtney #functional #java #named #programming

Frappé: Functional Reactive Programming in Java (AC), pp. 29–44.

ASE-2000-Hall #legacy

Upgrading Legacy Instances of Reactive Systems (RJH), pp. 63–72.

FASE-2000-LanoAC #design #using

Structuring and Design of Reactive Systems Using RSDS and B (KL, KA, DC), pp. 97–111.

PLDI-2000-WanH #functional #programming

Functional reactive programming from first principles (ZW, PH), pp. 242–252.

IFM-2000-CansellMM #diagrams #verification

Predicate Diagrams for the Verification of Reactive Systems (DC, DM, SM), pp. 380–397.

TOOLS-USA-2000-AlagarOZ #realtime #testing

Specification-Based Testing for Real-Time Reactive Systems (VSA, OO, MZ), pp. 25–36.

PADL-2000-PetersonTS #functional #parallel #programming

Parallel Functional Reactive Programming (JP, VT, AS), pp. 16–31.

POPL-2000-AlurG #composition #refinement

Modular Refinement of Hierarchic Reactive Machines (RA, RG), pp. 390–402.

ICSE-2000-Bultan #model checking #specification

Action Language: a specification language for model checking reactive systems (TB), pp. 335–344.

LCTES-2000-BuddeP #modelling

Complex Reactive Control with Simple Synchronous Models (RB, AP), pp. 19–32.

CAV-2000-AlurGM #analysis #performance #reachability

Efficient Reachability Analysis of Hierarchical Reactive Machines (RA, RG, MM), pp. 280–295.

DATE-1999-WeissSR #embedded #operating system #performance #realtime #using

Emulation of a Fast Reactive Embedded System using a Real Time Operating System (KW, TS, WR), pp. 764–765.

ESOP-1999-Hudak #functional #programming

Functional Reactive Programming (Abstract) (PH), p. 1.

FASE-1999-CosicaR #concurrent #named

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems (EC, GR), pp. 77–97.

FASE-1999-Muller-OlmSC #algebra #approach #component #evolution #on the

On the Evolution of Reactive Components: A Process-Algebraic Approach (MMO, BS, RC), pp. 161–175.

WIA-1999-BergeronC #analysis

Analysis of Reactive Systems with n Timers (AB, RC), pp. 27–38.

IFM-1999-JulliandMM #composition #verification

Modular Verification of Dynamic Properties for Reactive Systems (JJ, PAM, HM), pp. 89–108.

IFM-1999-LanoA #distributed #refinement

Reactive System Refinement of Distributed Systems in B (KL, KA), pp. 415–434.

ICLP-1999-SatoF #learning #logic programming

Reactive Logic Programming by Reinforcement Learning (TS, SF), p. 617.

ASE-1998-Hall #generative #modelling

Explanation-based Scenario Generation for Reactive System Models (RJH), pp. 115–124.

DAC-1998-DasdanRG #embedded #realtime

Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems (AD, DR, RKG), pp. 263–268.

DATE-1998-PyttelSV #architecture #named #parallel #scalability

PSCP: A Scalable Parallel ASIP Architecture for Reactive Systems (AP, AS, CV), pp. 370–376.

ESOP-1998-MaraninchiR #named

Mode-Automata: About Modes and States for Reactive Systems (FM, YR), pp. 185–199.

FASE-1998-Heckel #composition #graph transformation #verification

Compositional Verification of Reactive Systems Specified by Graph Transformation (RH), pp. 138–153.

TACAS-1998-CharatonikP #analysis #infinity

Set-Based Analysis of Reactive Infinite-State Systems (WC, AP), pp. 358–375.

PLDI-1998-ColbyGJ #automation #source code

Automatically Closing Open Reactive Programs (CC, PG, LJJ), pp. 345–357.

LOPSTR-1998-Wolper #algorithm

Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract) (PW), p. 308.

LCTES-1998-Balarin #embedded #realtime

Priority Assignment for Embedded Reactive Real-Time Systems (FB), pp. 146–155.

CADE-1998-Malik #automation #deduction #finite #source code

Automated Deduction of Finite-State Control Programs for Reactive Systems (RM), pp. 302–316.

CAV-1998-ColonU #abstraction #finite #generative #using

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures (MC, TEU), pp. 293–304.

CAV-1998-Halbwachs #programming

Synchronous Programming of Reactive Systems (NH), pp. 1–16.

ASE-1997-Hall #automation #library #reasoning #using #validation

Reactive System Validation using Automated Reasoning over a Fragment Library (RJH), pp. 299–300.

DAC-1997-BalarinS #embedded #realtime #validation

Schedule Validation for Embedded Reactive Real-Time Systems (FB, ALSV), pp. 52–57.

DAC-1997-LiaoTG #design #hardware #implementation #modelling #performance

An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment (SYL, SWKT, RKG), pp. 70–75.

TACAS-1997-AlfaroM #verification #visual notation

Visual Verification of Reactive Systems (LdA, ZM, HBS, TEU), pp. 334–350.

TACAS-1997-BoigelotG #automation #source code #specification #synthesis

Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs (BB, PG), pp. 321–333.

FME-1997-Kellomaki #using #verification

Verification of Reactive Systems Using DisCo and PVS (PK), pp. 589–604.

FME-1997-LanoS #design

Design of Reactive Control Systems for Event-Drivem Operations (KL, AS), pp. 142–161.

ICFP-1997-ElliottH #animation #functional

Functional Reactive Animation (CE, PH), pp. 263–273.

HCI-CC-1997-Dabija #behaviour #communication

Communicating about Reactive Behaviors (VGD), pp. 31–34.

CAiSE-1997-TombrosGD #component #execution #semantics #workflow

Semantics of Reactive Components in Event-Driven Workflow Execution (DT, AG, KRD), pp. 409–422.

ICSE-1997-JagadeesanPPRV #case study #experience #testing #tool support

Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report) (LJJ, AAP, CP, JCR, LGV), pp. 525–535.

CAV-1997-Godefroid #analysis #automation #concurrent #named

VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software (PG), pp. 476–479.

CAV-1997-Saidi #automation #deduction #invariant #verification

The Invariant Checker: Automated Deductive Verification of Reactive Systems (HS), pp. 436–439.

ILPS-1997-Davila #logic #named

OPENLOG: A Logic Language to Program Reactive and Rational Agents (JAD), p. 406.

ILPS-1997-JussienB #constraints #maintenance

Best-First Search for Property Maintenance in Reactive Constraint Systems (NJ, PB), pp. 339–353.

ILPS-1997-Podelski #analysis #logic programming #source code

Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract) (AP), pp. 35–36.

TACAS-1996-NajmO

Reactive EFSMs — Reactive Promela/RSPIN (EN, FO), pp. 349–368.

ICPR-1996-TakacsW #detection #using

Attention and pattern detection using sensory and reactive control mechanisms (BT, HW), pp. 19–23.

PLILP-1996-Bagnara #implementation #using

A Reactive Implementation of Pos Using ROBDDs (RB), pp. 107–121.

POPL-1996-HughesPS #correctness #proving #using

Proving the Correctness of Reactive Systems Using Sized Types (JH, LP, AS), pp. 410–423.

CAV-1996-BjornerBCCKMSU #named #realtime #verification

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.

LICS-1996-AlurH

Reactive Modules (RA, TAH), pp. 207–218.

CHI-1995-CooperstockTBNB #evolution

Evolution of a Reactive Environment (JRC, KT, GB, TN, WB), pp. 170–177.

ICML-1995-Benson #induction #learning #modelling

Inductive Learning of Reactive Action Models (SB), pp. 47–54.

SEKE-1995-ChauC #semantics #syntax #visual notation

Visual Language Syntax and Semantics for Complex Reactive System (HLC, KFC), pp. 252–259.

ESEC-1995-VidalFG #modelling #performance

Instrumentation of Synchronous Reactive Models for Performance Engineering (AVV, MVF, JGG), pp. 76–89.

ICSE-1995-ArdisCJMPSO #case study #experience #framework #specification

A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report (MAA, JAC, LJJ, PM, CP, MGS, JVO), pp. 159–168.

CAV-1995-AlurH #composition #liveness #modelling

Local Liveness for Compositional Modeling of Fair Reactive Systems (RA, TAH), pp. 166–179.

ICLP-1995-FagesFS #constraints #logic programming

A Reactive Constraint Logic Programming Scheme (FF, JF, TS), pp. 149–163.

DAC-1994-ChouB #realtime #scheduling

Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems (PHC, GB), pp. 1–4.

KBSE-1994-Hall #incremental #rule-based #validation

Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.

VLDB-1994-ColletCS #composition #database #named #object-oriented #performance

NAOS — Efficient and Modular Reactive Capabilities in an Object-Oriented Database System (CC, TC, TS), pp. 132–143.

CHI-1994-Travers94b #interface #recursion

Recursive interfaces for reactive objects (MT), pp. 379–385.

KR-1994-Rao #formal method #recognition #towards

Means-End Plan Recognition — Towards a Theory of Reactive Recognition (ASR), pp. 497–508.

KR-1994-Selman

Near-Optimal Plans, Tractability, and Reactivity (BS), pp. 521–529.

ICRE-1994-BucciCNT #object-oriented #specification

An object-oriented dual language for specifying reactive systems (GB, MC, PN, MT), pp. 6–15.

ASPLOS-1994-LimA #algorithm #multi

Reactive Synchronization Algorithms for Multiprocessors (BHL, AA), pp. 25–35.

CAV-1994-AnuchitanukulM #synthesis

Realizability and Synthesis of Reactive Modules (AA, ZM), pp. 156–168.

CAV-1994-BeerBGGY #hardware #verification

Methodology and System for Practical Formal Verification of Reactive Hardware (IB, SBD, DG, RG, MY), pp. 182–193.

KBSE-1993-Hall #rule-based #validation

Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.

WSA-1993-Fernandez #abstract interpretation #verification

Abstract Interpretation and Verification of Reactive Systems (JCF), pp. 60–71.

FME-1993-AstesianoR #metalanguage #specification

A Metalanguage for the Formal Requirement Specification of Reactive Systems (EA, GR), pp. 110–128.

SEKE-1993-DingK #behaviour #specification #state machine

Attributed State Machines For Behavior Specification of Reactive Systems (SD, TK), pp. 695–702.

ECOOP-1993-GangopadhyayM #behaviour #named #specification

ObjChart: Tangible Specification of Reactive Object Behavior (DG, SM), pp. 432–457.

POPL-1993-BerryRS #communication #process

Communicating Reactive Processes (GB, SR, RKS), pp. 85–98.

SAC-1993-ClematisG #fault tolerance #source code

A Hierarchical Structure for Fault Tolerant Reactive Programs (AC, VG), pp. 208–214.

WSA-1992-CodishFMW #analysis #concurrent #constraints #logic programming #performance #source code

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs (MC, MF, KM, WHW), pp. 35–42.

AdaEurope-1992-ElradLV #adaptation #development

Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls (TE, SL, UV), pp. 242–256.

CAiSE-1992-OsmonS #design #information management #interactive #named

IDRIS: Interactive Design of Reactive Information Systems (PO, PS), pp. 494–506.

KR-1992-Haas

A Reactive Planner that Uses Explanation Closure (ARH), pp. 93–102.

ICSE-1992-RichardsonAO #testing

Specification-Based Test Oracles for Reactive Systems (DJR, SLA, TOO), pp. 105–118.

SOSP-WIP-1991-Marzullo92 #tool support

A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract) (KM), p. 23.

AdaEurope-1991-ElradW #3d #ada

The Use of Ada in Reactive Systems: A 3-Dimensional Model (TE, VW), pp. 20–36.

ML-1991-ChienGD #learning #on the

On Becoming Decreasingly Reactive: Learning to Deliberate Minimally (SAC, MTG, GD), pp. 288–292.

ML-1991-CobbG #learning #persistent

Learning the Persistence of Actions in Reactive Control Rules (HGC, JJG), pp. 292–297.

ML-1991-Gordon

An Enhancer for Reactive Plans (DFG), pp. 505–508.

ML-1991-Krulwich #learning

Learning from Deliberated Reactivity (BK), pp. 318–322.

ML-1990-GordonG #empirical

Explanations of Empirically Derived Reactive Plans (DFG, JJG), pp. 198–203.

ICSE-1990-JarvinenKSS #object-oriented #specification

Object-Oriented Specification of Reactive Systems (HMJ, RKS, MS, KS), pp. 63–71.

LICS-1990-GlabbeekSST #generative #modelling #probability #process

Reactive, Generative, and Stratified Models of Probabilistic Processes (RJvG, SAS, BS, CMNT), pp. 130–141.

ICALP-1989-AbadiLW #specification

Realizable and Unrealizable Specifications of Reactive Systems (MA, LL, PW), pp. 1–17.

ICALP-1989-PnueliR #on the #synthesis

On the Synthesis of an Asynchronous Reactive Module (AP, RR), pp. 652–671.

ML-1989-BlytheM #on the

On Becoming Reactive (JB, TMM), pp. 255–259.

ML-1989-GervasioD #learning

Explanation-Based Learning of Reactive Operations (MTG, GD), pp. 252–254.

ML-1989-Tallis #bias

Overcoming Feature Space Bias in a Reactive Environment (HT), pp. 505–508.

ML-1989-WhiteheadB

A Role for Anticipation in Reactive Systems that Learn (SDW, DHB), pp. 354–357.

POPL-1989-PnueliR #on the #synthesis

On the Synthesis of a Reactive Module (AP, RR), pp. 179–190.

NACLP-1989-GaifmanMS #behaviour #concurrent #constraints #logic programming #semantics #source code

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs (HG, MJM, EYS), pp. 553–569.

ICSE-1988-HarelLNPPSS #development

STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.

ICALP-1985-Pnueli #branch #linear #logic #semantics

Linear and Branching Structures in the Semantics and Logics of Reactive Systems (AP), pp. 15–32.