Publications from 2013
-
Interacting process classes Article
January 2006 -
Compositional Operational Semantics of a UML-Kernel-Model language Article
Electronic Notes in Theoretical Computer Science, 79-96.January 2006 -
Type for hierarchic shapes (summary) In Proceedings
January 2006 -
Introduction -- special issue on Enterprise Architecture Article
Information Systems Frontiers, 63-66.January 2006 -
January 2006
-
Modelling Coordination in Biological Systems In Proceedings
January 2006 -
Connector Colouring I: Synchronisation and Context Dependency Article
Electronic Notes in Theoretical Computer Science, 101-119.January 2006 -
A Framework for Automatically Checking Anonymity with mCRL In Proceedings
January 2006 -
January 2006
-
January 2006
-
Presenting Functors by Operations and Equations, in Foundations of Software Science and Computation Structures In Proceedings
January 2006 -
On the semantics of componentware: a coalgebraic perspective, in Mathematical Frameworks for Component Software Book Chapter
January 2006 -
Preface -- special issue on Foundations of Software Engineering Article
Electronic Notes in Theoretical Computer Science, 1-2.January 2006 -
Modeling component connectors in Reo by constraint automata Article
Science of Computer Programming, 75-113.January 2006 -
A Behavioral Model for Composition of Software Components Article
L'Objet, 33-76.January 2006 -
AMIS/Ambulant Daisy Player Software
January 2006 -
FNB Daisy-III Player Software
January 2006 -
AMBULANT Open SMIL Player Software
January 2006 -
VeriGEM: A verification grid for enhanced model checking Magazine Article
January 2006 -
Security of multi-party protocols: Epistemics and verification Magazine Article
January 2006 -
NIPS Software
January 2006 -
mCRL toolset Software
January 2006 -
A Graphics Architecture for high-end interactive television terminals Article
ACM Transactions on Multimedia Computing, Communications, and Applications, 343-357.January 2006 -
Open Graphical Framework for interactive tv Article
International Journal on Multimedia Tools and Applications, 189-203.January 2006 -
Interactive Digital Television and Multimedia Systems In Proceedings
January 2006 -
January 2006
-
January 2006
-
January 2006
-
An Architecture for End-User tv content enrichment Article
Journal of Virtual Reality and BroadcastingJanuary 2006 -
An Architecture for End-User tv content enrichment In Proceedings
January 2006 -
An Architecture for Viewer-Side Enrichment of TV Content In Proceedings
January 2006 -
Experiences with User-Centered Multimedia systems deployment In Proceedings
January 2006 -
A Rationale for Creating an interactive-tv profile for smil In Proceedings
January 2006 -
Model checking software for microcontrollers Tech Report
January 2006 -
January 2006
-
January 2006
-
What is algebraic in process theory? Article
Bulletin of the EATCSJanuary 2006 -
Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings
January 2006 -
January 2006
-
Distribution of a simple shared dataspace architecture Article
Fundamenta Informaticae, 535-559.January 2006 -
Forward Secure Communication inWireless Sensor Networks In Proceedings
January 2006 -
Preface In Proceedings
January 2006 -
Preface Article
Electronic Notes in Theoretical Computer Science, 1-2.January 2006 -
What is algebraic in process theory? Article
Electronic Notes in Theoretical Computer Science, 227-231.January 2006 -
Preface Proceedings of PDMS 2005 In Proceedings
January 2006 -
Discretization of Timed Automata in Timed μCRL `a la Regions and Zones Article
Electronic Notes in Theoretical Computer Science, 197-202.January 2006 -
A Hierarchy of SOS Rule Formats Article
Electronic Notes in Theoretical Computer Science, 3-25.January 2006 -
From μCRL to mCRL2: Motivation and Outline Article
Electronic Notes in Theoretical Computer Science, 191-196.January 2006 -
Interactive visualization of large state spaces Article
International Journal on Software Tools for Technology Transfer, 77-91.January 2006 -
Some Remarks on Definability of Process Graphs In Proceedings
January 2006 -
Cones, foci: A mechanical framework for protocol verification Article
Formal Methods in System Design, 1-31.January 2006 -
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article
Journal of Universal Computer Science, 981-1006.January 2006 -
Computing with actions and communications Article
Bulletin of the Belgian Mathematical Society Simon Stevin, 789-905.January 2006 -
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings
January 2006 -
Divide and congruence applied to eta-bisimulation In Proceedings
January 2006 -
Compositionality of Hennessy-Milner logic by structural operational semantics Article
Bulletin of the EATCS, 421-440.January 2006 -
January 2006
-
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence Article
Acta Cybernetica, 471-483.January 2006 -
January 2006
-
On finite alphabets, infinite bases III: Simulation In Proceedings
January 2006 -
January 2006
-
Simulated Time for Testing Railway Interlockings with TTCN-3 In Proceedings
January 2006 -
Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article
Journal of Logic and Algebraic Programming, 1-3.January 2006 -
Bisimilarity is not finitely based over BPA with interrupt In Proceedings
January 2006 -
The quest for equational axiomatizations of parallel composition: Status and open problems In Proceedings
January 2006 -
Injective synchronisation: An extension of the authentication hierarchy Article
Electronic Notes in Theoretical Computer Science, 139-161.January 2006 -
January 2006
-
On the axiomatizability of priority In Proceedings
January 2006 -
January 2006
-
Distributed evaluation of continuous equi-join queries over large structured overlay networks In Proceedings
January 2006 -
A model of maintainability - Suggestion for future research In Proceedings
January 2006 -
Data reverse engineering using system dependency graphs In Proceedings
January 2006 -
Harvesting software systems for MDA-based reengineering In Proceedings
January 2006 -
Fint: Tool support for aspect mining In Proceedings
January 2006 -
January 2006
-
January 2006
-
January 2006
-
Introduction to the special issue on software architecture reconstruction and modeling Article
Automated Software Engineering, 199-200.January 2006 -
Evaluating GLR parsing algorithms Article
Science of Computer Programming, 228-244.January 2006 -
Integrated development and maintenance for the release, delivery, deployment, and customization of product software: a case study in mass-market ERP software Article
Journal of Software Maintenance and Evolution, 133-151.January 2006 -
January 2006
-
January 2006
-
Documenting software systems using types Article
Science of Computer Programming, 205-220.January 2006 -
Aiding in the comprehension of testsuites In Proceedings
January 2006 -
Discovering faults in idiom-based exception handling In Proceedings
January 2006 -
De architectuur van Ajax ontrafeld Article
Informatie (NGI), 50-56.January 2006 -
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation Proceedings
January 2006 -
The Gamut of Dynamic Logics Book Chapter
January 2006 -
January 2006
-
Applying and combining three different aspect mining techniques Article
Software Quality Journal, 209-231.January 2006 -
An empirical study into class testability Article
Journal of Systems and Software, 1219-1232.January 2006 -
January 2006
-
January 2006
-
January 2006
-
Co-transformations in database applications evolution In Proceedings
January 2006 -
ASF+SDF Meta-Environment 2.0 Manual
January 2006 -
January 2006
-
Discourse representation theory Book Chapter
January 2006 -
January 2006
-
Discourse on social software --- What is social software? Article
NIAS Newsletter, 15-21.January 2006