Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
Toward an engineering discipline for grammarware Article

ACM Transactions on Software Engineering and Methodology, 14(3), 331-380.

P. Klint (Paul), R. Lämmel (Ralf) and C. Verhoef (Chris)

January 2005
Integrated development and maintenance of software products to support efficient updating of customer configurations: A case study in mass market erp software In Proceedings

S. Jansen, S. Brinkkemper, G.C. Ballintijn (Gerco) and A. van Nieuwland

January 2005
A process model and typology for software product updaters In Proceedings

S. Jansen, S. Brinkkemper and G.C. Ballintijn (Gerco)

January 2005
Evaluating an embedded software reference architecture: Experience report In Proceedings

A. van Deursen (Arie) and not CWI et al

January 2005
Modelling the epistemics of communication with functional programming In Proceedings

D.J.N. van Eijck (Jan) and S.-M. Orzan (Simona-Mihaela)

January 2005
Normal forms for characteristic functions on n-ary relations Article

Journal of Logic and Computation, 85-98.

D.J.N. van Eijck (Jan)

January 2005
Guest editors' introduction: 10th WCRE Working Conference on Reverse Engineering Article

IEEE Transactions on Software Engineering, 31(2), 97-98.

A. van Deursen (Arie) and E. Stroulia

January 2005
A JHotDraw: A showcase for refactoring to aspects In Proceedings

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

January 2005
Guest editorial: Software reverse engineering Article

Journal of Systems and Software, 77(3371), 209-211.

A. van Deursen (Arie) and E. Burd

January 2005
A Qualitative Comparison of Three Aspect Mining Techniques In Proceedings

T. Tourwé (Tom), L.M.F. Moonen (Leon) and not CWI et al

January 2005
Isolating idiomatic crosscutting concerns In Proceedings

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

January 2005
On the use of clone detection for identifying crosscutting concern code Article

IEEE Transactions on Software Engineering, 31(10), 804-818.

M. Bruntink (Magiel), A. van Deursen (Arie), R. van Engelen and T. Tourwé (Tom)

January 2005
Generalized type-based disambiguation of meta programs with concrete object syntax In Proceedings

M. Bravenboer, R. Vermaas, J.J. Vinju (Jurgen) and E. Visser (Eelco)

January 2005
A generator of efficient strongly typed abstract syntax trees in Java Article

Software, IEE Proceedings , 152(2), 70-79.

M.G.J. van den Brand (Mark), P.-E. Moreau and J.J. Vinju (Jurgen)

January 2005
An architecture for context-sensitive formatting In Proceedings

M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), J.J. Vinju (Jurgen) and N.P. Veerman

January 2005

Available Years

Publications from 2020

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

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

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

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

Preface In Proceedings

Bisimilarity is not finitely based over BPA with interrupt In Proceedings

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

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

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

Inzien en bewijzen - Docentenhandleiding Book

Inzien en bewijzen Book

Sisyphus. Continuous integration system Manual

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

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

Continuous release and upgrade of component-based software In Proceedings

TIDE: (a) generic debugging framework Book Chapter