Communications of the ACM
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Concurrent algorithmic debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
LO and behold! Concurrent structured processes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A logical view of composition and refinement
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Making real-time reactive systems reliable
ACM SIGOPS Operating Systems Review
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Dynascope: a tool for program directing
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Simulating reactive systems by deduction
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented integration testing
Communications of the ACM
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reduction and slicing of hierarchical state machines
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Checking properties of safety critical specifications using efficient decision procedures
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Conceptual model of real-time systems: a perspective
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
Making real-time reactive systems reliable
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
STATEMATE: a working environment for the development of complex reactive systems
Readings in hardware/software co-design
The synchronous approach to reactive and real-time systems
Readings in hardware/software co-design
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
Discrete Event Dynamic Systems
On disjunction of literals in triggers of statecharts transitions
Information Processing Letters
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
An Ecosystem-Inspired Mobile Agent Middleware for Active Network Management
MATA '02 Proceedings of the 4th International Workshop on Mobile Agents for Telecommunication Applications
A Causal Semantics for Timed Default Concurrent Constraint Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Techniques for Reactive System Design: The Tools in TRADE
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Coverage Metrics for Temporal Logic Model Checking
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Analyzing Cryptographic Protocols in a Reactive Framework
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Open Systems in Reactive Environments: Control and Synthesis
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
An Axiomatic Semantics for the Synchronous Language Gentzen
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
On Semantics and Correctness of Reactive Rule-Based Programs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Decidable Dense Branching-Time Temporal Logic
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Computing Environment-Aware Agent Behaviours with Logic Program Updates
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Trading Probability for Fairness
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
Concurrency and Hardware Design, Advances in Petri Nets
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Model checking: a tutorial overview
Modeling and verification of parallel processes
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
Handbook of automated reasoning
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Specification-Based Testing for Real-Time Reactive Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Feature specification and automated conflict detection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The Declarative Problem Frame: Designing Systems that Create and Use Norms
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A lattice-theoretic characterization of safety and liveness
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Specifying reactive systems with attributed finite state machines
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
ADVcharts: a graphical specification for abstract data views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
A reactive system architecture for building fault-tolerant distributed applications
Journal of Systems and Software
Timed constraint programming: a declarative approach to usage control
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
CONCUR 2005 - Concurrency Theory
Checking the Satisfiability of Formulas Represented in Disjunctive Normal Form in the Language L. I
Cybernetics and Systems Analysis
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Coverage metrics for temporal logic model checking
Formal Methods in System Design
Comprehensive and realistic modeling of biological systems
Proceedings of the 38th conference on Winter simulation
Compositional Synthesis of Generalized Mealy Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Modal Specifications for the Control Theory of Discrete Event Systems
Discrete Event Dynamic Systems
A polynomial dynamic system approach to software design for attractivity requirement
Information Sciences: an International Journal
Graphical inheritance notation for state-based classes
Programming and Computing Software
Towards Trace Visualization and Exploration for Reactive Systems
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Automated generation of test suites from formal specifications of real-time reactive systems
Journal of Systems and Software
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Electronic Notes in Theoretical Computer Science (ENTCS)
Using LSCs for scenario authoring in tactical simulators
Proceedings of the 2007 Summer Computer Simulation Conference
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Worst Case Reaction Time Analysis of Concurrent Reactive Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Early quality monitoring in the development of real-time reactive systems
Journal of Systems and Software
Theory and Practice of Probabilistic Timed Game for Embedded Systems
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Statecharts in the making: a personal account
Communications of the ACM - Being Human in the Digital Age
Practical Efficient Modular Linear-Time Model-Checking
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Reactive mode handling of flexible manufacturing systems
Mathematics and Computers in Simulation
Reconciling statechart semantics
Science of Computer Programming
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Crafting game-models using reactive system design
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
Compilation and worst-case reaction time analysis for multithreaded Esterel processing
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Executable Contracts for Incremental Prototypes of Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Based Software Engineering and Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Experimenting statecharts for multiple experts knowledge elicitation in agriculture
Expert Systems with Applications: An International Journal
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
STARPro --- A new multithreaded direct execution platform for Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling biological reactivity: statecharts vs. Boolean logic
Proceedings of the Working Conference on Advanced Visual Interfaces
Verification of the Lyee requirement
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Implementing Reactive Systems with UML State Machines and Ada 2005
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Empirical Software Engineering
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Model checking correctness properties of a middleware service for contract compliance
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
A new multithreaded architecture supporting direct execution of Esterel
EURASIP Journal on Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Towards a Reactive Semantic Execution Environment
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Synchronous Dataflow Pattern Matching
Electronic Notes in Theoretical Computer Science (ENTCS)
Designing state-based systems with entity-life modeling
Journal of Systems and Software
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Aligning application architecture to the business context
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Enriched µ-calculi module checking
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Enriched µ-calculus pushdown module checking
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Some thoughts on the semantics of biocharts
Time for verification
What is in a step: new perspectives on a classical question
Time for verification
Modeling Biology using Generic Reactive Animation
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Coping with selfish on-going behaviors
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Requirements engineering in complex domains
Graph transformations and model-driven engineering
Communications of the ACM
Bridging the gap between two concurrent constraint languages
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Contracts for multi-instance UML activities
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Software and Systems Modeling (SoSyM)
Declaratively programming the mobile web with Mobl
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Formal analysis of online algorithms
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Immune system computation and the immunological homunculus
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Coping with selfish on-going behaviors
Information and Computation
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Formal verification of backward compatibility of microcode
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Mode-automata based methodology for scade
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
New state-recognition patterns for conformance testing of finite state machine implementations
Computer Standards & Interfaces
Recent challenges and ideas in temporal synthesis
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Towards a notion of unsatisfiable and unrealizable cores for LTL
Science of Computer Programming
Communications of the ACM
Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers
Science of Computer Programming
Argos: an automaton-based synchronous language
Computer Languages
Controller patterns for component-based reactive control software systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Compositional Synthesis of Generalized Mealy Machines
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Fundamenta Informaticae
AGERE!: programming based on actors, agents, and decentralized control
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Pushdown module checking with imperfect information
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
Assume-guarantee scenarios: semantics and synthesis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
On temporal logic and signal processing
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Pushdown module checking with imperfect information
Information and Computation
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
A research roadmap towards achieving scalability in model driven engineering
Proceedings of the Workshop on Scalability in Model Driven Engineering
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Vibes: A visual language for specifying behavioral requirements of algorithms
Journal of Visual Languages and Computing
Information and Computation
Exploring system architectures in AADL via Polychrony and SynDEx
Frontiers of Computer Science: Selected Publications from Chinese Universities
A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science: Selected Publications from Chinese Universities
Using transition systems to describe and predict the behaviour of structured excitable media
Natural Computing: an international journal
Synthesis of hierarchical systems
Science of Computer Programming
| Hi-index | 0.07 |