Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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 and A.J. Wijs (Anton)

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

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

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

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

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

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 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 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
Common knowledge in update logics In Proceedings

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and B. Kooi

January 2005
A case study of the release management of a health-care information system In Proceedings

G.C. Ballintijn (Gerco)

January 2005
Neural networks for discrete tomography In Proceedings

K.J. Batenburg (Joost) and W.A. Kosters

January 2005
A new algorithm for 3D binary tomography In Proceedings

K.J. Batenburg (Joost) and not CWI et al

January 2005
A new algorithm for 3D binary tomography In Proceedings

K.J. Batenburg (Joost)

January 2005
An evolutionary algorithm for discrete tomography Article

Discrete Applied Mathematics, 36-54.

K.J. Batenburg (Joost)

January 2005
On the notion of statistical security in simulatability definitions. Information Security In Proceedings

D. Hofheinz (Dennis) and D. Unruh

January 2005
On fairness in simulatability-based cryptographic systems In Proceedings

M. Backes, D. Hofheinz (Dennis), J. Müller-Quade and D. Unruh

January 2005
Polynomial runtime in simulatability definitions In Proceedings

D. Hofheinz (Dennis), J. Müller-Quade and D. Unruh

January 2005
Comparing two notions of simulatability In Proceedings

D. Hofheinz (Dennis) and D. Unruh

January 2005
Secure Computation of the Mean and Related Statistics In Proceedings

E. Kiltz (Eike), J. Malone-Lee and G. Leander

January 2005
A multi-sensor architecture for human-centered smart environments In Proceedings

B.A.M. Schouten (Ben), J.W.H. Tangelder (Hans) and S. Bonchev (Stefan)

January 2005
Multimedia Understanding through Semantics, Computation and Learning In Proceedings

E.J.E.M. Pauwels (Eric)

January 2005
Saliency Detection and Matching Strategy for PHOTO-Identification of Humpback Whales In Proceedings

E.B. Ranguelova (Elena) and E.J.E.M. Pauwels (Eric)

January 2005
Addressing Partial Relevance in Image Retrieval through Aspect-based Relevance Learning In Proceedings

M.J. Huiskes (Mark)

January 2005
Aspect-based Relevance Learning for Image Retrieval In Proceedings

M.J. Huiskes (Mark)

January 2005
Append-Only Signatures In Proceedings

E. Kiltz (Eike) and not CWI et al

January 2005
Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions In Proceedings

E. Kiltz (Eike) and not CWI et al

January 2005
Cryptography in the Bounded Quantum-Storage Model In Proceedings

I.B. Damgård (Ivan), S. Fehr (Serge), L. Salvail (Louis) and C. Schaffner (Christian)

January 2005
On Codes, Matroids and Secure Multi-Party Computation from Linear Secret Sharing Schemes In Proceedings

R.J.F. Cramer (Ronald) and not CWI et al

January 2005
Threshold Circuit Lower Bounds on Cryptographic Functions Article

Journal of Computer and System Sciences, 71(2), 185-212.

E. Kiltz (Eike) and H.U. Simon

January 2005

Available Years

Publications from 2024

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

Crosscutting concerns in J2EE applications In Proceedings

When and how to develop domain-specific languages Article

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

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

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

Term rewriting meets aspect oriented programming Book Chapter

Toward an engineering discipline for grammarware Article

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

A process model and typology for software product updaters In Proceedings

Evaluating an embedded software reference architecture: Experience report In Proceedings

Modelling the epistemics of communication with functional programming In Proceedings

Normal forms for characteristic functions on n-ary relations Article

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

A JHotDraw: A showcase for refactoring to aspects In Proceedings

Guest editorial: Software reverse engineering Article

A Qualitative Comparison of Three Aspect Mining Techniques In Proceedings

Isolating idiomatic crosscutting concerns In Proceedings

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

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

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

An architecture for context-sensitive formatting In Proceedings