Frank S. de Boer

According to our database1, Frank S. de Boer
  • authored at least 241 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Compositional schedulability analysis of real-time actor-based systems.
Acta Inf., 2017

Distributed Network Generation Based on Preferential Attachment in ABS.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

On Futures for Streaming Data in ABS - (Short Paper).
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Human-in-the-Loop Simulation of Cloud Services.
Proceedings of the Service-Oriented and Cloud Computing, 2017

Run-Time Deadlock Detection.
Proceedings of the Provably Correct Systems, 2017

2016
Verification of Counting Sort and Radix Sort.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

A Java-Based Distributed Approach for Generating Large-Scale Social Network Graphs.
Proceedings of the Resource Management for Big Data Platforms, 2016

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
Software and System Modeling, 2016

Multi-Threaded Actors.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.
CoRR, 2016

A design pattern for optimizations in data intensive applications using ABS and JAVA 8.
Concurrency and Computation: Practice and Experience, 2016

Run-Time Checking Multi-threaded Java Programs.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

ABS: A High-Level Modeling Language for Cloud-Aware Programming.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

A high-level and scalable approach for generating scale-free graphs using active objects.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015
Testing abstract behavioral specifications.
STTT, 2015

It is pointless to point in bounded heaps.
Sci. Comput. Program., 2015

Model checking recursive programs interacting via the heap.
Sci. Comput. Program., 2015

Fixing the Sorting Algorithm for Android, Java and Python.
ERCIM News, 2015

High Performance Computing Applications Using Parallel Data Processing Units.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Formal Verification of Service Level Agreements Through Distributed Monitoring.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Being and Change: Reasoning About Invariance.
Proceedings of the Correct System Design, 2015

2014
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.
Trans. Aspect-Oriented Software Development, 2014

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
Service Oriented Computing and Applications, 2014

Monitoring method call sequences using annotations.
Sci. Comput. Program., 2014

Proof Pearl: The KeY to Correct and Stable Sorting.
J. Autom. Reasoning, 2014

Scaling Future Software: The Manycore Challenge.
ERCIM News, 2014

High-Level Protocol Engineering without Performance Penalty for Multi-Core.
ERCIM News, 2014

Decidability Problems for Actor Systems.
Logical Methods in Computer Science, 2014

Combining Monitoring with Run-Time Assertion Checking.
Proceedings of the Formal Methods for Executable Software Models, 2014

Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8.
Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2014

Programming with Actors in Java 8.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

A Coalgebraic Foundation for Coinductive Union Types.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013
A weakest precondition calculus for BUnity.
Sci. Comput. Program., 2013

User-defined schedulers for real-time concurrent objects.
ISSE, 2013

PMG: Multi-core Metabolite Identification.
Electr. Notes Theor. Comput. Sci., 2013

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Run-Time Verification of Coboxes.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Engineering virtualized services.
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

Unbounded Allocation in Bounded Heaps.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

The Future of a Missed Deadline.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Connectors as designs: Modeling, refinement and test case generation.
Sci. Comput. Program., 2012

Termination detection for active objects.
J. Log. Algebr. Program., 2012

Verification of object-oriented programs: A transformational approach.
J. Comput. Syst. Sci., 2012

Interacting via the Heap in the Presence of Recursion
Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Bounded Model Checking of Recursive Programs with Pointers in K.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

A modal logic for abstract delta modeling.
Proceedings of the 16th International Software Product Line Conference, 2012

Programming and deployment of active objects with application-level scheduling.
Proceedings of the ACM Symposium on Applied Computing, 2012

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

Decidability Problems for Actor Systems.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Scheduling and Analysis of Real-Time Software Families.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Automated Verification of Recursive Programs with Pointers.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Verification of Object-Oriented Programs: a Transformational Approach
CoRR, 2010

Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Monitoring Method Call Sequences Using Annotations.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Prototyping a tool environment for run-time assertion checking in JML with communication histories.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Reasoning about Recursive Processes in Shared-Variable Concurrency.
Proceedings of the Concurrency, 2010

Strategic executions of choreographed timed normative multi-agent systems.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009
Verification of Sequential and Concurrent Programs.
Texts in Computer Science, Springer, ISBN: 978-1-84882-745-5, 2009

A shared-variable concurrency analysis of multi-threaded object-oriented programs.
Theor. Comput. Sci., 2009

On the Semantics and Verification of Normative Multi-Agent Systems.
J. UCS, 2009

Schedulability of asynchronous real-time concurrent objects.
J. Log. Algebr. Program., 2009

A coordination language for agents interacting in distributed plan-execute cycles.
IJRIS, 2009

Java Test Driver Generation from Object-Oriented Interaction Traces.
Electr. Notes Theor. Comput. Sci., 2009

Modular Verification of Recursive Programs
CoRR, 2009

Fault-Based Test Case Generation for Component Connectors.
Proceedings of the TASE 2009, 2009

Using Rewrite Strategies for Testing BUpL Agents.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.
Proceedings of the Formal Methods and Software Engineering, 2009

Rewriting Agent Societies Strategically.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Modular Schedulability Analysis of Concurrent Objects in Creol.
Proceedings of the Fundamentals of Software Engineering, 2009

The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Abstract Object Creation in Dynamic Logic.
Proceedings of the FM 2009: Formal Methods, 2009

The Refinement of Choreographed Multi-Agent Systems.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Modular Verification of Recursive Programs.
Proceedings of the Languages: From Formal to Natural, 2009

On coordination, autonomy and time.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
A Deductive Proof System for Multithreaded Java with Exceptions.
Fundam. Inform., 2008

Schedulability and Compatibility of Real Time Asynchronous Objects.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

A Verification Framework for Normative Multi-Agent Systems.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Reo Connectors as Coordination Artifacts in 2APL Systems.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Testing Concurrent Objects with Application-Specific Schedulers.
Proceedings of the Theoretical Aspects of Computing, 2008

Model-checking agent refinement.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Models and temporal logical specifications for timed component connectors.
Software and System Modeling, 2007

A verification framework for agent programming with declarative goals.
J. Applied Logic, 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.
Enterprise Modelling and Information Systems Architectures, 2007

A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

A Complete Guide to the Future.
Proceedings of the Programming Languages and Systems, 2007

2006
Semantics of plan revision in intelligent agents.
Theor. Comput. Sci., 2006

Preface.
Theor. Comput. Sci., 2006

Dynamic Logic for Plan Revision in Agent Programming.
J. Log. Comput., 2006

A Component Coordination Model Based on Mobile Channels.
Fundam. Inform., 2006

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets.
Electr. Notes Theor. Comput. Sci., 2006

Compositional Operational Semantics of a UML-Kernel-Model Language.
Electr. Notes Theor. Comput. Sci., 2006

Inductive Proof Outlines for Exceptions in Multithreaded Java.
Electr. Notes Theor. Comput. Sci., 2006

Prototyping 3APL in the Maude Term Rewriting Language.
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Goal-oriented modularity in agent programming.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Prototyping 3APL in the Maude term rewriting language.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
A proof outline logic for object-oriented programming.
Theor. Comput. Sci., 2005

Preface.
Theor. Comput. Sci., 2005

An assertion-based proof system for multithreaded Java.
Theor. Comput. Sci., 2005

Preface.
Sci. Comput. Program., 2005

A Compositional Trace Logic for Behavioural Interface Specifications.
Nord. J. Comput., 2005

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.
J. UCS, 2005

Modular Verification of a Component-Based Actor Language.
J. UCS, 2005

Formalizing UML Models and OCL Constraints in PVS.
Electr. Notes Theor. Comput. Sci., 2005

Process algebra and constraint programming for modeling interactions in MAS.
Appl. Algebra Eng. Commun. Comput., 2005

MoCha-pi, an exogenous coordination calculus based on mobile channels.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Change impact analysis of enterprise architectures.
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

Enterprise Architecture Analysis with XML.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Controlling Object Allocation Using Creation Guards.
Proceedings of the FM 2005: Formal Methods, 2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Coordination and composition in multi-agent systems.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Proving correctness of timed concurrent constraint programs.
ACM Trans. Comput. Log., 2004

Modeling and Verification of Reactive Systems using Rebeca.
Fundam. Inform., 2004

A Timed Linda Language and its Denotational Semantics.
Fundam. Inform., 2004

On Message Specifications in OCL.
Electr. Notes Theor. Comput. Sci., 2004

Preface.
Electr. Notes Theor. Comput. Sci., 2004

Models and Temporal Logics for Timed Component Connectors.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Using XML Transformations for Enterprise Architectures.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Using XML Transformations for Enterprise Architectures.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.
Proceedings of the Theoretical Aspects of Computing, 2004

A Fully Abstract Semantics for UML Components.
Proceedings of the Formal Methods for Components and Objects, 2004

Observability, Connectivity, and Replay in a Sequential Calculus of Classes.
Proceedings of the Formal Methods for Components and Objects, 2004

A Logical Viewpoint on Architectures.
Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Dynamic Logic for Plan Revision in Intelligent Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Semantics of Plan Revision in Intelligent Agents.
Proceedings of the Algebraic Methodology and Software Technology, 2004

Modularity and the Rule of Adaptation.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
A fully abstract model for the exchange of information in multi-agent systems.
Theor. Comput. Sci., 2003

A Channel-based Coordination Model for Components.
Electr. Notes Theor. Comput. Sci., 2003

A Verification Framework for Agent Communication.
Autonomous Agents and Multi-Agent Systems, 2003

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Inductive Proof Outlines for Monitors in Java.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

How to Cook a Complete Hoare Logic for Your Pet OO Language.
Proceedings of the Formal Methods for Components and Objects, 2003

Towards a Language for Coherent Enterprise Architecture Descriptions.
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

Coordinating Agents in OO.
Proceedings of the Objects, 2003

A Compositional Operational Semantics for JavaMT.
Proceedings of the Verification: Theory and Practice, 2003

Process Algebra for Agent Communication: A General Semantic Approach.
Proceedings of the Communication in Multiagent Systems, 2003

Programming agent deliberation: an approach illustrated using the 3APL language.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes.
Theor. Comput. Sci., 2002

Mobile Channels, Implementation Within and Outside Components.
Electr. Notes Theor. Comput. Sci., 2002

Proving correctness of Timed Concurrent Constraint Programs
CoRR, 2002

Agent Programming with Declarative Goals
CoRR, 2002

Proving Correctness of Timed Concurrent Constraint Programs.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

Verification for Java's Reentrant Multithreading Concept.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

Computer-aided Specification and Verification of Annotated Object-Oriented Programs.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

A Tool-Supported Proof System for Multithreaded Java.
Proceedings of the Formal Methods for Components and Objects, 2002

MoCha: A Middleware Based on Mobile Channels.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Modal Logic with Bounded Quantification over Worlds.
J. Log. Comput., 2001

On dynamically generated ontology translators in agent communication.
Int. J. Intell. Syst., 2001

On Programming KARO Agents.
Logic Journal of the IGPL, 2001

A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Truly Concurrent Model for Interacting Agents.
Proceedings of the Intelligent Agents: Specification, 2001

A Denotational Semantics for Timed Linda.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Decidable Navigation Logics for Object Structures.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

A Programming Language for Coordinating Group Actions.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

Concurrency Verification: Introduction to Compositional and Noncompositional Methods
Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press, ISBN: 0-521-80608-9, 2001

2000
A Timed Concurrent Constraint Language.
Inf. Comput., 2000

A Coordination Lanuage for Mobile Components.
Proceedings of the Applied Computing 2000, 2000

A Compositional Model for Confluent Dynamic Data-Flow Networks.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

A Modal Logic for Network Topologies.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

A Programming Logic for Part of the Agent Language 3APL.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

A Timed Linda Language.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

A Logical Interface Description Language for Components.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

Failure Semantics for the Exchange of Information in Multi-Agent Systems.
Proceedings of the CONCUR 2000, 2000

Proof-Outlines for Threads in Java.
Proceedings of the CONCUR 2000, 2000

Agent Programming with Declarative Goals.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Generalised Object-Oriented Concepts for Inter-agent Communication.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Semantics of Communicating Agents Based on Deduction and Abduction.
Proceedings of the Issues in Agent Communication, 2000

Operational Semantics for Agent Communication Languages.
Proceedings of the Issues in Agent Communication, 2000

1999
Agent Programming in 3APL.
Autonomous Agents and Multi-Agent Systems, 1999

The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

A WP-calculus for OO.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

Reasoning about Histories in Object-based Distributed Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.
Proceedings of the FM'99 - Formal Methods, 1999

Failure Semantics for the Exchange of Information in Multi-agent Systems.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Object-Oriented and Constraint Programming for Time Critical Applications.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Generic Process Algebras for Asynchronous Communication.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

Open Multi-agent Systems: Agent Communication and Integration.
Proceedings of the Intelligent Agents VI, 1999

1998
Translations of Vocabularies in Systems of Communicating Agents.
Electr. Notes Theor. Comput. Sci., 1998

Preface.
Electr. Notes Theor. Comput. Sci., 1998

A proof theory of asynchronously communicating sequential processes.
Proceedings of the Programming Concepts and Methods, 1998

Information-Passing and Belief Revision in Multi-Agent Systems.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Systems of Communicating Agents.
ECAI, 1998

Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

A Formal Embedding of AgentSpeak(L) in 3APL.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998

Control Structures of Rule-Based Agent Languages.
Proceedings of the Intelligent Agents V, 1998

Information-Passing and Belief Revision in Multi-Agent Systems.
Proceedings of the Intelligent Agents V, 1998

Constructing Translations Between Individual Vocabularies in Multi-Agent Systems.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
Proving Concurrent Constraint Programs Correct.
ACM Trans. Program. Lang. Syst., 1997

An Algebraic Perspective of Constraint Logic Programming.
J. Log. Comput., 1997

Infinite computations in concurrent constraint programming.
Electr. Notes Theor. Comput. Sci., 1997

Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

A Compositional Proof System for Shared Variable Concurrency.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Semantics and Expressive Power of a Timed Concurrent Constraint Language.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Partial Order and SOS Semantics for Linear Constraint Programs.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Compositional Proof Methods for Concurrency: A Semantic Approach.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Formal Semantics for an Abstract Agent Programming Language.
Proceedings of the Intelligent Agents IV, 1997

Semantics and Expressive Power of a Timed Concurrent Constraint Language.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling.
Proceedings of the Static Analysis, Third International Symposium, 1996

Compositionality in Real-Time Shared Variable Concurrency.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Local Nondeterminism in Asynchronously Communicating Processes.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995
Nondeterminism and Infinite Computations in Constraint Programming.
Theor. Comput. Sci., 1995

Modelling Real-Time in Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1995

A Compositional Proof System for Asynchronously Communicating Processes.
Proceedings of the Mathematics of Program Construction, 1995

Modeling Real-Time in Concurrent Constraint Programming.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Embedding as a Tool for Language Comparison
Inf. Comput., January, 1994

Reasoning about Dynamically Evolving Process Structures.
Formal Asp. Comput., 1994

Compositionality in the Inductive Assertion Method for Concurrent Systems.
Proceedings of the Programming Concepts, 1994

Proving Concurrent Constraint Programs Correct.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

A Proof System for Asynchronously Communicating Deterministic Processes.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Proving correctness of Concurrent Constraint Programs.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993
Non-monotonic Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1993

1992
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
Theor. Comput. Sci., 1992

On Blocks: Locality and Asynchronous Communication (Extended Abstract).
Proceedings of the Sematics: Foundations and Applications, 1992

Exception Handling in Process Algebra.
Proceedings of the NAPAW 92, 1992

Asynchronous Communication in Process Algebra
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

A Process Algebra of Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1992

The Real-Time Behaviour of Asynchronously Communicating Processes.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

On the Semantics of Concurrent Constraint Programming.
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991
Semantic Models for Concurrent Logic Languages.
Theor. Comput. Sci., 1991

A Fully Abstract Model for Concurrent Constraint Programming.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

A Compositional Proof System for Dynamic Process Creation
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Embedding as a Tool for Language Comparison: On the CSP Hierarchy.
Proceedings of the CONCUR '91, 1991

The Failure of Failures in a Paradigm for Asynchronous Communication.
Proceedings of the CONCUR '91, 1991

1990
Proving Total Correctness of Recursive Procedures
Inf. Comput., February, 1990

Concurrent Logic Programming: Asynchronism and Language Comparison.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

A Proof System for the Language POOL.
Proceedings of the Foundations of Object-Oriented Languages, 1990

A Proof System for the Parallel Object-Oriented Language POOL.
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences.
Proceedings of the CONCUR '90, 1990

1989
Compositionality in the Temporal Logic of Concurrent Systems (extended abstract).
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Semantic Models for a Version of PARLOG.
Proceedings of the Logic Programming, 1989


  Loading...