| Date | Speaker | Subject | Institute/Group | Content |
|
|---|
| 2-2-2012 |
Harsh Beohar |
Desynchronisation of synchronous systems with half-duplex communication mechanism |
TU/e / FSA |
Abstract |
| 22-12-2011 |
Jaco van de Pol |
Recent progress on the LTSmin toolset |
Formal Methods and Tools, University of Twente |
Abstract |
| 15-12-2011 |
Peter D. Mosses |
PLanCompS: Programming Language Components and Specifications |
Department of Computer Science, Swansea University, UK |
Abstract |
| 24-11-2011
| Michael Godfrey
| Squinting at the data: Investigating software entity provenance using KISS techniques
| University of Waterloo, Canada
| Abstract
|
| 03-10-2011
| Catuscia Palamidessi
| Probabilistic Information Flow and Differential Privacy
| INRIA Saclay & LIX, France
| Abstract
|
| 29-09-2011
| Pedro D'Argenio
| Model Checking of Distributed Probabilistic Systems
| National University of Córdoba, Argentina
| Abstract
|
| 09-06-2011
| Aminah Zawedde
| Understanding the Dynamics of Requirements Process Improvement
| TU/e / SET
| Abstract
|
| 12-05-2011
| Matthias Raffelsieper
| Productivity of Non-Orthogonal Term Rewrite Systems
| TU/e / OAS
| Abstract
|
| 14-04-2011
| Eric Van Wyk
| Verifiable Composition of Language Extensions: Some Solutions and Open Questions
| University of Minnesota, USA
| Abstract
|
| 31-03-2011
| Sjoerd Cranen
| Stuttering and Parity Games
| TU/e / OAS
| Abstract
|
| 17-03-2011
| Helle Hansen
| Specifying pointwise extensions
| TU/e / FM
| Abstract
|
| 03-03-2011
| Max Odenbrett
| Many-Core Parallel Programming with GPGPUs
| TU/e / BMT,SET
| Abstract
|
| 17-02-2011
| Hans Zantema
| SAT solving, SMT solving and Program Verification
| TU/e / OAS
| Abstract
Slides (pdf)
|
| 03-02-2011
| Anton Wijs
| Sequential and Distributed On-the-Fly Computation of Weak Tau-Confluence
| TU/e / SET
| Abstract
|
| 20-01-2011
| Jeroen Keiren
| Specification of a type system for mCRL2
| TU/e / OAS
| Abstract
|
| 17-01-2011
| Rob van Glabbeek
| Electronic Proceedings in TCS, and the advent of open access electronic publishing
| NICTA, Sydney, Australia
|
|
| 09-12-2010
| Matteo Cimini
| On some contributions to the meta-theory of Structural Operational Semantics
| Reykjavík University, Iceland
| Abstract
|
| 11-11-2010
| Mark van den Brand
| From ASF+SDF to meta-modeling and beyond
| TU/e / SET
| Abstract
|
| 28-10-2010
| MohammadReza Mousavi
| How to cook a security-enabled semantics
| TU/e / OAS
| Abstract
|
| 14-10-2010
| Helle Hansen
| Verification of UML models in the railway signalling domain
| TU/e / FM
| Abstract
|
| 30-09-2010
| Jan Friso Groote
| mCRL2 and its stochastic extension
| TU/e / OAS
| Abstract
|
| 08-07-2010
| Vincent Kusters
| Automating the Analysis of the Finite State Machines at CERN
| TU/e
| Abstract
|
| 05-07-2010
| Ramtin Khosravi
| Model-Based Testing of Electronic Funds Transfer Systems
| University of Tehran
| Abstract
|
| 01-07-2010
| Tim Muller
| Expressiveness of Regular Expressions in Process Algebra
| University of Luxembourg
| Abstract
|
| 17-06-2010
| Michel Reniers
| Suitability of mCRL2 for Concurrent-System Design – A 2 x 2 Switch Case Study
| TU/e / OAS
| Abstract
|
| 03-06-2010
| Harsh Beohar
| A theory of desynchronisable closed loop systems
| TU/e / FM
| Abstract
|
| 08-04-2010
| Wieger Wesselink
| Generic programming in the mCRL2 toolset
| TU/e / OAS
| Abstract
|
| 11-03-2010
| Anton Wijs
| Hierarchical Adaptive State Space Caching Based on Level Sampling
| TU/e / SET
| Abstract
|
| 25-02-2010
| Paul van Tilburg
| Decidability of Bisimulation for Sequential and Basic Parallel Processes with 0 and 1
| TU/e / FM
| Abstract
|
| 15-02-2010
| Joshua Sack
| Probability and dynamics — an overview
| School of Computer Science, Reykjavík University, Iceland
| Abstract
|
| 28-01-2010
| Kees Huizing
| Expressivity of Pointer Formalisms
| TU/e / FM
| Abstract
|
| 14-01-2010
| Natallia Kokash
| Translating Reo to mCRL2
| CWI
| Abstract
|
| 17-12-2009
| Sonja Georgievska
| Retaining the Probabilities in Probabilistic Testing Theory
| TU/e / FM
| Abstract
|
| 03-12-2009
| MohammadReza Mousavi
| Decompositional Reasoning About Past
| TU/e / OAS
| Abstract
|
| 19-11-2009
| Jeroen Keiren
| Bisimulation minimisations for boolean equation systems
| TU/e / OAS
| Abstract
|
| 22-10-2009
| Suzana Andova
| Dynamic Consistency in Process Algebra: From Paradigm to ACP
| TU/e / FM
| Abstract
|
| 01-10-2009
| Massimo Callisto
| PAFAS and FASE: theory and practice to evaluate the performance efficiency of asynchronous systems
| TU/e / FM
| Abstract
|
| 17-09-2009
| Matthias Raffelsieper
| Formal Analysis of Verilog Cell Library Simulation Models
| TU/e / OAS
| Abstract
|
| 27-08-2009
| Rob van Glabbeek
| The coarsest liveness preserving congruence for parallel composition
| NICTA, Australia
| Abstract
|
| 27-08-2009
| Rance Cleaveland
| Validating Automotive Control Software using Instrumentation-Based Verification
| University of Maryland, USA
| Abstract
|
| 18-06-2009
| Harsh Beohar
| Design of asynchronous supervisors
| TU/e / FM
| Abstract
|
| 28-05-2009
| Dragan Bosnacki
| Multi-core Model Checking
| TU/e / BME
| Abstract
|
| 19-03-2009
| Jan Friso Groote
| Elimination of reals in linear processes
| TU/e / OAS
| Abstract
|
| 19-02-2009
| MohammadReza Mousavi
| Rule Formats for Determinism and Idempotency
| TU/e / OAS
| Abstract
|
| 09-02-2009
| Ana Sokolova
| Exemplaric Expressivity of Modal Logics
| Computation Systems Group – University of Salzburg
| Abstract
|
| 05-02-2009
| Matthias Raffelsieper
| Model-Checking Verilog Descriptions of Cell Libraries
| TU/e / OAS
| Abstract
|
| 22-01-2009
| Sonja Georgievska
| On compositionality, efficiency and applicability of abstraction in probabilistic systems
| TU/e / FM
| Abstract
|
| 08-01-2009
| Simona Orzan
| Fair exchange, atomic commit and consensus
| TU/e / FM
| Abstract
|
| 11-12-2008
| Muhammad Atif
| Formal Verification of Heartbeat Protocols
| TU/e / OAS
| Abstract
|
| 13-11-2008
| Bas Ploeger
| Improving an Interactive Visualization of Transition Systems
| TU/e / OAS
| Abstract Slides (pdf)
|
| 30-10-2008
| Francien Dechesne
| Refinement of Kripke Models for Dynamics
| TU/e / FM
| Abstract Slides (pdf)
|
| 16-10-2008
| Arnar Birgisson
| Enforcing Authorization Policies using Transactional Memory Introspection
| School of Computer Science, Reykjavík University, Iceland
| Abstract Slides (pdf)
|
| 18-09-2008
| Rob Verhoeven
| Verifying Multi-Party Authentication Using Rank Functions and PVS
| TU/e / FM
| Abstract Slides (pdf)
|
| 04-09-2008
| Dino Distefano
| Compositional Shape Analysis
| Royal Academy of Engineering, Logic and Semantics group, Queen Mary, University of London
| Abstract
|
| 26-06-2008
| Rink Springer
| SmartPixel: Modelling in practice
| TU/e
| Abstract Slides (pdf)
|
| 19-06-2008
| Frank Stappers
| Translating Chi 2.0 to mCRL2
| TU/e / OAS
| Abstract Slides (pdf)
|
| 12-06-2008
| Paul van Tilburg
| A Context-Free Process as Pushdown Automaton
| TU/e / FM
| Abstract Slides (pdf)
|
| 26-05-2008
| Joost-Pieter Katoen
| Good, Cheap, Fast: Reachability Objectives in Randomly Timed Games
| RWTH Aachen Univ. / MOVES
| Abstract Slides (pdf)
|
| 22-05-2008
| Harsh Beohar
| Verification of Workflow in BeX using ASD
| TU/e
| Abstract Slides (ppt)
|
| 24-04-2008
| Adam Koprowski
| Arctic Termination ... Below Zero
| TU/e / OAS
| Abstract Slides (pdf)
|
| 14-04-2008
| Supratik Chakraborty
| Automatically Refining Abstract Interpretations
| IIT Bombay
| Abstract
|
| 27-03-2008
| Paul van Tilburg
| Finite Equational Bases for Fragments of CCS with Restriction and Relabelling
| TU/e / FM
| Abstract Slides (pdf)
|
| 13-03-2008
| Simona Orzan
| Measuring anonymity with mCRL
| TU/e / FM & OAS
| Abstract Slides (pdf)
|
| 21-02-2008
| Mehrnoosh Sadrzadeh
| Aximo: implementation of a decision procedure for information flow.
| Labo PPS, Paris 7 and Computing Lab, Oxford University
| Abstract Slides (pdf)
|
| 14-02-2008
| Bas Ploeger
| Correcting a Space-Efficient Simulation Algorithm
| TU/e / OAS
| Abstract Slides (pdf)
|
| 31-01-2008
| Jasen Markovski
| Performance Analysis of Chi Models using Discrete-Time Probabilistic Reward Graphs.
| TU/e / FM
| Abstract Slides (ppt)
|
| 21-01-2008
| Hossein Hojjat
| Process Algebraic Verification of SystemC Codes.
| Univ. of Tehran and TU/e
| Abstract Slides (pdf)
|
| 22-12-2007
| Cas Cremers
| On the Protocol Composition Logic PCL
| ETH Zürich
| Abstract
|
| 6-12-2007
| Jasen Markovski
| Compositionality for Markov Reward Chains with Fast Transitions.
| TU/e / FM
| Abstract Slides (pdf)
|
| 22-11-2007
| MohammadReza Mousavi
| An Unaxiomatizability Meta-Theorem
| TU/e / OAS
| Abstract Slides (pdf)
|
| 14-11-2007
| Murdoch James Gabbay
| Nominal techniques: present and future prospects
| Heriot-Watt University
| Abstract Slides (pdf)
|
| 8-11-2007
| Sonja Georgievska and Nikola Trcka
| Branching bisimulation congruence for probabilistic
| TU/e / FM
| Abstract Slides (ppt)
|
| 25-10-2007
| Muck van Weerdenburg
| Structural Operational Semantics with First-Order Logic
| TU/e / OAS
| Abstract Slides (pdf)
|
| 11-10-2007
| Adam Koprowski
| Predictive Labeling with Dependency Pairs using SAT
| TU/e / OAS
| Abstract Slides (pdf)
|
| 27-09-2007
| Jos Baeten
| Models of Computation: Automata and Processes
| TU/e / FM
| Abstract Slides (ppt)
|
| 13-09-2007
| Uzma Khadim
| Linearization of Hybrid Chi Using program Counters
| TU/e / FM
| Abstract Slides (pdf)
|
| 12-07-2007
| Kees van Hee
| History-dependent Petri nets
| TU/e / AIS
| Abstract Slides (pdf)
|
| Kees Middelburg
| Splitting bisimulations and retrospective conditions
| UvA
| Abstract Slides (pdf)
|
| 5-07-2007
| Francien Dechesne
| Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
| TU/e / FM
| Abstract Slides (pdf)
|
| 14-06-2007
| Marc Voorhoeve
| Equivalence of open nets
| TU/e / AIS
| Abstract Slides (ppt)
|
| 31-05-2007
| Adam Koprowski
| Termination of Term Rewriting Meets Theorem Proving
| TU/e / OAS
| Abstract Slides (pdf)
|
| 3-05-2007
| Nikola Trcka
| Transition Systems in Matrix Theory - Connection with Markov Chain Theory
| TU/e / FM
| Abstract Slides (pdf)
|
| 19-04-2007
| Bas Luttik
| Branching Bisimulation Equivalence with Explicit Divergence
| TU/e / FM
| Abstract
|
| 05-04-2007
| MohammadReza Mousavi
| The Equational Theory of Timed CCS
| TU/e / OAS
| Abstract Slides (pdf)
|
| 22-02-2007
| Ana Sokolova
| The Microcosm Principle and Concurrency in Coalgebra
| ICIS, SoS, Radboud University Nijmegen
| Abstract
|
| 08-02-2007
| Frank Puhlmann
| On the Application of the Pi-Calculus to Business Process Management
| Universiteit Potzdam
| Abstract
|
| 25-01-2007
| Michiel van Osch
| Automated Model-based Testing of Hybrid Systems
| TU/e / FM
| Abstract Slides (ppt)
|
| 11-01-2007
| Muck van Weerdenburg
| Action Abstraction in Timed Process Algebra: The Case for an Untimed Silent Step
| TU/e / OAS
| Abstract Slides (pdf)
|
| 16-11-2006
| Aad Mathijssen
| Nominal Algebra
| TU/e / OAS
| Abstract Slides (pdf)
|
| 02-11-2006
| Ronald Middelkoop
| Invariants for Non-Hierarchical Object Structures
| TU/e / FM
| Abstract Slides (ppt)
|
| 19-10-2006
| Bas Ploeger
| From NFA to minimal DFA
| TU/e / OAS
| Abstract Slides (pdf)
|
| 05-10-2006
| Marc Voorhoeve
| Checking Properties of Adaptive Workflow Nets
| TU/e / AIS
| Abstract Slides (ppt)
|
| 21-09-2006
| Hans Zantema
| Recent developments in proving termination of rewriting automatically
| TU/e / OAS
| Abstract Slides (pdf)
|
| 29-06-2006
| Jaco van de Pol
| Fixpoint Equation Systems
| TU/e and CWI / FM
| Abstract
|
| 08-06-2006
| Uzma Khadim
| A comparative study of Process Algebras for Hybrid Systems
| TU/e / FM
| Abstract Slides (pdf)
|
| 08-06-2006
| Olivia Oanea
| Verifying Generalized Soundness for Workflow Nets
| TU/e / AIS
| Abstract Slides (pdf)
|
| 08-06-2006
| Kais Klai
| Symbolic and modular verification approaches for Petri net models
| TU/e / AIS
| Abstract Slides (ppt)
|
| 11-05-2006
| Marc Voorhoeve
| Liveness, Fairness and Impossible Futures
| TU/e / AIS
| Abstract Slides (ppt)
|
| 04-05-2006
| Aad Mathijssen
| One-and-a-halfth-order logic
| TU/e / OAS
| Abstract Slides (pdf)
|
| 16-04-2006
| Jassen Markovski
| Lumping of Markov Chains with Silent Steps
| TU/e / FM
| Abstract Slides (pdf)
|
| 30-03-2006
| Jan Hidders
| On the Generation of Dossier Data Structures for Workflow Nets
| University of Antwerp
| Abstract Slides (pdf)
|
| 16-03-2006
| Adam Koprowski
| Topics in Termination of Term Rewriting
| TU/e / OAS
| Abstract Slides (pdf)
|
| 02-03-2006
| Irek Ulidowski
| Reversing Algebraic Process Calculi
| University of Leicester
| Abstract Slides (pdf)
|