Search results for "reactive system"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Noriaki Yoshiura	Decision Procedures for Several Properties of Reactive System Specifications.	ISSS	2003	DBLP DOI BibTeX RDF	Specification Description, Temporal Logic, Reactive System
2	David Harel, Itai Segall, Hillel Kugler, Yaki Setty	Crafting game-models using reactive system design.	Future Play	2008	DBLP DOI BibTeX RDF	simulators, game design, statecharts, systems biology, live sequence charts
2	Noriaki Yoshiura	Finding the Causes of Unrealizability of Reactive System Formal Specifications.	SEFM	2004	DBLP DOI BibTeX RDF
2	Pei Yu, Qiwen Xu	Checking Interval Based Properties for Reactive Systems.	VMCAI	2004	DBLP DOI BibTeX RDF	finitary property, model checking, reactive system, interval temporal logic
2	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	2003	DBLP DOI BibTeX RDF	bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity
2	Na'aman Kam, Irun R. Cohen, David Harel	The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts.	HCC	2001	DBLP DOI BibTeX RDF
2	Robert J. Hall	Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design.	FMSP	2000	DBLP DOI BibTeX RDF	Formal Methods, Reactive Systems, Electronic Mail
2	Robert J. Hall	Reactive System Validation using Automated Reasoning over a Fragment Library. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
2	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi	Tearing based automatic abstraction for CTL model checking.	ICCAD	1996	DBLP DOI BibTeX RDF	ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition
1	Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki	Extracting Environmental Constraints to Make Reactive System Specifications Realizable.	APSEC	2009	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: logic-based LSC consistency checking.	PPDP	2009	DBLP DOI BibTeX RDF	play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming
1	Blanca Mancilla, John Plaice	Declarative Multithreaded Programming.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Nigamanth Sridhar, Jason O. Hallstrom	A specification idiom for reactive systems.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Eduardo Rondon, Isabelle Fantoni-Coichot, Anand Sanchez, Guillaume Sanahuja	Optical flow-based controller for reactive and relative navigation dedicated to a four rotor rotorcraft.	IROS	2009	DBLP DOI BibTeX RDF
1	Hillel Kugler, Cory Plock, Amir Pnueli	Controller Synthesis from LSC Requirements.	FASE	2009	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn	Stochastic Games with Finitary Objectives.	MFCS	2009	DBLP DOI BibTeX RDF
1	Hillel Kugler, Itai Segall	Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications.	TACAS	2009	DBLP DOI BibTeX RDF
1	Kevin Lano	A compositional semantics of UML-RSDS.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	UML semantics, UML-RSDS, Model transformations
1	David Harel, Itai Segall	Visualizing inter-dependencies between scenarios.	SOFTVIS	2008	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar	The Complexity of Coverage.	APLAS	2008	DBLP DOI BibTeX RDF
1	César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna	The Reaction Algebra: A Formal Language for Event Correlation.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
1	David Harel, Yaki Setty	Generic Reactive Animation: Realistic Modeling of Complex Natural Systems.	FMSB	2008	DBLP DOI BibTeX RDF
1	Guilherme Rangel, Barbara König, Hartmut Ehrig	Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Davide Grohmann	Security, Cryptography and Directed Bigraphs.	ICGT	2008	DBLP DOI BibTeX RDF
1	Stefan Leue, Alin Stefanescu, Wei Wei	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.	SPIN	2008	DBLP DOI BibTeX RDF
1	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF
1	Ikuo Mizuuchi, Tamaki Nishino, Yoshinao Sodeyama, Yuto Nakanishi, Yuta Namiki, Tomoaki Yoshikai, Masayuki Inaba	An autonomous reactive system for humanoids equipped with very many actuators and sensors.	Humanoids	2007	DBLP DOI BibTeX RDF
1	Ian East	Concurrent/Reactive System Design with Honeysuckle.	CPA	2007	DBLP BibTeX RDF
1	Robert J. Hall	Rteq: modeling and validating infinite-state hard-real-time systems.	ASE	2007	DBLP DOI BibTeX RDF	GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time
1	Paul Tarvydas, Norm Sanford	Software architecture using fine-grained event-driven reactive components.	DEBS	2007	DBLP DOI BibTeX RDF	components, event-driven, reactive
1	Dubravka Ilic	Deriving Formal Specifications from Informal Requirements.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Paolo Arena, Luigi Fortuna, Mattia Frasca, Luca Patané, C. Sala	Integrating high-level sensor features via STDP for bio-inspired navigation.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati	Multiform Time in UML for Real-time Embedded Applications.	RTCSA	2007	DBLP DOI BibTeX RDF
1	Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati	A multiform time approach to real-time system modeling; Application to an automotive system.	SIES	2007	DBLP DOI BibTeX RDF
1	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.	CADE	2007	DBLP DOI BibTeX RDF
1	Takumi Endo, Yuichi Goto, Jingde Cheng	Measuring Reactability of Persistent Computing Systems.	Software Composition	2007	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger	Games, Time, and Probability: Graph Models for System Design and Analysis.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Rajeev Alur, Pavol Cerný, Swarat Chaudhuri	Model Checking on Trees with Path Equivalences.	TACAS	2007	DBLP DOI BibTeX RDF
1	Doron Drusinsky	Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking.		2006	RDF
1	Simon Tjell	Model-based Testing of a Reactive System with Coloured Petri Nets.	GI Jahrestagung	2006	DBLP BibTeX RDF
1	Wilhelm Dangelmaier, Kiran R. Mahajan, Thomas Seeger, Benjamin Klöpper, Mark Aufenanger	Simulation assisted optimozation and real-time control aspects of flexible production systems subject to disturbances.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Mohammed Berrada, Bouchaib Bounabat, Mostafa Harti	Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation.	IAT	2006	DBLP DOI BibTeX RDF
1	Zhifeng Lai, S. C. Cheung, Yunfei Jiang	Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework.	QSIC	2006	DBLP DOI BibTeX RDF
1	Victor L. Winter, Deepak Kapur	Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
1	Lina Peng, K. Selçuk Candan	Confidence-driven early object elimination in quality-aware sensor workflows.	DMSN	2005	DBLP DOI BibTeX RDF	sensor workflows, data stream management
1	Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger	Model-based run-time monitoring of end-to-end deadlines.	EMSOFT	2005	DBLP DOI BibTeX RDF	RT CORBA, quality of service, components, code generation, services, runtime monitoring, service engineering
1	Jingde Cheng	Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems.	AINA	2005	DBLP DOI BibTeX RDF
1	Changgui Chen, Wei Dai	A Multi-Agent Infrastructure for Information Systems Integration.	SKG	2005	DBLP DOI BibTeX RDF
1	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe	Quasi-static scheduling of independent tasks for reactive systems.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
1	Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng	Security in Persistently Reactive Systems.	EUC Workshops	2005	DBLP DOI BibTeX RDF
1	César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna	Expressive Completeness of an Event-Pattern Reactive Programming Language.	FORTE	2005	DBLP DOI BibTeX RDF
1	Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham	A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	efficient memory models, embedded memory verification, custom circuit verification, equivalence checking, symbolic trajectory evaluation
1	Claude Jard, Thierry Jéron	TGV: theory, principles and algorithms.	STTT	2005	DBLP DOI BibTeX RDF	Test generation/synthesis, Model-checking, Protocols, Reactive systems, Conformance testing, Transition systems
1	Changgui Chen, Weijia Jia, Wanlei Zhou	A reactive system architecture for building fault-tolerant distributed applications.	Journal of Systems and Software	2004	DBLP DOI BibTeX RDF
1	Marc Geilen, Twan Basten	Reactive process networks.	EMSOFT	2004	DBLP DOI BibTeX RDF	signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing
1	Cristina Cerschi Seceleanu, Tiberiu Seceleanu	Modular Design of Reactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Concurrency, Reactive systems, Modular design, Action systems
1	David Harel	A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah	A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.	PDPTA	2003	DBLP BibTeX RDF
1	Robert J. Hall	A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	supermodel, validation, evolution, reactive system, upgrading
1	Hans Vangheluwe, Juan de Lara	Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Sukhamay Kundu	Modeling Complex Systems by A Set of Interacting Finite-State Models.	APSEC	2003	DBLP DOI BibTeX RDF	communication among finite-state models, design optimization, finite-state models
1	Steven P. Reiss	Event-Based Performance Analysis. (PDF / PS)	IWPC	2003	DBLP DOI BibTeX RDF
1	Rik Eshuis, Juliane Dehnert	Reactive Petri Nets for Workflow Modeling.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern	Formal Modeling of C. elegans Development: A Scenario-Based Approach.	CMSB	2003	DBLP DOI BibTeX RDF
1	Changgui Chen, Wanlei Zhou	Towards an Interactive Architecture for Web-Based Databases.	GCC	2003	DBLP DOI BibTeX RDF
1	David Harel	A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.	HSCC	2003	DBLP DOI BibTeX RDF
1	Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin	Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.	ICFEM	2003	DBLP DOI BibTeX RDF
1	Changgui Chen, Wanlei Zhou	A Solution for Fault-Tolerance in Replicated Database Systems.	ISPA	2003	DBLP DOI BibTeX RDF
1	Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres	Specifying and Validating Reactive Systems with CommonKADS Methodology.	KES	2003	DBLP DOI BibTeX RDF
1	Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh	Visual Modeling and Verification of Distributed Reactive Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
1	Robert J. Hall	Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design.	Autom. Softw. Eng.	2002	DBLP DOI BibTeX RDF
1	Kevin Lano, David Clark, Kelly Androutsopoulos	From Implicit Specifications to Explicit Designs in Reactive System Development.	IFM	2002	DBLP DOI BibTeX RDF	B AMN, RSDS, model-checking, UML, Reactive Systems
1	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
1	Scott D. Stoller	Domain partitioning for open reactive systems.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Doug Goldson	Formal Verification of mu-Charts.	APSEC	2002	DBLP DOI BibTeX RDF	µ-charts, formal verification, refinement, CSP
1	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe	Quasi-Static Scheduling of Independent Tasksfor Reactive Systems.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Robin Milner	Bigraphs as a Model for Mobile Interaction.	ICGT	2002	DBLP DOI BibTeX RDF
1	Mahmoud Tchikou, Eric Gouardères	Multi-agent Model to Control Production System: A Reactive and Emergent Approach by Cooperation and Competition between Agents.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF
1	Daniel Rossier-Ramuz, Rudolf Scheurer	An Ecosystem-Inspired Mobile Agent Middleware for Active Network Management.	MATA	2002	DBLP DOI BibTeX RDF
1	Bertrand Jeannet	Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.	SAS	2002	DBLP DOI BibTeX RDF
1	Roel Wieringa, David N. Jansen	Techniques for Reactive System Design: The Tools in TRADE.	CAiSE	2001	DBLP DOI BibTeX RDF
1	Stéphane Donikian	HPTS: a behaviour modelling language for autonomous agents.	Agents	2001	DBLP DOI BibTeX RDF	behaviour modelling language, agent architectures, believability, synthetic agents
1	Mesfin Belachew, R. K. Shyamasundar	MSC+: From Requirement to Prototyped Systems.	ECRTS	2001	DBLP DOI BibTeX RDF	hMSCs, Requirement Specification, Preemption, MSCs
1	Matthias Scheutz, Brigitte Römmer	Autonomous Avatars? From Users to Agents and Back.	IVA	2001	DBLP DOI BibTeX RDF
1	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Applied Categorical Structures	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
1	Robert J. Hall	Explanation-Based Scenario Generation for Reactive System Models.	Autom. Softw. Eng.	2000	DBLP DOI BibTeX RDF
1	Takenobu Aoshima, Naoki Yonezaki	An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications.	EJC	2000	DBLP BibTeX RDF
1	Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi	System Requirements and Formal Specifications of Hierarchical Reactive Systems. (PDF / PS)	ICPADS	2000	DBLP DOI BibTeX RDF	Formal Specification, Reactive System, System Requirement, State Transition System, Soundness and Completeness
1	Vangalur S. Alagar, D. Muthiayen	Towards a mechanical verification of real-time reactive systems modeled in UML.	RTCSA	2000	DBLP DOI BibTeX RDF	Prototype Verification System, real-time systems, UML, Unified Modeling Language, formal specification, object-oriented programming, program verification, specification languages, PVS, notation, safety-critical applications, mechanical verification, real-time reactive systems, design analysis, object-based systems
1	Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng	Specification-Based Testing for Real-Time Reactive Systems.	TOOLS	2000	DBLP DOI BibTeX RDF	complexity, information theory, software measurement, Real-time reactive systems
1	Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan	Invariant-Based Synthesis of Fault-Tolerant Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin	Specification and Verification of a Steam-Boiler with Signal-Coq.	TPHOLs	2000	DBLP DOI BibTeX RDF	the steam-boiler problem, theorem proving, synchronous programming
1	Antonio Cau	Composing and Refining Dense Temporal Logic Specifications.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Temporal logic, Refinement, Compositionality
1	Kevin Lano, Kelly Androutsopoulos	Reactive System Refinement of Distributed Systems in B.	IFM	1999	DBLP BibTeX RDF
1	Jaeho Lee	Reactive-System Approaches to Agent Architectures.	ATAL	1999	DBLP DOI BibTeX RDF
1	Olivier Roux, Vlad Rusu, Franck Cassez	Hybrid Verifications of Reactive Programs.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Model checking, Real time, Hybrid system, Asynchronism, Reactive system
1	Anders P. Ravn, Hans Rischel	Real-Time Constraints Through the ProCoS Layers.	Correct System Design	1999	DBLP DOI BibTeX RDF	design, embedded system, real-time, formal specification, requirements, hybrid system
1	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
1	Bouchaib Bounabat, Rahal Romadi, Salah Labhalla	Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents.	PRIMA	1999	DBLP DOI BibTeX RDF	Reactive agent, verification, formal methods, specification, Reactive systems