Archives for ACG

Tue 10 March 2020
Safety, Precisely: Quasi-Multidimensional Dyck Languages and a Kleene Theorem
Tue 17 December 2019
Two Dimensional Turing Machines
Tue 19 November 2019
Well-Founded Unions
Tue 16 April 2019
From Reo circuit to fast and safe Rust source
Tue 12 March 2019
Reproducible Simulations, Trace Visualization and Model Exploration with Dynamic Partial Order Reduction in Real-Time ABS
Tue 19 February 2019
Formalizing the Semantics of Concurrent Revisions
Tue 25 September 2018
Yet Another Reo Semantics: Reasoning about Speculative Execution
Thu 28 June 2018
Nerve Nets, Omega-regular Languages, and Reo
Tue 12 June 2018
Verification of Distributed Epistemic Gossip Protocols
Wed 23 May 2018
A Scala Library for Actor-Based Cooperative Scheduling
Wed 02 May 2018
Compilation of Reo protocols
Wed 04 April 2018
Gossip In NetKAT
Wed 21 March 2018
Partially Commutative Monoids and Computational Content of Classical Logic
Wed 07 February 2018
Deadlock Detection for Actor-based Coroutines
Tue 31 May 2016
Scheduling of Parallel Applications
Tue 19 January 2016
2APL: Expressiveness in Concurrency: The Case of Session-Typed Processes
Tue 08 December 2015
Investigating Cooperative Scheduling in Parallel and Distributed Systems
Tue 03 November 2015
Equations and coequations for deterministic automata
Tue 06 October 2015
Composing Constraint Automata, State-by-State
Tue 28 October 2014
eScience, Theory and Experience
Tue 26 August 2014
Virtual Prototyping for Cyber Physical Systems
Wed 30 July 2014
A new method for verification of transition systems is presented - part 2
Wed 02 July 2014
A new method for verification of transition systems is presented - part 1
Tue 20 May 2014
Quantitative formalisms of regularity, a partial survey
Tue 29 April 2014
SE4MCP with Reo Part 2
Tue 15 April 2014
A decomposition theorem for finite monoid actions
Tue 25 March 2014
Social Network Simulation Part I: Model Selection for Realistic Social Network Generation
Tue 25 February 2014
Compositional metric reasoning with Probabilistic Process Calculi
Tue 11 February 2014
Towards Practical Verification of Dynamically Typed Programs
Tue 14 January 2014
A formalization of bisimulation-up-to techniques and their meta-theory
Tue 07 January 2014
Automata learning: a categorical perspective
Tue 03 December 2013
Arden's rule and the Kleene-Schützenberger theorem
Tue 19 November 2013
Leaving Traces: A Sound and Complete Trace Logic for Concurrent Constraint Programs
Tue 12 November 2013
Combining Bialgebraic Semantics and Equations
Tue 12 November 2013
Moessner's Theorem: an Exercise in Coinductive Reasoning in Coq
Tue 12 November 2013
Syntactic Monoids and Their Dual
Tue 10 September 2013
Improving Performance of Simulation Software Using Haskell’s Concurrency and Parallelism
Tue 10 September 2013
A Cost-aware Scheduler for High-Throughput Computing in the Cloud
Tue 11 June 2013
An Implicit Characterization of PSPACE
Tue 04 June 2013
Coinductive Stream Calculus in Action with Haskell
Tue 28 May 2013
Code Generation for Reo: Dealing with data constraints (work-in-progress)
Tue 14 May 2013
Leveraging Cloud Computing in Real-World Situations
Tue 07 May 2013
The Proto-Runtime Approach to Runtime Systems for Parallel Languages
Tue 02 April 2013
Modal mu-calculi for Probabilistic Labeled Transition Systems
Tue 26 March 2013
A Matter of Priority
Tue 19 February 2013
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks - part 2
Tue 22 January 2013
Type Inference for Linear Algebra with Units of Measurement
Tue 15 January 2013
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks - part 1
Tue 20 November 2012
A process-theoretic approach to supervisory coordination
Tue 30 October 2012
On the specification of operations on the rational behaviour of systems
Tue 16 October 2012
Towards Dynamic Adaptation of the Differential Majority-Rule Solution of the Double Bridge Problem
Tue 02 October 2012
A Constraint-based Method to Compute Semantics of Channel-based Coordination Models
Tue 11 September 2012
Residuated Park theories
Tue 28 August 2012
Dynamic Delta Modeling
Tue 15 May 2012
How far can Enterprise Modeling for Banking be supported by Graph Transformation?
Tue 08 May 2012
Abstract Object Creation in First Order Dynamic Logic: State of the Art in Key
Tue 10 April 2012
Hierarchical and modular reasoning in complex theories and applications to verification
Tue 03 April 2012
Similarity-based Web Service Discovery through Soft Constraint Satisfaction Problems
Tue 20 March 2012
Modularizing and Specifying Protocols among Threads
Tue 06 March 2012
Programming and Deployment of Active Objects with Application-Level Scheduling
Tue 21 February 2012
Abstract Compilation for Precise Type Analysis of Object-Oriented Languages
Tue 31 January 2012
Reactive Turing Machines
Tue 17 January 2012
Delta Modeling Workflow
Tue 13 December 2011
Coalgebraic Modal Logic, an Introduction
Tue 29 November 2011
Examples of the Interplay between Algebra and Coalgebra
Thu 24 November 2011
Determinization constructions: from automata to coalgebras
Mon 07 November 2011
Circular Behavioral Reasoning
Mon 07 November 2011
Optimal Coin Flipping
Mon 24 October 2011
Measuring Progress of Probabilistic Model-Checkers
Tue 11 October 2011
The Coinductive Stream Calculus
Tue 27 September 2011
Automatic Verification of Real-Time Systems with Rich Data
Tue 20 September 2011
The Coalgebraic Approach
Tue 14 June 2011
Bounded Model-Checking of Unbounded Object Creation
Tue 31 May 2011
Simulation, testing and implementation of Reo
Tue 17 May 2011
Reo: Applications in Formalizing Standard Models
Tue 26 April 2011
Reo: Extended Semantics and Tools
Tue 19 April 2011
Reo: Basics and Semantics
Tue 05 April 2011
On the axiomatization of (weighted) language equivalence
Tue 15 March 2011
An Introduction to K Framework by Examples
Tue 01 March 2011
An Introduction to Coalgebra and Coinduction, using Regular and Context-free Languages
Tue 22 February 2011
Specifying Interfaces in Java in terms of Communication Histories using Attribute Grammars - part 2
Tue 15 February 2011
Multicore Programming in Object-Oriented Languages
Mon 31 January 2011
A Calculational Proof of Moessner’s Theorem
Tue 07 December 2010
Model checking GOAL agents
Tue 23 November 2010
JOLIE: a service oriented language
Tue 26 October 2010
Decidability properties for fragments of CHR
Tue 19 October 2010
Coalgebraic Representation Theory of Fractals
Tue 05 October 2010
Formalising Domain-Specific Modelling Languages
Wed 15 September 2010
Algebraic and Coalgebraic Reasoning in Agent-Based Models -- A Case Study From Ecology
Tue 06 July 2010
Message sequence monitoring without code instrumentation
Tue 15 June 2010
(Abstraction and Refinement of) Timed Constraint Automata in the ECT
Tue 25 May 2010
Model checking a language with unbounded object creation
Tue 18 May 2010
Model Transformation & Analysis in Rascal
Tue 11 May 2010
Strategic Executions of Choreographed Timed Normative Multi-Agent Systems
Tue 13 April 2010
Specifying Interfaces in Java in terms of Communication Histories using Attribute Grammars - part 1
Tue 16 March 2010
Creol goes Linda
Tue 02 March 2010
Delta Modeling
Tue 16 February 2010
Stochastic Activity Networks
Tue 02 February 2010
Compositional and Computable Semantics for Modelling Hybrid Systems
Tue 19 January 2010
Verification of Software Product Lines
Tue 15 December 2009
Specifying Behavior of Reo in mCRL2
Tue 01 December 2009
Logic of Information Flow on Communication Channels
Tue 17 November 2009
Abstract Object Creation in Dynamic Logic To Be or Not To Be Created
Tue 12 May 2009
Mist: The Programming Language
Tue 24 March 2009
Fault-based Test Case Generation for Component Connectors
Tue 10 February 2009
Tool demonstration
Tue 20 January 2009
Models of computation: automata and processes
Tue 23 September 2008
A Kleene theorem for polynomial coalgebras
Tue 29 July 2008
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
Tue 15 July 2008
QoS-aware Routing in Infrastructure-less B3G Networks
Tue 08 July 2008
Deconstructing Reo
Tue 17 June 2008
Using Reo for Compliance-driven Design of Service-Oriented Applications
Tue 10 June 2008
Synchronized Reconfiguration of Hierarchical Reo Connectors
Tue 03 June 2008
Building mashups with Reo
Tue 20 May 2008
Two Modal Logics for Coalgebras
Tue 06 May 2008
Decomposition of Port Automata
Tue 22 April 2008
Automated deadlock detection in synchronized multithreaded call-graphs
Tue 08 April 2008
Schedulability analysis of real time actors
Tue 18 March 2008
Synthesis of Reo Circuits from Scenario-based Specifications
Tue 04 March 2008
Coupled transformation of data models, instances, queries, and constraints (part II)
Tue 19 February 2008
Coupled transformation of data models, instances, queries, and constraints
Tue 29 January 2008
Testing dynamic systems from modal specifications
Tue 15 January 2008
Model-Checking Agent Refinement
Tue 11 December 2007
Reo Meets Real World: Coordination at your Service.
Tue 04 December 2007
Flat modal fixpoint logics
Tue 27 November 2007
Coalgebras and their types
Tue 13 November 2007
Towards Distributed Reo
Tue 16 October 2007
Synthesis of Connectors from Scenario-based Interaction Specifications
Tue 26 June 2007
An information-theoretic framework for anonymity and the problem of non-determinism.
Tue 19 June 2007
Discrete dualities for contexts and concepts from formal concept analysis
Tue 05 June 2007
Subsequential Transducers and Coalgebra
Tue 08 May 2007
Bisimulations for neighbourhood structures (Part 2)
Tue 24 April 2007
Bisimulations for neighbourhood structures
Tue 10 April 2007
Booking Holidays with Linear Logic
Tue 20 March 2007
Formal languages and computable semantics for continuous mathematics
Tue 27 February 2007
Web Services Choreography and Orchestration in Reo and Constraint Automata
Tue 20 February 2007
2APL: A Practical Agent Programming Language
Tue 06 February 2007
Verification of Rebeca models using symmetry and partial order reduction techniques
Tue 23 January 2007
Keeping Secrets in Resource Aware Components
Thu 11 January 2007
Behaviour-aware aggregation and adaptation of Web services
Tue 21 November 2006
Component connectors with QoS Guarantees
Tue 24 October 2006
Behavioural differential equations and coinduction for binary trees
Tue 17 October 2006
Reo Connector Animation
Tue 03 October 2006
Connector Colouring Revisited: Preliminary Results
Tue 26 September 2006
Modelling and Refinement of Component-based Software Systems: A Coalgebraic Perspective
Tue 05 September 2006
Analysing the MUTE Anonymous File-Sharing System Using the Pi-calculus
Thu 24 August 2006
Distributed Coordination via a Russion Dolls Model of Distributed Object Reflection
Thu 24 August 2006
Q Automata: Modelling the Resource Usage of Concurrent Components
Tue 15 August 2006
Using Reo and Constraint Automata in Hardware-Software Co-design
Tue 04 July 2006
A logic for strong late bisimilarity (Part II)
Tue 06 June 2006
MoCha: it ain't Java!
Tue 30 May 2006
A logic for strong late bisimilarity
Tue 09 May 2006
Creol: A Formal Executable Model of Upgradeable Distributed Objects
Tue 18 April 2006
Type-based access control: for distributed systems, for components and under attack
Tue 14 March 2006
SAT-based Verification for Abstraction Refinement
Tue 14 February 2006
Tool-Supported Construction of Graphical Scientific Tools: Reo Web Services Composition Editor and Simulator
Tue 07 February 2006
Trace Semantics for Coalgebras: a Generic Theory (Part 2)
Tue 31 January 2006
A tutorial on sequential functions: I - Minimization of sequential transducers; II - Composition, the wreath product principle and its applications
Tue 24 January 2006
Trace Semantics for Coalgebras: a Generic Theory
Tue 13 December 2005
Inferring type isomorphisms generically
Tue 06 December 2005
Revisiting the Coinductive Calculus of Reo Connectors
Tue 15 November 2005
From input-output logic to normative multiagent systems
Tue 08 November 2005
Constructing Mealy Machines Using Derivatives
Tue 11 October 2005
Ontological Perspectives in Modelling the Electrical Power Grid
Tue 21 June 2005
Controlling Object Allocation Using Creation Guards
Tue 14 June 2005
Reactive Objects as Components in Reo Circuits
Tue 07 June 2005
Interaction: Conjectures, Results, Myths
Tue 24 May 2005
Connector Colouring Semantic Model for Reo Connectors
Tue 10 May 2005
Behavioral Logics and Abstraction
Tue 19 April 2005
Tue 12 April 2005
Coordination and Composition in Multi-Agent Systems
Tue 05 April 2005
Power tools can make a difference
Tue 22 March 2005
Specification and Refinement of Reo Connectors I: Framework
Tue 15 March 2005
Innovation in the Practice of Computer Science Education to follow Bologna
Tue 15 March 2005
Pointwise-Pointfree Transformations
Tue 08 March 2005
MoCha-pi, an Exogenous Coordination Calculus (SAC try-out)
Tue 15 February 2005
Closure Properties of Coalgebra Automata
Tue 01 February 2005
Reo Engine - Implementable Semantics for Reo
Tue 18 January 2005
OMEGA case study: Mission-critical air-borne system, UML modelling, and formal verification experiments
Tue 07 December 2004
Web Service - Current technological and market situation
Tue 23 November 2004
Applications of XML transformations
Tue 09 November 2004
Reasoning about Reo's Reconfiguration Mechanisms
Tue 05 October 2004
MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels
Tue 21 September 2004
Functional modelling of biochemical networks
Tue 06 July 2004
Composed Software
Tue 29 June 2004
Generic Ownership
Tue 22 June 2004
BioReo: Coordination for Biological Modelling
Tue 15 June 2004
Back To The Future: A Family of Algorithms for Termination Detection in Distributed Systems (Part II)
Tue 08 June 2004
A Translation from Reo to Petri Nets and Vice-Versa
Tue 25 May 2004
Visualization and operational semantics of Reo circuits
Tue 18 May 2004
Landscape Maps for Enterprise Architectures
Tue 18 May 2004
A Logical Viewpoint on Architectures
Tue 11 May 2004
Weak bisimulation for action-type coalgebras
Tue 04 May 2004
Automata, Bitstream functions, and Circuits
Tue 27 April 2004
Compositionality in Logics for Coalgebras
Tue 13 April 2004
What semantics fits with my aspects?
Tue 06 April 2004
Back To The Future: A Family of Algorithms for Termination Detection in Distributed Systems (Part 1)
Tue 23 March 2004
Tue 16 March 2004
Automata and Fixed Point Logics for Coalgebras (part 2)
Tue 09 March 2004
In the Name of the Role (sequel)
Tue 24 February 2004
Automata and Fixed Point Logics for Coalgebras
Tue 10 February 2004
In the Name of the Role
Tue 27 January 2004
A coalgebraic perspective on monotone modal logic
Tue 20 January 2004
The Differential Calculus of Bitstreams
Tue 13 January 2004
Reo: Operational Semantics, Animation and Model Checking
Tue 02 December 2003
MOnitoring Distributed Object and Component Communication
Tue 25 November 2003
Reo: Semantics and Tools for Design and Analysis. State-of-the-Art and Future Work
Tue 18 November 2003
Stone Coalgebras and Completeness for Coalgebraic Modal Logic
Tue 11 November 2003
Normative Multiagent Systems
Tue 28 October 2003
A Comparative Study of Arithmetic Constraints on Integer Intervals
Tue 07 October 2003
Integrating Formal Methods with XML
Tue 23 September 2003
Verification of Security Protocols with Rebeca
Tue 16 September 2003
MoCha, a coordination middleware based on mobile channels
Tue 09 September 2003
Composing Style-Based Software Architectures from Architectural Primitives
Tue 01 July 2003
Unifying the field of modal logics
Tue 24 June 2003
A simulator for Reo
Tue 03 June 2003
The OMEGA Component Model - part 1
Tue 27 May 2003
Modelling component connectors in Reo by constraint automata
Tue 20 May 2003
Coordination and Components in Cooperative Constraint Solving
Tue 06 May 2003
Streams and stream circuits (a coinductive calculus of signal flow graphs)
Tue 22 April 2003
The Phi-calculus - a new language for distributed control of continuous reconfigurable systems
Tue 01 April 2003
Using ASF+SDF for the Verification of Annotated Java Programs
Thu 27 March 2003
Branching Time Relations for Markov Chains
Tue 18 March 2003
Rebeca: An Actor-Based Model for Formal Modelling and Verification of Reactive Systems
Tue 04 March 2003
A hierarchy of probabilistic system types
Tue 18 February 2003
A graphical user interface for REO
Tue 21 January 2003
Input-output logic
Tue 10 December 2002
Full Abstraction in Structural Operational Semantics
Tue 03 December 2002
A coalgebraic semantics for positive modal logic
Wed 27 November 2002
A Hoare Logic for Knowledge Programs
Tue 26 November 2002
FOLD: first order logic of domains
Tue 12 November 2002
Introduction to Presheaves, Open Maps, and Weak Factorisation Systems
Tue 22 October 2002
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Tue 15 October 2002
Combining the Activator, Manifold, and... A Road to the future?
Tue 08 October 2002
(Co-)Algebraic semantics of Modal Logic
Tue 01 October 2002
Verification of Sequential Java Programs: A Computer-Aided Approach
Tue 17 September 2002
Coordination-Based Cooperation of Constraint Solvers in DICE
Tue 10 September 2002
Probabilistic GSOS
Tue 27 August 2002
Fully abstract semantics for OO
Tue 30 July 2002
A Framework for Visualizing and Simulating Reo
Tue 18 June 2002
The OMEGA Component Model - part 2
Tue 04 June 2002
O2C: A Semantic Thread From Objects to Components
Tue 21 May 2002
A short survey of enterprise architectures and modeling tools
Tue 14 May 2002
Finitary Coalgebraic Modal Logic (Canonical Models and Compactness)
Tue 07 May 2002
The type of a component
Tue 16 April 2002
Objects, components, and types (how to unify different research lines)
Tue 09 April 2002
A Scriptable Planner Using Python as a Problem Definition Language
Tue 02 April 2002
A gentle overview of categories and enriched categories
Tue 26 March 2002
The TRIAL-SOLUTION project: keyphrase recognition in mathematical textbooks
Tue 26 February 2002
GSOS for probabilistic transition systems
Wed 13 February 2002
C-six: constructing a coinductive and compositional calculus of component connectors
Tue 29 January 2002
A coordination-based framework for parallel constraint solving
Tue 15 January 2002
A complete deductive calculus for (implications of) coequations
Tue 18 December 2001
Verification of security protocols using Casper and FDR
Tue 11 December 2001
Coalgebraic Modalities and Logics for Process Transformations
Tue 04 December 2001
Towards a Formal Specification of Reo
Tue 27 November 2001
Automatic generation of proof-outline for Java
Tue 20 November 2001
Modal Properties as Natural Transformations
Tue 06 November 2001
A proof theory for the multi-threaded flow of control in Java
Thu 25 October 2001
Coinductive counting with weighted automata and continued fractions - part 2
Thu 25 October 2001
On Coequations
Thu 25 October 2001
Horn coequations
Thu 25 October 2001
GSOS for probabilistic systems
Thu 25 October 2001
From Coalgebras to (labeled) transition systems.
Tue 09 October 2001
Modeling infinite probabilistic choices using an ultrametric version of kernels
Tue 25 September 2001
Beyond Mu-Calculus: strong logics for strong bisimulation
Tue 11 September 2001
Coinductive counting with weighted automata and continued fractions - part 1
Tue 04 September 2001
Coordination of Mobile Components
Tue 10 July 2001
Recent trends in object oriented verification
Tue 12 June 2001
Axiomatizing GSOS with termination
Tue 08 May 2001
Rho: A Channel-based Coordination Paradigm for Mobile Components
Tue 24 April 2001
Shared Data Space Systems: Verification and Expressiveness Results
Tue 10 April 2001
Coordination and component based software architecture
Tue 27 March 2001
Reasoning about probability and nondeterminism
Tue 27 February 2001
Elements of stream calculus
Tue 13 February 2001
Implementation of Mobile Channels
Tue 30 January 2001
Generalised Coinduction
Tue 16 January 2001
Modelling decentralized Control Problems using the Logic of Epistemic Actions
Tue 19 December 2000
Infinite intersection and union types for the lazy lambda calculus
Tue 14 November 2000
Semantical Principles in the Modal Logic of Coalgebras
Tue 31 October 2000
Back To The Future: A Family of Algorithms for Termination Detection in Distributed Systems
Tue 17 October 2000
Towards Quantitative Verification of Systems: a Metric Approach
Tue 03 October 2000
Modeling Games using Probabilistic-Epistemic Processes and Modal Logic
Tue 19 September 2000
On the Duality of Modal and Equational Logic
Tue 12 September 2000
On the Duality of Observability and Reachability
Tue 13 June 2000
A logical interface description language for components
Tue 16 May 2000
Back To The Future: A Family of DTD Algorithms
Tue 09 May 2000
Stream calculus
Tue 28 March 2000
Modeling continuous probabilistic choice using stochastic kernels
Tue 07 March 2000
A Generalized Schema for Coinductive Definitions
Tue 08 February 2000
Combinators for hyperedge replacement graph rewriting

hosted by