Detection of stable properties in distributed applications
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Communications of the ACM
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
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 &ohgr;-automata and temporal logic
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Toward reliable reactive systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
An operational semantics of real time design language RT-CDL
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software development
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Fitting formal methods into the design cycle
DAC '94 Proceedings of the 31st annual Design Automation Conference
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Hardware/software codesign: a perspective
ICSE '91 Proceedings of the 13th international conference on Software engineering
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Executing specifications of distributed computations with Chronolog(MC)
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
An automata-theoretic approach to modular model checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
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
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Distributed Information Systems: An Advanced Methodology
IEEE Transactions on Software Engineering
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
Modal Transition Systems: A Foundation for Three-Valued Program Analysis
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Abstraction-Based Model Checking Using Modal Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Feature Interaction Detection Using Testing and Model-Checking Experience Report
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
REFLIX: A Processor Core for Reactive Embedded Applications
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
Analysis and Verification of Multi-Agent Interaction Protocols
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Specifying reactive systems by abstract events
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Verification of distributed programs using representative interleaving sequences
Distributed Computing
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
P-A logic: a compositional proof system for distributed programs
Distributed Computing
Translating Java for Multiple Model Checkers: The Bandera Back-End
Formal Methods in System Design
Information and Computation
Properties Incompleteness Evaluation by Functional Verification
IEEE Transactions on Computers
On the effect of test-suite reduction on automatically generated model-based tests
Automated Software Engineering
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Engineering android applications based on UML activities
Proceedings of the 14th international conference on Model driven engineering languages and systems
A dynamic assertion-based verification platform for validation of UML designs
ACM SIGSOFT Software Engineering Notes
Regular linear temporal logic with past
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Reactive semantics for distributed UML activities
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Development of concurrent systems in B AMN
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Fundamenta Informaticae
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
| Hi-index | 0.02 |