Building a visual designer's environment
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
The Formal Specification and Design of a Distributed Electronic Funds-Transfer System
IEEE Transactions on Computers
Synchronization of asynchronous processes in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
A predicate transformer approach to semantics of parallel programs
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Declarative visualization in the shared dataspace paradigm
ICSE '89 Proceedings of the 11th international conference on Software engineering
Design by decomposition of multiparty interactions in Raddle87
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Block acknowledgement: redesigning the window protocol
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Partial order programming (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms
IEEE Transactions on Software Engineering
The composition of concurrent programs
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
An exercise in the formal derivation of parallel programs: maximum flows in graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
A decidable temporal logic to reason about many processes
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Reasoning about probabilistic algorithms
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fairness and hyperfairness in multi-party interactions
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Transforming rule-based programs: from the sequential to the parallel
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Coordinating first-order multiparty interactions
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prove
IEEE Transactions on Software Engineering
Teaching calculation and discrimination: a more effective curriculum
Communications of the ACM
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Searching in parallel: a case study with the single-source shortest path algorithm
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A space-efficient parallel garbage compaction algorithm
ICS '91 Proceedings of the 5th international conference on Supercomputing
Fine-grain parallelism in the ALPS programming language
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
UC: a language for the connection machine
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Scheduling parallel programs with non-uniform parallelism profiles
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
IEEE Transactions on Software Engineering
Rewriting as a unified model of concurrency
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
A stepwise refinement heuristic for protocol construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient fault tolerant algorithms for resource allocation in distributed systems
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Simulation of communications architecture specifications using Prolog
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A unifying framework for distributed simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on parallel and distributed systems performance
Elements for a course on the design of distributed algorithms
ACM SIGCSE Bulletin
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Seeking concurrency in rule-based programming
ICSE '92 Proceedings of the 14th international conference on Software engineering
Integrating the heterogeneous control properties of software modules
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Programming by multiset transformation
Communications of the ACM
ACM Computing Surveys (CSUR)
Simulation of communications architecture specifications using Prolog
ACM SIGAPP Applied Computing Review
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
Fast, scalable synchronization with minimal hardware support
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Reducing BDD size by exploiting functional dependencies
DAC '93 Proceedings of the 30th international Design Automation Conference
A parallelized search strategy for solving a multicriteria aircraft routing problem
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Journal of the ACM (JACM)
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Portable, unobtrusive garbage collection for multiprocessor systems
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about probabilistic parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Adding fair choice to Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
A methodology for designing communication protocols
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Teaching parallel programming and software engineering concepts to high school students
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
eText: an interactive environment for learning parallel programming
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Powerlist: a structure for parallel recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using k-exclusion to implement resilient, scalable shared objects (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Proving time bounds for randomized distributed algorithms
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Derivation of fault tolerance properties of distributed algorithms
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A method for partitioning UNITY language in hardware and software
EURO-DAC '94 Proceedings of the conference on European design automation
Deducing fairness properties in UNITY logic—a new completeness result
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient fault-tolerant algorithms for distributed resource allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Decompositional Approach to the Design of Parallel Programs
IEEE Transactions on Software Engineering
Byzantine Agreement in a Generalized Connected Network
IEEE Transactions on Parallel and Distributed Systems
On isolation, concurrency, and the Venus rule language
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Liveness conditions in model-based service specifications: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Formal verification of timed properties of randomized distributed algorithms
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Programming parallel algorithms
Communications of the ACM
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Assertional reasoning about pairwise transient interactions in mobile computing
Proceedings of the 18th international conference on Software engineering
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
An approach to the formal verification of cryptographic protocols
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
A case study of Venus and a declarative basis for rule modules
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Prototyping a parallel discrete event simulation system in Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Localizing Failures in Distributed Synchronization
IEEE Transactions on Parallel and Distributed Systems
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Distributed termination detection for dynamic systems
Parallel Computing
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
IEEE Transactions on Parallel and Distributed Systems
Hardware/software codesign: a perspective
ICSE '91 Proceedings of the 13th international conference on Software engineering
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Declarative Ada: parallel dataflow programming in a familiar context
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Team automata for groupware systems
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Expressing code mobility in mobile UNITY
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
Compositional refinement of interactive systems
Journal of the ACM (JACM)
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Synthesis of concurrent systems with many similar processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
An experience in the formal verification of industrial software
Communications of the ACM - Electronic supplement to the December issue
An integrated course on parallel and distributed processing
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Formal Verification of Concurrent Programs Using the Larch Prover
IEEE Transactions on Software Engineering
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Strong Interaction Fairness Via Randomization
IEEE Transactions on Parallel and Distributed Systems
Asynchronous group mutual exclusion (extended abstract)
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
IEEE Transactions on Software Engineering
Reasoning about implicit invocation
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
International Journal of Parallel Programming
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
A Functional Rephrasing of the Assumption/Commitment Specification Style
Formal Methods in System Design
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling deflection networks: design and specification
Proceedings of the 1999 ACM symposium on Applied computing
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Proceedings of the 20th international conference on Software engineering
Proceedings of the 21st international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Linking simulation model specification and parallel execution through UNITY
WSC '91 Proceedings of the 23rd conference on Winter simulation
Simulation program development by stepwise refinement in UNITY
WSC '91 Proceedings of the 23rd conference on Winter simulation
The cost of terminating synchronous parallel discrete-event simulations
WSC '91 Proceedings of the 23rd conference on Winter simulation
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Procedure-Level Verification of Real-time Concurrent Systems
Real-Time Systems
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View
Formal Methods in System Design
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Getting started with parallel programming
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Checking progress with action priority: is it fair?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rule-based query optimization, revisited
Proceedings of the eighth international conference on Information and knowledge management
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Language concepts using dynamic and distributed objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
Unlinkable serial transactions: protocols and applications
ACM Transactions on Information and System Security (TISSEC)
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Heterogeneous programming with concurrent objects
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
IEEE Transactions on Software Engineering
ACM Transactions on Computational Logic (TOCL)
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Toward a theory of maximally concurrent programs (shortened version)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
SMC: a symmetry-based model checker for verification of safety and liveness properties
ACM Transactions on Software Engineering and Methodology (TOSEM)
High-level specification and efficient implementation of pipelined circuits
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Efficient Implementation of high-level parallel programs
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
Mobile agent security with the IPEditor development tool and the mobile UNITY language
Proceedings of the fifth international conference on Autonomous agents
Formal reasoning about actor programs using temporal logic
Concurrent object-oriented programming and petri nets
The specification and testing of quantified progress properties in distributed systems
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Partial correctness for probabilistic demonic programs
Theoretical Computer Science
Mechanizing a theory of program composition for UNITY
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rule-based management of distributed operating systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
A calculus of superimpositions for distributed systems
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Theoretical Computer Science
Specifying multithreaded Java semantics for program verification
Proceedings of the 24th International Conference on Software Engineering
Proceedings of the 24th International Conference on Software Engineering
An Experiment in Program Composition and Proof
Formal Methods in System Design
A Simple, Object-Based View of Multiprogramming
Formal Methods in System Design
A Notation and Logic for Mobile Computing
Formal Methods in System Design
Reduction and Quantifier Elimination Techniques for Program Validation
Formal Methods in System Design
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
Automated Software Engineering
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Mark, a Reasoning Kit for Mobility
Automated Software Engineering
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
On optimization of continuous-time Markov networks in distributed computing
Journal of Global Optimization
A survey of theories for mobile agents
World Wide Web
Architectural primitives for distribution and mobility
ACM SIGSOFT Software Engineering Notes
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
IEEE Software
A Reference Model for Requirements and Specifications
IEEE Software
Nest: A Nested-Predicate Scheme for Fault Tolerance
IEEE Transactions on Computers
Development of a Class of Distributed Termination Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
Checkpointing for Distributed Databases: Starting from the Basics
IEEE Transactions on Parallel and Distributed Systems
Dynamic Synchrony Among Atomic Actions
IEEE Transactions on Parallel and Distributed Systems
Fault-Tolerant Algorithms for Fair Interprocess Synchronization
IEEE Transactions on Parallel and Distributed Systems
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
Formal Derivation of Concurrent Programs: An Example from Industry
IEEE Transactions on Software Engineering
Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Reasoning About Places, Times, and Actions in the Presence of Mobility
IEEE Transactions on Software Engineering
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Theoretical Computer Science - Dependable computing
Stabilization-preserving atomicity refinement
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Token-based self-stabilizing uniform algorithms
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Analysis of an Industrial System
Formal Methods in System Design
An Approach to Composition Motivated by wp
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Thread-Modular Verification for Shared-Memory Programs
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Specifying and verifying a railroad crossing with CafeOBJ
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Refinement Based Validation of an Algorithm for Detecting Distributed Termination
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Using BDDs with Combinations of Theories
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
High-Performance Computing in Geomechanics by a Parallel Finite Element Approach
PARA '00 Proceedings of the 5th International Workshop on Applied Parallel Computing, New Paradigms for HPC in Industry and Academia
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
A Compositional Approach to Connector Construction
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Translation Validation: From SIGNAL to C
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Stabilization-Preserving Atomicity Refinement
Proceedings of the 13th International Symposium on Distributed Computing
Proceedings of the 13th International Symposium on Distributed Computing
Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Formal Verification of the MCS List-Based Queuing Lock
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Algebraic Semantics of Coordination or What Is in a Signature
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Refining Interactions in a Distributed System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Locales - A Sectioning Concept for Isabelle
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A Structural Embedding of Ocsid in PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Formal Verification of the Horn-Preneel Micropayment Protocol
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Efficient Synchronization of Asynchronous Processes
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Orchestrating Computations on the World-Wide Web
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Combining Theorem Proving and Model Checking through Symbolic Analysis
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Unifying Approach to Data-Independence
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Randomized Non-sequential Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification of Randomized Distributed Algorithms
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Proofs for Concurrent Objects
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification in Linear-Time Temporal Logic
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
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
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Liberating Object-Oriented Modeling from Programming-Level Abstractions
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Action Systems with Continuous Behaviour
Hybrid Systems V
Composing Specifications for Coordination
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Principled Semantics for inp
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Hybrid Models for Mobile Computing
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Playing with Abstraction and Refinement for Managing Features Interactions
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Incremental Proof of the Producer/Consumer Property for the PCI Protocol
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Global Virtual Time Approximation for Split Queue Time Warp
ParNum '99 Proceedings of the 4th International ACPC Conference Including Special Tracks on Parallel Numerics and Parallel Computing in Image Processing, Video Processing, and Multimedia: Parallel Computation
On Verification in Logic Database Languages
CL '00 Proceedings of the First International Conference on Computational Logic
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Interference Analysis for Dependable Systems Using Refinement and Abstraction
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Towards a Compositional Approach to the Design and Verification of Distributed Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Verifying Intuition - ILF Checks DAWN Proofs
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Symbolic Analysis of Transition Systems
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
XASM - An Extensible, Component-Based ASM Language
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
How to Write a Healthiness Condition
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Parallelization of Finite Element Package by MPI Library
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Introducing Mutual Exclusion in Esterel
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Wanted: a compositional approach to concurrency
Programming methodology
Programming methodology
Automated verification using deduction, exploration, and abstraction
Programming methodology
Concurrent/Distributed programming illustrated using the dining philosophers problem
Journal of Computing Sciences in Colleges
Journal of Symbolic Computation
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
Theoretical Computer Science
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Formal analysis of Suzuki & Kasami distributed mutual exclusion algorithm
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Incremental requirement specification for evolving systems
Nordic Journal of Computing
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Quorum-Based Algorithms for Group Mutual Exclusion
IEEE Transactions on Parallel and Distributed Systems
Template-based program restructuring - initial experience
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
The specification of distributed objects: liveness and locality
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Formal Specification of a Reactive System: An Exercise in VHDL, LOTOS and UNITY
EDTC '96 Proceedings of the 1996 European conference on Design and Test
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Towards a model of storage jamming
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
A world-wide distributed system using Java and the Internet
HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Formal Hazard Analysis of Hybrid Systems in cTLA
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
A Tool for Testing Liveness in Distributed Object Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formally Specifying and Verifying Real-Time Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Visual Presentation of Software Specifications and Designs
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
An Exercise in Formal Reasoning about Mobile Communications
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
Proceedings of the 16th IEEE international conference on Automated software engineering
Journal of Computer Science and Technology
Parallel assignment to distinct identities in arbitrary networks
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Tight Space Self-stabilizing Uniform l-Mutual Exclusion
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A General Resource Allocation Synchronization Problem
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
The priority queue as an example of hardware/software codesign
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Specification and refinement of a message router
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
PoliS: a programming model for multiple tuple spaces
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Techniques for the design of communicating processes
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Developing reactive systems in a VDM framework
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Swarming over the software barrier
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Automated Software Engineering
Synthesis of fault-tolerant concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Final coalgebras as greatest fixed points in ZF set theory
Mathematical Structures in Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Real-Time Imaging - Special issue on software engineering
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
Modular scheduling of guarded atomic actions
Proceedings of the 41st annual Design Automation Conference
Proceedings of the 26th International Conference on Software Engineering
On model checking data-independent systems with arrays without reset
Theory and Practice of Logic Programming
ACM SIGSOFT Software Engineering Notes
Concurrent programming in the shared dataspace paradigm
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Simulation and verification I: from simulation to verification (and back)
Proceedings of the 35th conference on Winter simulation: driving innovation
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks
Automated Software Engineering
Automatic verification for a class of distributed systems
Distributed Computing
A note on knowledge-based programs and specifications
Distributed Computing
Progress under bounded fairness
Distributed Computing
Distributed Computing
Safety assurance via on-line monitoring
Distributed Computing
Wait-free linearization with an assertional proof
Distributed Computing
Distributed Computing
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems
An incremental specification of the sliding-window protocol
Distributed Computing
Distributed Computing - Special issue: Verification of lazy caching
Distributed Computing - Special issue: Verification of lazy caching
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A rigorous environment for development of concurrent systems
Nordic Journal of Computing
Some impossibility results in interprocess synchronization
Distributed Computing
Fairness and hyperfairness in multi-party interactions
Distributed Computing
Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Convergence of iteration systems
Distributed Computing - Special issue: Self-stabilization
Using local-spin k-exclusion algorithms to improve wait-free object implementations
Distributed Computing
Adaptive solutions to the mutual exclusion problem
Distributed Computing
Naming symmetric processes using shared variables
Distributed Computing
Multi-writer composite registers
Distributed Computing
Distributed Computing
Concurrent program design in the extended theory of Owicki and Gries
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Modular verification of multithreaded programs
Theoretical Computer Science
High-level synthesis: an essential ingredient for designing complex ASICs
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Refining UML interactions with underspecification and nondeterminism
Nordic Journal of Computing
Extending the sparkle core language with object abstraction
Acta Cybernetica
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
Science of Computer Programming
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
A complete mechanization of correctness of a string-preprocessing algorithm
Formal Methods in System Design
Parallel Asynchronous Watershed Algorithm-Architecture
IEEE Transactions on Parallel and Distributed Systems
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Sharing Variables in Distributed Memory
Fundamenta Informaticae
Lock-free parallel and concurrent garbage collection by mark&sweep
Science of Computer Programming
Theoretical Computer Science - Applied semantics
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
The suitability of kinesthetic learning activities for teaching distributed algorithms
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Theoretical Computer Science
Formal design of self-stabilizing programs
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Abstract Level Parallelization of Finite Difference Methods
Scientific Programming
Modeling adaptive behaviors in Context UNITY
Theoretical Computer Science
Modeling and verification of real-time systems based on equations
Science of Computer Programming
A priority-based distributed group mutual exclusion algorithm when group access is non-uniform
Journal of Parallel and Distributed Computing
Automatic Verification of Bossa Scheduler Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set
IEEE Transactions on Parallel and Distributed Systems
Science of Computer Programming
A three-layer model for business processes: process logic, case semantics and workflow management
Journal of Computer Science and Technology
An approach to synthesise safe systems
International Journal of Security and Networks
Towards an ASSL specification model for NASA swarm-based exploration missions
Proceedings of the 2008 ACM symposium on Applied computing
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
An Algebraic Approach to Refinement with Fair Choice
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking agent refinement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Verifying Design with Proof Scores
Verified Software: Theories, Tools, Experiments
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
25 Years of Model Checking
Getting Formal Verification into Design Flow
FM '08 Proceedings of the 15th international symposium on Formal Methods
The Temporal Logic of Rewriting: A Gentle Introduction
Concurrency, Graphs and Models
Local Proofs for Linear-Time Properties of Concurrent Programs
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Validating High-Level Synthesis
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Modelling with Relational Calculus of Object and Component Systems - rCOS
The Common Component Modeling Example
Formal Reasoning About Causality Analysis
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Complexity results in revising UNITY programs
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Self-stabilizing philosophers with generic conflicts
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Programming language elements for correctness proofs
Acta Cybernetica
Compositional Verification for Component-Based Systems and Application
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
A general technique for proving lock-freedom
Science of Computer Programming
Revising Distributed UNITY Programs Is NP-Complete
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Refinement and verification in component-based model-driven design
Science of Computer Programming
Automatic generation of local repairs for Boolean programs
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Specification Translation from Behavioral Specifications to Rewrite Specifications
IEICE - Transactions on Information and Systems
Boolean circuit programming: A new paradigm to design parallel algorithms
Journal of Discrete Algorithms
Separate compilation for synchronous programs
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Developing parallel programs: A design-oriented perspective
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
D-Finder: A Tool for Compositional Deadlock Detection and Verification
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Parallel computing - an approach for scientific computin
EE'08 Proceedings of the 5th WSEAS/IASME international conference on Engineering education
Brief announcement: distributed phase synchronization of dynamic set of processes
Proceedings of the 28th ACM symposium on Principles of distributed computing
Entailment for specification refinement
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
Multicore parallel min-cost flow algorithm for CAD applications
Proceedings of the 46th Annual Design Automation Conference
Performance comparison of models for multiple rule firing
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Model checking active networks with SPIN
Computer Communications
Tracing correct usage of design patterns
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Profiling primitives of networked embedded automation
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
State Space Reduction of Linear Processes Using Control Flow Reconstruction
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Multicore Constraint-Based Automated Stabilization
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Integration of Reliability and Performance Analyses for Active Network Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Splitting Atoms Safely
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Static data-flow analysis of synchronous programs
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Santa Claus: Formal analysis of a process-oriented solution
ACM Transactions on Programming Languages and Systems (TOPLAS)
A cluster computing environment at a small institution to support faculty/student projects
Journal of Computing Sciences in Colleges
Mobile UNITY schemas for agent coordination
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Cones and foci for protocol verification revisited
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Translating concurrent action oriented specifications to synchronous guarded actions
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Automated incremental synthesis of timed automata
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Evolving requirements through coordination contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Incremental synthesis of fault-tolerant real-time programs
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing philosophers with generic conflicts
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A tool architecture to verify properties of multiagent system at runtime
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Formal derivation of spanning trees algorithms
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
On a semantic definition of data independence
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Composing specifications of event based applications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Capturing overlapping, triggered, and preemptive collaborations using MSCs
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Decidability of invariant validation for paramaterized systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
The verifying compiler: a grand challenge for computing research
CC'03 Proceedings of the 12th international conference on Compiler construction
A distributed algorithm for waking-up in heterogeneous sensor networks
IPSN'03 Proceedings of the 2nd international conference on Information processing in sensor networks
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
Formal Methods in System Design
Calculating and composing progress properties in terms of the leads-to relation
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Verifying lock-freedom using well-founded orders
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A framework for Incorporating trust into formal systems development
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Global predicate detection in distributed systems with small faults
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Harnessing rCOS for tool support: the CoCoME experience
Formal methods and hybrid real-time systems
Translation validation of high-level synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Empirical modelling and the foundations of artificial intelligence
Computation for metaphors, analogy, and agents
Maintaining the Ranch topology
Journal of Parallel and Distributed Computing
Implementation of multiple rule firing production systems on hypercube
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Formal verification of pure production system programs
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Formal semantics for PSL modeling layer and application to the verification of transactional models
Proceedings of the Conference on Design, Automation and Test in Europe
Multicore parallelization of min-cost flow for CAD applications
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special section on the ACM IEEE international conference on formal methods and models for codesign (MEMOCODE) 2009
From high-level component-based models to distributed implementations
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
A formal approach for the development of reactive systems
Information and Software Technology
Categorial semantics of a solution to distributed dining philosophers problem
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
The failure detector abstraction
ACM Computing Surveys (CSUR)
Compositional action system derivation using enforced properties
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Specification for reactive bulk-synchronous programming
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Systematic correct construction of self-stabilizing systems: a case study
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
The linear temporal logic of rewriting Maude model checker
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Distributed generalized dynamic barrier synchronization
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
Queue based mutual exclusion with linearly bounded overtaking
Science of Computer Programming
On coordination tools in the PicOS tuples system
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Security policy foundations in context UNITY
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
SMT-based optimization for synchronous programs
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
Abstraction in hardware system design
Communications of the ACM
Abstraction in Hardware System Design
Queue - Data
A framework for verifying data-centric protocols
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
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
Automated distributed implementation of component-based models with priorities
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Proving safety properties of rewrite theories
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Mathematical models of object-based distributed systems
Formal modeling
Reasoning about liveness properties in event-B
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Towards automatic convergence verification of self-stabilizing algorithms
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Building a scalable and portable message-passing library for embedded multicore systems
Proceedings of the 2011 ACM Symposium on Research in Applied Computation
Formalising progress properties of non-blocking programs
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A language for modeling network availability
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Context-awareness in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Verifying safety of a token coherence implementation by parametric compositional refinement
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Embedded Systems Design
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
A dash of fairness for compositional reasoning
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
A UNITY-based framework towards component based systems
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Invited contribution: sociable interfaces
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Automatic generation of hardware/software interfaces
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Algebraic semantics of design abstractions for context-awareness
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Tiara: A self-stabilizing deterministic skip list and skip graph
Theoretical Computer Science
On conspiracies and hyperfairness in distributed computing
DISC'05 Proceedings of the 19th international conference on Distributed Computing
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Revising UNITY programs: possibilities and limitations
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Proving liveness by backwards reachability
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Progress in deriving concurrent programs: emphasizing the role of stable guards
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
A logical view of choreography
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Temporal superimposition of aspects for dynamic software architecture
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Integration of security policy into system modeling
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Of probabilistic wp and CSP - and compositionality
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
On model checking data-independent systems with arrays with whole-array operations
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A fixpoint semantics of event systems with and without fairness assumptions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Parallelization of Belief Propagation on Cell Processors for Stereo Vision
ACM Transactions on Embedded Computing Systems (TECS)
On the composition of compositional reasoning
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
On the integration of software testing and formal analysis
Empirical Software Engineering and Verification
Fault tolerant autonomic computing systems in a chemical setting
Dependable and Historic Computing
Rigorous system design: the BIP approach
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
Proof rules for probabilistic loops
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Formal engineering of the bitonic sort using PVS
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
A logic to specify and verify synchronous transitions
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Relaxing property preservation in the refinement of concurrent systems
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Designing a multiway synchronization protocol
Computer Communications
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Automated model repair for distributed programs
ACM SIGACT News
Medical protocol diagnosis using formal methods
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Knowledge-Based distributed conflict resolution for multiparty interactions and priorities
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Deriving real-time action systems controllers from multiscale system specifications
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Sharing Variables in Distributed Memory
Fundamenta Informaticae
Integrating Distributed Algorithms into Distributed Systems
Fundamenta Informaticae
Towards a model of interaction for mutual aware devices and everyday artifacts
UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
A distributed maximal scheduler for strong fairness
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Action-based discovery of satisfying subsets: A distributed method for model correction
Information and Software Technology
Combining Formal Methods for the Development of Reactive Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Optimized distributed implementation of multiparty interactions with observation
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Triggered instructions: a control paradigm for spatially-programmed architectures
Proceedings of the 40th Annual International Symposium on Computer Architecture
Deriving real-time action systems in a sampling logic
Science of Computer Programming
Knowledge based transactional behavior
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Towards benchmarking actor- and agent-based programming languages
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Passive code in synchronous programs
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
Specification and Verification of Concurrent Programs Through Refinements
Journal of Automated Reasoning
Reasoning about almost-certain convergence properties using Event-B
Science of Computer Programming
Taming distributed system complexity through formal patterns
Science of Computer Programming
| Hi-index | 0.10 |