Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

A Compositional Trace Logic For Behavioral Interface Specifications Article

Nordic Journal of Computing, 12(2), 116-132.

M. Kyas (Marcel), F.S. de Boer (Frank) and W.P. de Roever

January 2005
Ultrafilter extensions for coalgebras Book Chapter

C.A. Kupke (Clemens), A. Kurz (Alexander) and D. Pattinson

January 2005
Closure properties of coalgebra automata In Proceedings

C.A. Kupke (Clemens) and Y. Venema

January 2005
Algorithms for a No monotonic Logic of Preferences In Proceedings

S. Kaci and L.W.N. van der Torre (Leon)

January 2005
Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Tech Report

K. Schwarz

January 2005
On global error estimation and control for initial value problems Tech Report

J. Lang (Jens) and J.G. Verwer (Jan)

January 2005
Reduced mixing generates oscillations and chaos in the deep chlorophyll maximum Tech Report

J. Huisman, N.N. Pham Thi (Nga), D. Karl and B.P. Sommeijer (Ben)

January 2005
Integral representations for computing real parabolic cylinder functions Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2005
MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels In Proceedings

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2005
Proceedings of First International Conference on Algebra and Coalgebra in Computer Science Proceedings

January 2005
Composition of Negotiation Protocols for E-Commerce Applications In Proceedings

N.K. Diakov (Nikolay), Z.V. Zlatev and S. Pokraev

January 2005
Algebra, bitstreams, and circuits Book Chapter

J.J.M.M. Rutten (Jan)

January 2005
A coinductive calculus of streams Article

Mathematical Structures in Computer Science, 93-147.

J.J.M.M. Rutten (Jan)

January 2005
A tutorial on coinductive stream calculus and signal flow graphs Article

Theoretical Computer Science, 343(3), 443-481.

J.J.M.M. Rutten (Jan)

January 2005
Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach In Proceedings

N.K. Diakov (Nikolay) and F. Arbab (Farhad)

January 2005
Inferring trust In Proceedings

M. Dastani, A. Herzig, J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Preferences of Agents in Defeasible Logic In Proceedings

M. Dastani, G. Governatori, A. Rotolo and L.W.N. van der Torre (Leon)

January 2005
Programming Cognitive Agents in Defeasible Logic In Proceedings

M. Dastani, G. Governatori, A. Rotolo and L.W.N. van der Torre (Leon)

January 2005
Coordination and composition in multi-agent systems In Proceedings

M. Dastani, F. Arbab (Farhad) and F.S. de Boer (Frank)

January 2005
How to decide what to do? Article

Operations Research, 160(3), 762-784.

M. Dastani, J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Beliefs, Obligations, Intentions and Desires as components in an agent architecture Article

International Journal of Intelligent Systems, 20(9), 893-919.

J. Broersen, M. Dastani and L.W.N. van der Torre (Leon)

January 2005
Dualities for Logics of Transition Systems In Proceedings

M.M. Bonsangue (Marcello) and A. Kurz (Alexander)

January 2005
Enterprise Architecture Analysis with XML In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello), J.F. Jacob (Joost), A. Stam and L.W.N. van der Torre (Leon)

January 2005
Change Impact Analysis of Enterprise Architecture In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.P.J. Groenewegen (Luuk), A. Stam, S. Stevens and L.W.N. van der Torre (Leon)

January 2005
Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

January 2005
Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

January 2005
Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings

January 2005
Permission and Authorization in Policies for Virtual Communities of Agents In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Organizations as Socially Constructed Agents in the Agent Oriented Paradigm In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Enforceable Social Laws In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
From the Theory of Mind to the Construction of Social Reality In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Role-based Rights in Artificial Social Systems In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Admissible Agreements among Goal-directed Agents In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Argument games for interactive access control In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Argumentation for access control In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Coordination Models and Languages In Proceedings

F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank), J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)

January 2005
Abstract Behavior Types: a foundation model for components and their composition Article

Science of Computer Programming, 55(1-3), 3-52.

F. Arbab (Farhad)

January 2005
Foundations - chapter III Book Chapter

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.W.N. van der Torre (Leon) and not CWI et al

January 2005
An assertion-based proof system for multithreaded Java Article

Theoretical Computer Science, 331(2-3), 251-290.

E. Abraham (Erika), F.S. de Boer (Frank), W.P. de Roever and M. Steffen

January 2005
Solving scheduling problems by untimed model checking In Proceedings

A.J. Wijs (Anton), J.C. van de Pol (Jaco) and E. Bortnik

January 2005
Formal methods impact on ANSI standard HL7/IM: filling gaps in MSC theory In Proceedings

W. Wesselink, N. Goga (Nicolae), A.J. Mooij (Arjan) and R. Spronk

January 2005
Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings

January 2005
Generalized innermost rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

January 2005
A BDD-representation for the logic of equality and uninterpreted functions In Proceedings

J.C. van de Pol (Jaco) and O. Tveretina

January 2005
An abstract interpretation toolkit for µ CRL In Proceedings

J.C. van de Pol (Jaco) and M.V. Espada

January 2005
A state space distribution policy based on abstract interpretation In Proceedings

S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.V. Espada

January 2005
XML security in the next generation optical disc context In Proceedings

G.G. Nair, A. Gopalakrishnan, S. Mauw (Sjouke) and E. Moll

January 2005
A syntactic commutativity format for SOS Article

Information Processing Letters, 93(5), 217-223.

M.R. Mousavi, M.A. Reniers (Michel) and J.F. Groote (Jan Friso)

January 2005
Notions of bisimulation and congruence formats for SOS with data Article

Information and Computation, 200(1), 107-147.

M.R. Mousavi, M.A. Reniers (Michel) and J.F. Groote (Jan Friso)

January 2005
Non-local choice and beyond: Intricacies of MSC choice nodes In Proceedings

A.J. Mooij (Arjan), N. Goga (Nicolae) and J.M.T. Romijn (Judi)

January 2005
Dealing with non-local choice in IEEE 1073.2's standard for remote control In Proceedings

A.J. Mooij (Arjan) and N. Goga (Nicolae)

January 2005
Decomposition orders another generalisation of the fundamental theorem of arithmetic Article

Theoretical Computer Science, 335(2-3), 147-186.

S.P. Luttik (Bas) and V. van Oostrom (Vincent)

January 2005
Stuttering congruence for $\Chi$ In Proceedings

S.P. Luttik (Bas) and N. Trcka

January 2005
Infinitary normalization Book Chapter

J.W. Klop (Jan Willem) and R. de Vrijer

January 2005
Vicious circles in orthogonal term rewriting systems In Proceedings

J. Ketema, J.W. Klop (Jan Willem) and V. van Oostrom (Vincent)

January 2005
Semantic models of a timed distributed dataspace architecture Article

Theoretical Computer Science, 331(2-3), 291-323.

J. Hooman and J.C. van de Pol (Jaco)

January 2005
Parameterised boolean equation systems Article

Theoretical Computer Science, 343(3), 332-369.

J.F. Groote (Jan Friso) and T.A.C. Willemse

January 2005
Model-checking processes with data Article

Science of Computer Programming, 56(3), 251-273.

J.F. Groote (Jan Friso) and T.A.C. Willemse

January 2005
A computer checked algebraic verification of a distributed summation algorithm Article

Formal Aspects of Computing, 17(1), 19-37.

J.F. Groote (Jan Friso), F. Monin and J.G. Springintveld

January 2005
A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems In Proceedings

J.F. Groote (Jan Friso) and M. Keinänen

January 2005
Bit boundary testing coverage In Proceedings

N. Goga (Nicolae) and F. Moldoveanu

January 2005
Lock-free parallel garbage collection In Proceedings

H. Gao, J.F. Groote (Jan Friso) and W.H. Hesselink (Wim)

January 2005
Lock-free dynamic hash tables with open addressing Article

Distributed Computing, 18(1), 21-42.

H. Gao, J.F. Groote (Jan Friso) and W.H. Hesselink (Wim)

January 2005
Is timed branching bisimilarity and equivalence indeed? In Proceedings

W.J. Fokkink (Wan), J. Pang (Jun) and A.J. Wijs (Anton)

January 2005
Simplifying Itai-Rodeh leader election for anonymous rings In Proceedings

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2005
verification of timed systems using cones and foci In Proceedings

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2005
A finite basis for failure semantics In Proceedings

W.J. Fokkink (Wan) and S. Nain

January 2005
A note on K-state self-stabilization in a ring with K=N Article

Nordic Journal of Computing, 12(1), 18-26.

W.J. Fokkink (Wan), J.H. Hoepman (Jaap-Henk) and J. Pang (Jun)

January 2005
A syntactic criterion for injectivity of authentication protocols In Proceedings

S. Mauw (Sjouke), C.J.F. Cremers (Cas) and E.P. de Vink (Erik)

January 2005
Checking secrecy by means of partial order reduction In Proceedings

S. Mauw (Sjouke) and C.J.F. Cremers (Cas)

January 2005
Operational semantics of security protocols In Proceedings

S. Mauw (Sjouke) and C.J.F. Cremers (Cas)

January 2005
On the bisimulation congruence in chi-calculus In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2005
Analysis of a leader election algorithm in $\mu$ CRL In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2005
Formal analysis of a fair payment protocol In Proceedings

J.G. Cederquist and M.T. Dashti (Mohammad)

January 2005
Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article

Journal of Logic and Algebraic Programming, 65(2), 51-104.

A.J. Wijs (Anton), S.P. Luttik (Bas), W.J. Fokkink (Wan) and not CWI et al

January 2005
Distributed state space minimization Article

International Journal on Software Tools for Technology Transfer, 7(3), 280-291.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

January 2005
A distributed algorithm for strong bisimulation reduction of state spaces Article

International Journal on Software Tools for Technology Transfer, 7(1), 74-86.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

January 2005
Analysing the BKE-security protocol with $\mu$CRL In Proceedings

S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), S. Mauw (Sjouke) and A. Serebrenik (Alexander)

January 2005
Verification of a sliding window protocol in $\mu$ CRL and PVS Article

Formal Aspects of Computing, 17(3), 342-388.

B. Badban (Bahareh), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun) and J.C. van de Pol (Jaco)

January 2005
Introductory paper Special section on formal methods for industrial critical systems Article

International Journal on Software Tools for Technology Transfer, 7(3), 195-196.

T. Arts and J.C. van de Pol (Jaco)

January 2005
Skew and mega-skew confluence and abstract böhm semantics Book Chapter

Z.M. Ariola (Zena) and S.C.C. Blom (Stefan)

January 2005
Preface In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan) and I. Ulidowski

January 2005
Bisimilarity is not finitely based over BPA with interrupt In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S. Nain

January 2005
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge Article

Logical Methods in Computer Science, 1(1-3), 1-12.

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2005
Finite equational bases in process algebra: Results and open questions Book Chapter

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2005
CCS with Hennessy's merge has no finite-equational axiomatization Article

Chicago Journal of Theoretical Computer Science, 330(3), 377-405.

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2005
Inzien en bewijzen - Docentenhandleiding Book

D.J.N. van Eijck (Jan) and A. Visser

January 2005
Inzien en bewijzen Book

D.J.N. van Eijck (Jan) and A. Visser

January 2005
Sisyphus. Continuous integration system Manual

T. van der Storm (Tijs)

January 2005
FINT. Eclipse plugin offering aspect-mining capabilities by means of fan-in analysis Manual

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2005
AJHotDraw. SourceForge. Aspect-oriented re-implementation of JHotDraw Manual

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2005
Continuous release and upgrade of component-based software In Proceedings

T. van der Storm (Tijs)

January 2005
TIDE: (a) generic debugging framework Book Chapter

M.G.J. van den Brand (Mark), B. Cornelissen, P.A. Olivier (Pieter) and J.J. Vinju (Jurgen)

January 2005
Crosscutting concerns in J2EE applications In Proceedings

A. Mesbah (Ali) and A. van Deursen (Arie)

January 2005
When and how to develop domain-specific languages Article

ACM Computing Surveys, 37(4), 316-344.

M. Mernik (Marjan) and J. Heering (Jan)

January 2005
A classification of crosscutting concerns and the implications for aspect-oriented refactoring In Proceedings

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2005
An approach to aspect refactoring based on crosscutting concern types In Proceedings

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2005
Reconstructing requirements coverage views from design and test using traceability recovery via LSI In Proceedings

M. Lormans (Marco) and A. van Deursen (Arie)

January 2005
Term rewriting meets aspect oriented programming Book Chapter

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2005

Available Years

Publications from 2020

A Compositional Trace Logic For Behavioral Interface Specifications Article

Ultrafilter extensions for coalgebras Book Chapter

Closure properties of coalgebra automata In Proceedings

Algorithms for a No monotonic Logic of Preferences In Proceedings

Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Tech Report

On global error estimation and control for initial value problems Tech Report

Reduced mixing generates oscillations and chaos in the deep chlorophyll maximum Tech Report

Integral representations for computing real parabolic cylinder functions Tech Report

MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels In Proceedings

Proceedings of First International Conference on Algebra and Coalgebra in Computer Science Proceedings

Composition of Negotiation Protocols for E-Commerce Applications In Proceedings

Algebra, bitstreams, and circuits Book Chapter

A coinductive calculus of streams Article

A tutorial on coinductive stream calculus and signal flow graphs Article

Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach In Proceedings

Inferring trust In Proceedings

Preferences of Agents in Defeasible Logic In Proceedings

Programming Cognitive Agents in Defeasible Logic In Proceedings

Coordination and composition in multi-agent systems In Proceedings

How to decide what to do? Article

Beliefs, Obligations, Intentions and Desires as components in an agent architecture Article

Dualities for Logics of Transition Systems In Proceedings

Enterprise Architecture Analysis with XML In Proceedings

Change Impact Analysis of Enterprise Architecture In Proceedings

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings

Permission and Authorization in Policies for Virtual Communities of Agents In Proceedings

Organizations as Socially Constructed Agents in the Agent Oriented Paradigm In Proceedings

Enforceable Social Laws In Proceedings

From the Theory of Mind to the Construction of Social Reality In Proceedings

Role-based Rights in Artificial Social Systems In Proceedings

Admissible Agreements among Goal-directed Agents In Proceedings

A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages In Proceedings

Argument games for interactive access control In Proceedings

Argumentation for access control In Proceedings

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Coordination Models and Languages In Proceedings

Abstract Behavior Types: a foundation model for components and their composition Article

Foundations - chapter III Book Chapter

An assertion-based proof system for multithreaded Java Article

Solving scheduling problems by untimed model checking In Proceedings

Formal methods impact on ANSI standard HL7/IM: filling gaps in MSC theory In Proceedings

Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings

Generalized innermost rewriting In Proceedings

A BDD-representation for the logic of equality and uninterpreted functions In Proceedings

An abstract interpretation toolkit for µ CRL In Proceedings

A state space distribution policy based on abstract interpretation In Proceedings

XML security in the next generation optical disc context In Proceedings

A syntactic commutativity format for SOS Article

Notions of bisimulation and congruence formats for SOS with data Article

Non-local choice and beyond: Intricacies of MSC choice nodes In Proceedings

Dealing with non-local choice in IEEE 1073.2's standard for remote control In Proceedings

Decomposition orders another generalisation of the fundamental theorem of arithmetic Article

Stuttering congruence for $\Chi$ In Proceedings

Infinitary normalization Book Chapter

Vicious circles in orthogonal term rewriting systems In Proceedings

Semantic models of a timed distributed dataspace architecture Article

Parameterised boolean equation systems Article

Model-checking processes with data Article

A computer checked algebraic verification of a distributed summation algorithm Article

A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems In Proceedings

Bit boundary testing coverage In Proceedings

Lock-free parallel garbage collection In Proceedings

Lock-free dynamic hash tables with open addressing Article

Is timed branching bisimilarity and equivalence indeed? In Proceedings

Simplifying Itai-Rodeh leader election for anonymous rings In Proceedings

verification of timed systems using cones and foci In Proceedings

A finite basis for failure semantics In Proceedings

A note on K-state self-stabilization in a ring with K=N Article

A syntactic criterion for injectivity of authentication protocols In Proceedings

Checking secrecy by means of partial order reduction In Proceedings

Operational semantics of security protocols In Proceedings

On the bisimulation congruence in chi-calculus In Proceedings

Analysis of a leader election algorithm in $\mu$ CRL In Proceedings

Formal analysis of a fair payment protocol In Proceedings

Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article

Distributed state space minimization Article

A distributed algorithm for strong bisimulation reduction of state spaces Article

Analysing the BKE-security protocol with $\mu$CRL In Proceedings