LIACS > Onderzoek > Foundations of Software Technology > Publications
English
headerimg

Publications

This page gives a not necessarily complete list of publications by the FaST cluster.
Please see this page for a list of publications before 2005.

| 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 |

2012

2011

  • A. Ehrenfeucht, H.C.M. Kleijn, M. Koutny & G. Rozenberg: Relevance of Entities in Reaction Systems. In: , Lecture Notes in Computer Science: to appear, Springer (2012)
  • B.K. Aichernig, F.S. de Boer & M.M. Bonsangue: Ninth International Symposium on Formal Methods for Components and Objects (FMCO 2010), Lecture Notes in Computer Science 6957. Heidelberg, Springer (2011)
  • S. Andova, L.P.J. Groenewegen & E.P. de Vink: Distributed Adaptation of Dining Philosophers. In: L.S. Barbosa & M. Lumpe (Eds.), Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010), Lecture Notes in Computer Science, Springer (2011)
  • S. Andova, L.P.J. Groenewegen & E.P. de Vink: Dynamic consistency in Process Algebra: From Paradigm to ACP, Science of Computer Programming 76: 711-735 (2011) doi:10.1016/j.scico.2010.04.011
  • S. Andova, L.P.J. Groenewegen & E.P. de Vink: Towards reduction of Paradigm coordination models. In: Proceedings First International Workshop on Process Algebra and Coordination, Electronic Proceedings in Theoretical Computer Science 60: 1-18 (2011)
  • K.R. Apt, F.S. de Boer, E.-R. Olderog & S. de Gouw: Verification of Object-Oriented Programs: A Transformational Approach, Journal of Computer and System Sciences (2011)
  • F. Arbab: Puff, The Magic Protocol. In: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, Lecture Notes in Computer Science 7000: 169-206, Springer (2011)
  • F. Bonchi, M.M. Bonsangue, M. Boreale, J.J.M.M. Rutten & A.M. Silva: A coalgebraic perspective on linear weighted automata, CWI technical report SEN-1104. Amsterdam, CWI (2011)
  • F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten & A.M. Silva: Brzozowski's Algorithm (Co)Algebraically, CWI technical report SEN-1114. Amsterdam, CWI (2011)
  • M.M. Bonsangue, G. Caltais, E.-I. Goriac, D. Lucanu, J.J.M.M. Rutten & A.M. Silva: A Decision Procedure for Bisimilarity of Generalized Regular Expressions. In: Proceedings 13th Brazilian symposium of Formal Methods (SBMF 2010), Lecture notes in Computer Science: 226-241, Springer-Verlag (2011)
  • M.M. Bonsangue, G. Caltais, E.-I. Goriac, D. Lucanu, J.J.M.M. Rutten & A.M. Silva: Automatic Equivalence Proofs for Non-Deterministic Coalgebras, CWI technical report SEN-1109. Amsterdam, CWI (2011)
  • M.M. Bonsangue, G. Caltais, E.-I. Goriac, D. Lucanu, J.J.M.M. Rutten & A.M. Silva: Automatic Equivalence Proofs for Non-Deterministic Coalgebras (revised and extended version), CWI technical report SEN-1113. Amsterdam, CWI (2011)
  • M.M. Bonsangue, D. Clarke & A.M. Silva: A Model of Context-Dependent Component Connectors, Science of Computer Programming (2011) doi:10.1016/j.scico.2011.01.006
  • M.M. Bonsangue, S. Milius & A.M. Silva: Sound and complete axiomatizations of coalgebraic language equivalence, arxiv.org (2011)
  • D. Clarke, J. Proenca, A. Lazovik & F. Arbab: Channel-based coordination via constraint satisfaction, Science of Computer Programming 76: 681-710 (2011)
  • I. Crnkovic, S. Sentilles, A. Vulgarakis & M.R.V. Chaudron: A Classification Framework for Software Component Models, Transactions on Software Engineering (IEEE) 37: 593-615 (2011)
  • A. Ehrenfeucht, J. Kleijn, M. Koutny & G. Rozenberg: Relevance of Entities in Reaction Systems, School of Computing Science Technical Report Series 1295. Newcastle upon Tyne, UK, School of Computing Science, University of Newcastle upon Tyne (2011)
  • A.M. Fernandez-Saez, M. Genero & M.R.V. Chaudron: A research plan for gathering empirical evidence of the benefits of using UML in software maintenance. In: Proceedings XVI Jornadas de Ingeneriea del Software y Ases de Datos (JISBD 2011) (2011)
  • A.M. Fernandez-Saez, M. Genero & M.R.V. Chaudron: Does the level of detail of UML models affect the maintainability of source code?. In: Experiences and Empirical Studies in Software Modelling (EESSMod) (2011)
  • A.M. Fernandez-Saez, M. Genero & M.R.V. Chaudron: Empirical investigation on the benefits of using UML in software maintenance. In: Proceedings Twelfth International Conference on Product Focused Software Development and Process Improvement (PROFES 2011) (2011)
  • W. Heijstek, Th. Kühne & M.R.V. Chaudron: Experimental Analysis of Textual and Graphical representations for Software Architecture Design. In: 5th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2011): 167-176 (2011)
  • M. Izadi, M.M. Bonsangue & D. Clarke: Büchi automata for modeling component connectors, Software and System Modeling 10: 183-200 (2011)
  • M.M. Jaghoori: Time At Your Service. Leiden University promotor: prof.dr. F.S. de Boer
  • S.-S.T.Q. Jongmans & F. Arbab: Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata. In: Proceedings Fourth Interaction and Concurrency Experience, Electronic Proceedings in Theoretical Computer Science 59: 84-103 (2011)
  • S.-S.T.Q. Jongmans, C. Krause & F. Arbab: Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. In: Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Lecture notes in Computer Science 6721: 31-48, Springer (2011)
  • B.R. Katzy, C.J. Stettina, L.P.J. Groenewegen & M.J. de Groot: Managing Weak Ties in Collaborative Work. In: Proceedings 17th International Conference on Concurrent Enterprising (2011)
  • J. Kleijn & M. Koutny: Causality in Structured Occurrence Nets, School of Computing Science Technical Report Series 1290. University of Newcastle upon Tyne, UK, School of Computing Science, University of Newcastle upon Tyne (2011)
  • J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny & G. Rozenberg: Classifying Boolean Nets for Region-based Synthesis. In: J. Desel & A. Yakovlev (Eds.), Proceedings of the Workshop on Applications of Region Theory 2011, CEUR Workshops proceedings 725: 5-21 (2011)
  • J. Kleijn & M. Koutny: Localities in Systems with a/sync Communication, School of Computing Science Technical Report Series 1285. University of Newcastle upon Tyne, UK, School of Computing Science, University of Newcastle upon Tyne (2011)
  • J. Kleijn & M. Koutny: Membrane Systems with Qualitative Evolution Rules, School of Computing Science Technical Report Series 1287. University of Newcastle upon Tyne, UK, School of Computing Science, University of Newcastle upon Tyne (2011)
  • J. Kleijn & M. Koutny: Membrane Systems with Qualitative Evolution Rules, Fundamenta Informaticae 110: 217-230 (2011) doi:10.3233/FI-2011-539
  • J. Kleijn & M. Koutny: Mutex Causality in Processes and Traces of General Elementary Nets, School of Computing Science Technical Report Series 1286. University of Newcastle upon Tyne, UK, School of Computing Science, University of Newcastle upon Tyne (2011)
  • H.C.M. Kleijn, M. Koutny & G. Rozenberg: Petri Nets and Bio-Modelling and how to benefit from their synergy. In: Fifth Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011). Fontainebleau, France (2011)
  • J. Kleijn, M. Koutny & G. Rozenberg: Petri Nets for Biologically Motivated Computing, School of Computing Science Technical Report Series 1284. University of Newcastle upon Tyne, UK, School of Computing Science, University of Newcastle upon Tyne (2011)
  • H.C.M. Kleijn, M. Koutny & G. Rozenberg: Petri Nets for Biologically Motivated Computing, Scientific Annals of Computer Science 21: 199-225 (2011)
  • J. Kleijn & M. Koutny: The Mutex Paradigm of Concurrency, School of Computing Science Technical Report Series 1289. University of Newcastle upon Tyne, UK, School of Computing Science, University of Newcastle upon Tyne (2011)
  • H.C.M. Kleijn & M. Koutny: The Mutex Paradigm of Concurrency. In: L.M. Kristensen & L. Petrucci (Eds.), Proceedings Applications and theory of Petri Nets, 32nd International Conference, Lecture notes in Computer Science 6709: 228-247, Springer (2011) doi:10.1007/978-3-642-21834-7_13
  • J.N. Kok, A. Knobbe, H. Blockeel, B. Obladen & E. Koenders: Large Data Stream Processing for Bridge Management Systems. In: Proceedings First Middle East Conference on Smart Monitoring, Assessment and Rehabilitation of Civil Structures (SMAR 2011) (2011)
  • N. Kokash & F. Arbab: Design and Verification of Long-running transactions with Extensible coordination Tools. In: IEEE Transactions on Service Computing, IEEE Computer Society (2011) doi:10.1109/TCS.2011.46
  • N. Kokash, F. Arbab, B. Changizi & L. Makhnist: Input-output Conformance Testing for Channel-based Service Connectors. In: Proceedings First International Workshop on Process Algebra and Coordination (PACO 2011), Electronic Proceedings in Theoretical Computer Science 60: 19-35 (2011) doi:10.4204/EPTCS.60.2
  • N. Kokash, C. Krause & E.P. de Vink: Reo + mCRL2: A Framework for Model-checking Dataflow in Service Compositions. In: Formal Aspects of Computing, special issue on SEFM: 1-30 (2011) doi:10.1007/s00165-011-0191-6
  • C. Krause, Z. Maraikar, A. Lazovik & F. Arbab: Modeling dynamic reconfigurations in Reo using high-level replacement systems, Science of Computer Programming 76: 23-36 (2011)
  • Rui Li, R. Etemaadi, M.T.M. Emmerich & M.R.V. Chaudron: An evolutionary multiobjective optimization approach to component-based software architecture design. In: Proceedings IEEE Congress on Evolutionary Computation (CEC 2011): 432-439, IEEE (2011)
  • Rui Li, R. Etemaadi, M.T.M. Emmerich & M.R.V. Chaudron: Automated Design of Software Architectures for Embedded Systems using Evolutionary Multiobjective Optimization. In: Proceedings Workshop on Applied Combinatorial Optimization (2011)
  • S. Meng, F. Arbab & C. Baier: Synthesis of Reo Circuits from Scenario-Based Interaction Specifications, Science of Computer Programming 76: 651-680 (2011)
  • Y.-J. Moon, F. Arbab, A. Silva, C. Verhoef & A. Stam: Stochastic Reo: a Case Study. In: Proceedings Fifth International Workshop on Harnessing Theories for Tool Suport in Software (TTSS 2011) (2011)
  • B. Nobakht, M.M. Bonsangue, F.S. de Boer & S. de Gouw: Monitoring Method Call Sequences Using Annotations. In: Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010), Lecture Notes in Computer Science 6921, Springer Verlag (2011)
  • A. Ollongren: Aristotelian Syllogisms, Acta Astronautica 68: 549-553 (2011)
  • A. Ollongren: Large-size message construction for ETI, Inductive self-interpretation in LINCOS, Acta Astronautica 68: 539-543 (2011)
  • A. Ollongren: Processes in Lingua Cosmica. In: D.A. Vakoch (Ed.), Communication with Extraterrestrial Intelligence (CETI): 413-418, State University of New York Press (2011)
  • A. Ollongren: Recursivity in Lingua Cosmica, Acta Astronautica 68: 544-548 (2011)
  • A. Ollongren & D.A. Vakoch: Typing Logic Contents Using Lingua Cosmica, Acta Astronautica 68: 535-538 (2011)
  • Hafeez Osman & M.R.V. Chaudron: An Assessment of Reverse Engineering Capabilities of UML Case Tools. In: Proceedings Second Annual International Conference on Software Engineering and Application (SEA 2011) (2011)
  • J. Osorio, M.R.V. Chaudron & W. Heijstek: Moving from waterfall to Iterative Development - An Empirical Evaluation of Advantages, Disadvantages and Risks of RUP. In: 37th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2011): 453-460 (2011)
  • B. Pourvatan, M. Sirjani, F. Arbab & M.M. Bonsangue: Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata. In: Proceedings of the 7th International Workshop on Formal Aspects of component Software (FACS 2010), Lecture notes in Computer Science 6921: 237-258, Springer (2011)
  • J. Proenca, D. Clarke, E.P. de Vink & F. Arbab: Decoupled execution of synchronous coordination models via behavioural automata. In: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, Electronic Proceedings in Theoretical Computer Science 58: 65-79 (2011)
  • H.H. Schoonewille, W. Heijstek, M.R.V. Chaudron & Th. Kühne: A Cognitive Perspective on Developer Comprehension of Software Design Documentation. In: 29th ACM International Conference on Design of Communication (SIGDOC 2011): 211-218 (2011)
  • A. Silva, F. Bonchi, M.M. Bonsangue & J.J.M.M. Rutten: Quantitative Kleene coalgebras, Information and Computation 209: 822-849 (2011)
  • A.M. Silva, M.M. Bonsangue & J.J.M.M. Rutten: Kleene Coalgebra - an overview
  • C.J. Stettina, L.P.J. Groenewegen & B.R. Katzy: Structuring Medical Agility. In: Proceedings International Conference on Health Informatics HEALTHINF 2011: 614-618, INSTICC Press (2011)
  • Joost Winter, M.M. Bonsangue & J.J.M.M. Rutten: Context free languages, coalgebraically, CWI technical report SEN-1101. Amsterdam, CWI (2011)
  • Joost Winter, M.M. Bonsangue & J.J.M.M. Rutten: Context-Free Languages, Coalgebraically. In: Proceedings Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Lecture notes in Computer Science 6859: 359-376, Springer (2011)
  • S. van der Vlugt, H.C.M. Kleijn & M. Koutny: Coverability and Inhibitor Arcs: an example, Petri Net Newsletter 79: 7-12 (2011)
  • S. van der Vlugt, J. Kleijn & M. Koutny: Coverability and Inhibitor Arcs: an example, School of Computing Science Technical Report Series 1293. University of Newcastle upon Tyne, UK, School of Computing Science, University of Newcastle upon Tyne (2011)

2010

  • S. Andova, L.P.J. Groenewegen & E.P. de Vink: Towards Dynamic Adaptation of Probabilistic Systems. In: B. Steffen T. Margaria (Ed.), Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Lecture notes in Computer Science 6416: 143-159, Springer (2010)
  • F. Arbab: Elements of Interaction. In: F. Bretaudeau D. Krob M. Aiguier (Ed.), proceedings of Complex Systems Design & Management (CSDM 2010): 1-28, Springer (2010)
  • F. Arbab, C. Diamantini, D. Potena & E. Storti: Towards Coordination Patterns for Complex Experimentations in Data Mining. In: 18th Italian Symposium on Advanced Database Systems (SEBD 2010) (2010)
  • F. Arbab & M. Sirjani: Fundamentals of Software Engineering, Third IPM International Conference (FSEN 2009), Lecture notes in Computer Science 5961. Heidelberg, Springer (2010)
  • F. Arbab & M. Sirjani: Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers, Lecture Notes in Computer Science 5961. Heidelberg Berlin, Springer (2010)
  • L. Astefanoaei, F.S. de Boer & M. Dastani: Strategic executions of choreographed timed normative multi-agent systems. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) 1: 965-972 (2010)
  • L.M.F. Bertens, H.C.M. Kleijn, M. Koutny & F.J. Verbeek: Modelling Gradients Using Petri Nets, LIACS Technical Report 2010-02, Universiteit Leiden (2010)
  • L.M.F. Bertens, J. Kleijn, M. Koutny & F.J. Verbeek: Modelling Gradients Using Petri Nets. In: Proceedings International Workshop on Biological Processes & Petri Nets (BioPPN) Braga, Portugal, June 21 2010: 55-69 (2010)
  • F.S. de Boer, M.M. Bonsangue, S. Hallerstede & M. Leuschel: Formal Methods for Components and Objects, 8th International Symposium FMCO 2009 - State of the Art Survey, Lecture Notes in Computer Science 6286. Heidelberg Berlin, Springer (2010)
  • F.S. de Boer, S. de Gouw & J. Vinju: Prototyping a tool environment for run-time assertion checking in JML with communication histories. In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs: art. 6, ACM (2010)
  • F.S. de Boer & I. Grabe: Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. In: SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Lecture notes in Computer Science 5901: 200-211, Springer (2010)
  • F.S. de Boer, M.M. Jaghoori & E. Broch Johnsen: Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. In: CONCUR 2010 - Concurrency Theory, 21th International Conference, Lecture notes in Computer Science 6269: 1-18, Springer (2010)
  • F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten & A.M. Silva: Algebraic Enriched Coalgebras, CWI Technical Report SEN-1004. Amsterdam, CWI (2010)
  • F. Bonchi, A.M. Silva, M.M. Bonsangue & J.J.M.M. Rutten: Quantitative Kleene Coalgebras, Information and Computation, special issue dedicated to Concur 2009 (2010) doi:10.1016/j.ic.2010.09.007
  • M.M. Bonsangue, D. Clarke & M. Izadi: Buchi Automata for Modeling Component Connectors, Journal of Software and System Modelling, special issue dedicated to SEFM 2008 (2010) doi:10.1007/s10270-010-0152-1
  • Jeroen S. de Bruin & J.N. Kok: Combining Subgroup Discovery and Permutation Testing to Reduce Reduncancy. In: Tiziana Margaria & Bernhard Steffen (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, Part I (ISoLA 2010), Lecture Notes in Computer Science 6415: 285-300, Springer (2010)
  • B. Changizi, N. Kokash & F. Arbab: A unified toolset for business process model formalization. In: 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2010) (2010)
  • D. Clarke, M. Helvensteijn & I. Schaefer: Abstract Delta Modeling. In: Proceedings of the 2010 Conference on Generative Programming and Component Engineering: 13-22 (2010)
  • A. Fernandes Saez, M. Genero & M.R.V. Chaudron: Empirical Studies on the Influence of UML in Software Maintenance Tasks, LIACS Technical Report 2010-05, Universiteit Leiden (2010)
  • A.M. Fernandez-Saez, M. Genero & M.R.V. Chaudron: Investigating the benefits of UML on software maintenance: a research proposal. In: Proceedings of Benevol: 34-39 (2010)
  • I. Grabe, M.M. Jaghoori, B.K. Aichernig, C. Baier, T. Blechmann, F.S. de Boer, A. Griesmayer, E. Broch Johnsen, J Klein, S. Klüppenholz, M. Kyas, W. Leister, R. Schlatte, A. Stam, M. Steffen, S. Tschirner, L. Xuedong & W Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo, Electronic Notes in Theoretical Computer Science (ENTCS) 266: 33-48 (2010)
  • W. Heijstek, M.R.V. Chaudron, Libing Qiu & C.C. Schouten: A Comparison of Industrial Process Descriptions for Global Custom Software Development. In: 5th International Conference on Global Software Engineering (ICGSE 2010) (2010)
  • W. Heijstek & M.R.V. Chaudron: The Impact of Model Driven Development on the Software Architecture Process. In: 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2010) (2010)
  • R. Janicki, Jetty Kleijn & M. Koutny: Quotient Monoids and Concurrent Behaviours. In: C. Mart\'{i}n-Vide (Ed.), Scientific Applications of Language Methods, Mathematics, Computing, Language, and Life: Frontiers in Mathem atical Linguistics and Language Theory 2: 313-386, World Scientific (2010)
  • J. Kleijn & M. Koutny: Applying Step Coverability Trees to Communicating Component-Based Systems. In: F. Arbab & M. Sirjani (Eds.), Fundamentals of Software Engineering (FSEN 2009), Lecture notes in Computer Science 5961: 178-193, Springer (2010) doi:10.1007/978-3-642-11623-0_10
  • J. Kleijn & M. Koutny: Petri Nets with Localities and Testing. In: J. Lilius & W. Penczek (Eds.), Applications and Theory of Petri Nets, 31st International Conference (PETRI NETS 2010), Lecture Notes in Computer Science 6128: 19-38 (2010) doi:10.1007/978-3-642-13675-7_3
  • J. Kleijn & M. Koutny: Petri nets and membrane computing (Chapter 15). In: G. Paun, G. Rozenberg & A. Salomaa (Eds.), The Oxford Handbook of Membrane Computing: 389-412, Oxford University Press (2010)
  • Jetty Kleijn & M. Koutny: Step coverability algorithms for communicating systems, Science of Computer Programming (2010) doi:10.1016/j.scico.2010.11.003
  • J.N. Kok, Anna-Lena Lamprecht & Mark D. Wilkinson: Tools in Scientific Workflow Composition. In: Tiziana Margaria & Bernhard Steffen (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, Part I (ISoLA 2010), Lecture Notes in Computer Science 6415: 258-260, Springer (2010)
  • N. Kokash, B. Changizi & F. Arbab: A Semantic Model for Service Composition with Coordination Time Delays. In: H. Zhu J.s. Dong (Ed.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Lecture notes in Computer Science 6447: 106-121, Springer (2010)
  • R. Li, M.R.V. Chaudron & R.C. Ladan: Towards automated software architectures design using model transformations and evolutionary algorithms. In: J. Branke M. Pelikan (Ed.), Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings: 2097-2098 (2010)
  • S. Meng & F. Arbab: A Model for Web Service Coordination in Long-Running Transactions. In: 5th International Symposium on Service-Oriented System Engineering (SOSE 2010) (2010)
  • Y.-J. Moon, A. Silva, C. Krause & F. Arbab: A Compositional Semantics for Stochastic Reo Connectors. In: G. Salaun M.R. Mousavi (Ed.), Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, Electronic Proceedings in Theoretical Computer Science 30: 93-107 (2010)
  • A. Nugroho, M.R.V. Chaudron & E. Arisholm: Assessing UML design metrics for predicting fault-prone classes in a Java system. In: Proceedings of the 7th International Working Conference on Mining Software Repositories, MSR 2010: 21-30, IEEE (2010)
  • B. Pourvatan, M. Sirjani, F. Arbab & M.M. Bonsangue: Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata. In: 7th International Workshop on Formal Aspects of Component Software (FACS 2010), Springer (2010)
  • P.W.H. van der Putten & J.N. Kok: Using Data Fusion to Enrich Customer Databases with Survey Data for Database Marketing. In: Casillas Jorge & Martinez Lopez Francisco Jose (Eds.), Marketing Intelligent Systems Using Soft Computing, Series Studies in Fuzziness and Soft Computing 258 (2010)
  • J. Rot, F.S. de Boer & M.M. Bonsangue: A Pushdown System Representation for Unbounded Object Creation (Position Paper/Work in Progress). In: C. Marche B. Beckert (Ed.), Papers presented at the first International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Karlsruhe Institute of Technology Reports in Informatics 2010 13 (2010)
  • G. Russello, C. Dong, N. Dulay, M.R.V. Chaudron & M. van Steen: Providing data confidentiality against malicious hosts in Shared Data Spaces, Science of Computer Programming 75: 426-439 (2010)
  • A.M. Silva, F. Bonchi, M.M. Bonsangue & J.J.M.M. Rutten: Generalizing the powerset construction, coalgebraically. In: K. Lodaya & M. Mahajan (Eds.), Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), Leibniz International Proceedings in Informatics (LIPICS) 8: 272-283, Leibniz Zentrum fuer Informatik (2010) doi:10.4230/LIPIcs.FSTTCS.2010.272
  • A.M. Silva, M.M. Bonsangue & J.J.M.M. Rutten: Non-Deterministic Kleene Coalgebras, Logical Methods in Computer Science 6 (2010)

2009

  • W. Ahrendt, F.S. de Boer & I. Grabe: Abstract Object Creation in Dynamic Logic. In: FM 2009: Formal Methods, Second World Congress, Lecture notes in Computer Science 5850: 612-627, Springer (2009)
  • B.K. Aichernig, F. Arbab, F.S. de Boer, S. Meng & J.J.M.M. Rutten: Fault-Based Test Case Generation for Component Connectors. In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering: 147-154, IEEE Computer Society (2009)
  • S. Andova, L.P.J. Groenewegen, J.H.S. Verschuren & E.P. de Vink: Architecting Security with Paradigm. In: C. Gacek F. Gadducci R. de Lemos, J.-C. Fabre (Ed.), Architecting Dependable Systems VI, Lecture Notes in Computer Science 5835: 255-283, Springer (2009)
  • S. Andova, L.P.J. Groenewegen & E.P. de Vink: Dynamic Consistency in Process Algebra: From Paradigm to ACP. In: Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA'08, Electronic Notes in Theoretical Computer Science (ENTCS) 229: 3-20 (2009)
  • S. Andova, L.P.J. Groenewegen, J. Stafleu & E.P. de Vink: Formalizing Adaptation On-the-Fly. In: Proc. FOCLASA 2009, Electronic Notes in Theoretical Computer Science (ENTCS) 55: 23-44 (2009)
  • K.R. Apt, F.S. de Boer & E.-R. Olderog: Modular Verification of Recursive Programs. In: Languages: From Formal to Natural 2009, Lecture notes in Computer Science 5533: 1-21, Springer (2009)
  • F. Arbab, T. Chothia, R. van der Mei, S. Meng, Y.-J. Moon & C. Verhoef: From Coordination to Stochastic Models of QoS. In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lecture notes in Computer Science 5521: 268-287, Springer (2009)
  • F. Arbab & S. Meng: Connectors as Designs, Electronic Notes in Theoretical Computer Science (ENTCS) 255: 119-135 (2009)
  • F. Arbab, S. Meng, Y.-J. Moon, M. Kwiatkowska & H. Qu: Reo2MC: a tool chain for performance analysis of coordination models. In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009: 287-288, ACM (2009)
  • F. Arbab, S. Meng & C. Baier: Synthesis of Reo Circuits from Scenario-based Specifications, Electronic Notes in Theoretical Computer Science (ENTCS) 229: 21-41 (2009)
  • L. Astefanoaei, F.S. de Boer & M. Dastani: On coordination, autonomy and time. In: Proceedings AAMAS'09: 1357-1358 (2009)
  • L. Astefanoaei, F.S. de Boer & M. Dastani: Rewriting Agent Societies Strategically. In: Web Intelligence/IAT Workshops 2009: 441-444 (2009)
  • L. Astefanoaei, F.S. de Boer & M. Dastani: The Refinement of choreographed Multi-Agent Systems. In: Declarative Agent Languages and Technologies VII, Lecture notes in Computer Science 5948: 20-34, Springer (2009)
  • M.H. ter Beek & J. Kleijn: Associativity of Infinite Synchronized Shuffles and Team Automata, Fundamenta Informaticae 91: 437-461 (2009)
  • L.M.F. Bertens, H.J. Jansen, J. Kleijn, M. Koutny & F.J. Verbeek: Using Petri Nets in Higher Level Development Biology: A case study on the AP axis development in Xenopus laevis. Extended abstract, Technical Report 2009-03. onbekend, LIACS (2009)
  • F.S. de Boer: A shared-variable concurrency analysis of multi-threaded object-oriented programs, Theoretical Computer Science 410: 128-141 (2009)
  • F.S. de Boer, M.M. Bonsangue & E. Madelaine: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Lecture Notes in Computer Science 5751. Heidelberg, Springer (2009)
  • F.S. de Boer, T. Chothia & M.M. Jaghoori: Modular Schedulability Analysis of concurrent Objects in Creol.. In: Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Lecture notes in Computer Science 5961: 212-227, Springer (2009)
  • F.S. de Boer, I. Grabe, M.M. Jaghoori, A. Stam & W Yi: Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Lecture notes in Computer Science 5885: 367-386, Springer (2009)
  • F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten & A. Silva: Deriving syntax and axioms for quantitative regular behaviours. In: M. Bravetti & G. Zavattaro (Eds.), Proceedings of Concur 2009, Lecture notes in Computer Science 5710: 146-162, Springer (2009)
  • M.M. Bonsangue, E. Broch Johnsen, A. Murphy & J. Vitek (Eds.): Distributed Computing Techniques, Theoretical Computer Science 410(2-3). Amsterdam, Elsevier Science (2009)
  • M.M. Bonsangue, D. Clarke & A. Silva: Automata for context-dependent connectors. In: J. Field & V. Vasconcelos (Eds.), Proceedings of Coordination 2009, Lecture notes in Computer Science 5521: 184-203, Springer (2009) doi:10.1007/978-3-642-02053-7_10
  • M.M. Bonsangue & M. Izadi: Automata Based Model Checking for Reo Connectors. In: Proceedings of Foundation of Software Engineering (FSEN 2009), Lecture notes in Computer Science 5961: 260-275, Springer (2009)
  • M.M. Bonsangue, J.J.M.M. Rutten & A.S. Silva: A Kleene theorem for polynomial coalgebras. In: L. Alfaro (Ed.), Proc. of the 11th Int. Conf. on Foundations of Software Science and and Computation Structures (FoSSaCS 2009), Lecture notes in Computer Science 5504: 122-136, Springer (2009)
  • M.M. Bonsangue, J.J.M.M. Rutten & A. Silva: An Algebra for Kripke Polynomial Coalgebras. In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009: 49-58, IEEE Computer Society (2009)
  • M.R.V. Chaudron: Models in Software Engineering, Workshops and Symposia at MODELS 2008, Lecture notes in Computer Science 5421. Heidelberg, Springer (2009)
  • M.R.V. Chaudron (Ed.): Special Issue on Quality in Modeling, Journal of Information and Software Technology. Amsterdam, Elsevier (2009)
  • J Chen, M.T.M. Emmerich, R. Li, J.N. Kok & T.H.W. Bäck: How to Do Recombination in Evolution Strategies: An Empirical Study. In: Third International Work conference on the Interplay between Natural and Artificial Computation, Lecture notes in Computer Science 5601: 223-232 (2009)
  • D. Clarke, J. Proenca, A. Lazovik & F. Arbab: Deconstructing Reo, Electronic Notes in Theoretical Computer Science (ENTCS) 229: 43-58 (2009)
  • F. Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, Margreet Kloppenburg, Iain Watt, Stephanie M. Rooden, Martine Visser, Johan Marinus, Edward O. Cannon, Andreas Bender, Jacobus J. Hilten, P. Slagboom & J.N. Kok: A Scenario Implementation in R for SubtypeDiscovery Examplified on Chemoinformatics Data. In: Leveraging Applications of Formal Methods, Verification and Validation: 669-683 (2009)
  • A. Condon, D. Harel, J.N. Kok, A. Salomaa & E. Winfree (Eds.): Algorithmic Bioprocesses. Heidelberg, Springer (2009)
  • C.C. Florencio, F. Costa, J. Ramon & J.N. Kok (Eds.): Proceedings of the ACM SIGKDD Workshop on Statistic and Relational Learning in Bioinformatics. New Jersey, ACM (2009)
  • M. Genero, M. Piattini & M.R.V. Chaudron: Quality of UML models, Information & Software Technology 51: 1629-1630 (2009)
  • W. Heijstek & M.R.V. Chaudron: Empirical Investigations of Model Size, Complexity and Effort in a Large Scale, Distributed Model Driven Development Process. In: 35th Euromicro Conference on Software Engineering and Advanced Applications: 113-120, IEEE Computer Society (2009)
  • M.M. Jaghoori, F.S. de Boer, T. Chothia & M. Sirjani: Schedulability of asynchronous real-time concurrent objects, J. Log. Algebr. Program. (JLP) 78: 402-416 (2009)
  • J. Kleijn & M. Koutny: A Petri net model for membrane systems with dynamic structure, Natural computing 8: 781-796 (2009)
  • J. Kleijn & M. Koutny: Applying Step Coverability Trees to Communicating Component-Based Systems, CS-TR 1134. Newcastle, UK, School of Computing Science, Newcastle University, UK (2009)
  • J. Kleijn & M. Koutny: Petri Nets and Membrane Computing. In: G. Rozenberg A. Salomaa G. Paun (Ed.), The Oxford Handbook of Membrane Computing, Oxford Handbooks in Mathematics: 389-412, Oxford University press (2009)
  • N. Kokash & F. Arbab: Applying Reo to service coordination in long-running business transactions. In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC): 1381-1382, ACM (2009)
  • S. Meng & F. Arbab: QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata, Fundamenta Informaticae 95: 103-128 (2009)
  • A. Nugroho & M.R.V. Chaudron: Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study. In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Lecture notes in Computer Science 5795: 181-195, Springer (2009)
  • B. Pourvatan, M. Sirjani, H. Hojjat & F. Arbab: Automated Analysis of Reo Circuits using Symbolic Execution, Electronic Notes in Theoretical Computer Science (ENTCS) 255: 137-158 (2009)
  • A. Stam: Interaction Protocols in Paradigm. Leiden University (2009-12-08) promotor: prof.dr. J.N. Kok, dr. E.P. de Vink & dr. M.M. Bonsangue
  • F.S. de Boer, M.M. Bonsangue & E. Madelaine (Eds.): Formal Methods for Components and Objects, 7th International Symposium FMCO 2008, State-of-the-art-survey, Lecture Notes in Computer Science 5751. Heidelberg, Springer (2009)
  • F.S. de Boer, M.M. Bonsangue, A. Gruener & M. Steffen: Java Test Driver Generation from Object-Oriented Interaction Traces. In: J. Zhao & V. Stolz (Eds.), Proc. of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008), Electronic Notes in Theoretical Computer Science 243: 33-47, Elsevier (2009)

2008

  • P.W.H. van der Putten, J.N. Kok & L.J. Meng: Profiling Novel Classification Algorithms: Artificial Immune Systems. In: Proceedings Seventh IEEE International Conference on Cybernetic Intelligent Systems 2008 (CIS 2008) (2011)
  • S. Andova, L.P.J. Groenewegen & E.P. de Vink: Dynamic Consistency in Process Algebra: From {Paradigm} to {ACP}}. In: C. Canal, P. Poizat and M. Sirjani (Ed.), Proc. FOCLASA'08, Electronic Notes in Theoretical Computer Science (2008)
  • F. Arbab, L. Astefanoaei, F.S. de Boer, M. Dastanil, J.-J. Meyer & N. Tinnermeier: Reo Connectors as Coordination Artifacts in 2APL Systems. In: proceedings of The 11th Pacific Rim International Conference on Multi-Agents: 42-53 (2008)
  • F. Arbab, R. Bruni, D. Clarke, I. Lanese & U. Montanari: Tiles for Reo. In: the 19th International Workshop on Algebraic Development Techniques (WADT 2008) (2008)
  • F. Arbab, N. Kokash & S. Meng: Towards Using Reo for Compliance-Aware Business Process Modeling. In: . ISoLA 2008: 108-123 (2008)
  • F. Arbab, N. Kokash & M. Sun: Towards Using Reo for Compliance-aware Business Process Modeling. In: the third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Communications in Computer and Information Science 17: 108-123. Berlin / Heidelberg, Springer (2008)
  • F. Arbab & M. Sun: Synthesis of Connectors from Scenario-based Interaction Specifications. In: Component-Based Software Engineering, Lecture Notes in Computer Science 5282: 114-129. Heidelberg Berlin, Springer (2008)
  • F. Arbab, M. Sun & C. Baier: Synthesis of Reo Circuits from Scenario-based Specifications. In: the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (2008)
  • L. Astefanoae & F.S. de Boer: Model-checking agent refinement. In: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: 705-712, International Foundation for Autonomous Agents and Multiagent Systems (2008)
  • L. Astefanoaei, M. Dastani, J.-J.C. Meyer & F.S. de Boer: A Verification Framework for Normative Multi-Agent Systems. In: . PRIMA 2008: 54-65 (2008)
  • G. Barthe & F.S. de Boer: Formal Methods for Open Object-Based Distributed Systems. In: G. Barthe, F.S. de Boer (Ed.), 10th IFIP WG 6.1 International Conference, FMOODS 2008, Lecture notes in Computer Science 5051. Berlin/Heidelberg, Springer (2008)
  • F.S. de Boer, M.M. Bonsangue, S. Graf & W.-P. de Roever: Formal Methods for Components and Objects. In: Boer, F.S. de, Bonsnague, M.M. (Ed.), 6th International Symposium, FMCO 2007, Revised Lectures: 1-168, Springer (2008)
  • F.S. de Boer, M.M. Bonsangue, A. Gruener & M. Steffen: Java Test Driver Generation from Object-Oriented Interaction Traces. In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software TTSS'08 (2008)
  • F.S. de Boer, M.M. Bonsangue, S. Graf & W.-P. de Roever: State-of-the-Art Survey. In: F. de Boer, M.M. Bonsangue, S. Graf and W.-P. de Roever (Ed.), Proceedings of FMCO 2007, Lecture notes in Computer Science 5382: 1-320, Springer (2008)
  • M.M. Bonsangue, J.J.M.M. Rutten & A. Silva: Coalgebraic Logic and Synthesis of Mealy Machines. In: Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science 4962: 231-245. Heidelberg / Berlin, Springer (2008)
  • J.S. de Bruin, J.N. Kok, N. Lavrac & I. Trajkovski: On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation. In: ISoLA 2008: 649-662 (2008)
  • M.R.V. Chaudron: Workshops at MODELS 2008. In: Model Driven Engineering Languages and Systems, Lecture notes in Computer Science 5301: 896-905. Berlin, Springer (2008)
  • M.R.V. Chaudron, C.A. Szyperski & R. Reussner: Component-Based Software Engineering. In: 11th International Symposium, CBSE 2008, Springer (2008)
  • D. Clarke, J. Proenca, A. Lazovik & F. Arbab: Deconstructing Reo. In: 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (2008)
  • F. Colas, I. Meulenbelt, J.J. Houwing-Duistermaat, M. Kloppenburg, I. Watt, S.M. van Rooden, M. Visser, J. Marinus, E.O. Cannon, A. Bender, J.J. van Hilten, P. Eline Slagboom & J.N. Kok: A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics Data. In: ISoLA 2008: 669-683 (2008)
  • E. Gleisberg, H. Zondag & M.R.V. Chaudron: An Empirical Study into Current Practices and Challenges in IT Project Portfolio Management. In: 34th Euromicro Conference on Software Engineering and Advanced Applications (2008)
  • D. Goldin & F. Arbab: Preface, Electronic Notes in Theoretical Computer Science (ENTCS) 203: 1-3 (2008)
  • E.H. de Graaf, J.N. Kok & W.A. Kosters: Mining Balanced Patterns in Web Access Data. In: A. Gammerman (Ed.), IASTED International Conference on Artificial Intelligence and Applications: 595-147 (2008)
  • W. Heijstek & M.R.V. Chaudron: Evaluating RUP Software Development Processes Through Visualization of Effort Distribution. In: 34th Euromicro Conference on Software Engineering and Advanced Applications: 266-273 (2008)
  • W. Heijstek & M.R.V. Chaudron: Exploring effort distribution in RUP projects. In: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement: 359. New York, ACM (2008)
  • M. Helvensteijn: Applying Data Mining to the Study of Joseki. In: Artificial Intelligence in Theory and Practice II, IFIP International Federation for Information Processing 276: 87-96. Boston, Springer (2008)
  • M. Izadi, M.M. Bonsangue & D. Clarke: Modeling Component Connectors: Synchronisation and Context-Dependency. In: In Proc. of the 6th IEEE International Conferences on Software Engineering and Formal Methods, IEEE Computer Society (2008)
  • M. Izadi & M.M. Bonsangue: Recasting Constraint Automata into Büchi Automata. In: J.S. Fitzgerald and A. E. Haxthausen and H. Yenigün (Ed.), ICTAC, Lecture notes in Computer Science 5160: 156-170. Heidelberg/Berlin, Springer (2008)
  • J. Kazius, K. Wurdinger, M. van Iterson, J.N. Kok, T.H.W. Bäck & A.P. IJzerman: GPCR NaVa database: Natural variants in human G protein-coupled receptors, Human Mutation 29: 39-44 (2008)
  • J. Kleijn & M. Koutnny: Concurrency metHods: Issues aNd Applications. In: 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Lecture notes in Computer Science CS-TR 1102, Springer (2008)
  • J. Kleijn & M. Koutny: Processes of membrane systems with promoters and inhibitors, Theoretical Computer Science 404: 112-126 (2008)
  • C. Koehler, F. Arbab & E.P. de Vink: On Hierarchical Reconfiguration of Reo Connectors. In: the 19th International Workshop on Algebraic Development Techniques (WADT 2008) (2008)
  • C. Koehler, D. Costa, J. Proenca & F. Arbab: Reconfiguration of Reo Connectors Triggered by Dataflow, Electronic Communications of the EASST 10: 1-13 (2008)
  • R.A. Krzysztof, F. Arbab & H. Ma: A Distributed Platform for Mechanism Design. In: The 1st International Workshop on Market-Based Control (2008)
  • R. Land, L. Blankers, M.R.V. Chaudron & I. Crnkovic: COTS Selection Best Practices in Literature and in Industry. In: High Confidence Software Reuse in Large Systems, Lecture Notes in Computer Science 5030: 100-111. Berlin / Heidelberg, Springer (2008)
  • Z. Maraikar, A. Lazovik & F. Arbab: Building Mashups for the Enterprise with SABRE. In: A. Bouguettaya and I. Krüger and T. Margaria (Ed.), the 6th International Conference on Service Oriented Computing (ICSOC 2008), Lecture notes in Computer Science 5364: 70-83 (2008)
  • A.A. Nugroho & M.R.V. Chaudron: A survey into the rigor of UML use and its perceived impact on quality and productivity. In: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement: 90-99. New York, ACM (2008)
  • A.A. Nugroho, B. Flaton & M.R.V. Chaudron: Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density. In: MoDELS: 600-614 (2008)
  • G. Russello, C. Dong, N. Dulay, M.R.V. Chaudron & M. van Steen: Encrypted Shared Data Spaces. In: Coordination Models and Languages, Lecture Notes in Computer Science 5052: 264-279. Heidelberg / Berlin, Springer (2008)
  • R. Schlatte, B.K. Aichernig, F.S. de Boer, A. Griesmayer & E.B. Johnsen: Testing Concurrent Objects with Application-Specific Schedulers. In: J. Fitzgerald and A. Haxthausen (Ed.), International Colloquium on Theoretical Aspects of Computing, Lecture notes in Computer Science 5160. Berlin/Heidelberg, Springer (2008)
  • M. Sun & F. Arbab: Modelling Connectors as Designs in Unifying Theories of Programming. In: The second International Symposium on Unifying Theories of Programming (2008)
  • M. Sun & F. Arbab: QoS-Driven Service Selection and Composition. In: the 8th International Conference on Application of Concurrency to System Design: 160-169 (2008)
  • M. Sun & F. Arbab: Services and Contracts: Coalgebraically, Electronic Notes in Theoretical Computer Science 212: 207-223 (2008)
  • E. Ábrahám, F.S. de Boer, W.-P. de Roever & M. Steffen: A Deductive Proof System for Multithreaded Java with Exceptions, Fundamenta Informaticae 82: 391-463 (2008)
  • J. Kleijn, M. Koutny & G. Rozenberg: Process Semantics for Membrane Systems, Journal of Automata, Languages and Combinatorics 11: 321-340 (2006)

2007

  • M.F. van Amstel, C.J. Lange & M.R.V. Chaudron: Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams, IEEE Computer Society : 415-424 (2007)
  • F. Arbab: Composition by Anonymous Third Parties. In: Lumpe, M., Vanderperren, W. (Ed.), Software Composition, 6th International Symposium SC 2007, Lecture notes in Computer Science 4829: 1, Springer Verlag (2007)
  • F. Arbab, C. Baier, F.S. de Boer & J. Rutten: Models and temporal logical specifications for timed component connectors, Software and Systems Modeling 6: 59-82 (2007)
  • F. Arbab, T. Chothia, S. Meng & Y.-J. Moon: Component Connectors with QoS Guarantees. In: Murphy, A.L., Vitek, J. (Ed.), Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Lecture notes in Computer Science 4467: 286-304, Springer (2007)
  • F. Arbab, A. Lazovik & C. Koehler: Connector Rewriting With High-Level Replacement Systems. In: Proceedings Workshop on the Foundations of Coordination Languages and Software Architecture (FOCLASA): 1571-0661, Elsevier (2007)
  • F. Arbab & M. Sirjani: International Symposium on Fundamentals of Software Engineering. Heidelberg, Springer (2007)
  • F. Arbab & C.B. Syanco: synthesis and analysis of component connectors. In: Proceedings of the 6th joint meeting of the European Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007 (ESEC/SIGSOFT FSE): 607-608, ACM (2007)
  • M.H. ter Beek & J. Kleijn: Infinite Unfair Shuffles and Associativity, Theoretical Computer Science 380: 401-410 (2007)
  • H. Blockeel, M. Witsenburg & J.N. Kok: Hypergraphs, and Inductive Logic Programming. In: Paolo Frasconi, Kristian Kersting, Koji Tsuda (Ed.), Mining and Learning with Graphs: 93-96 (2007)
  • F.S. de Boer: A Sound and Complete Shared-Variable concurrency Model for Multi-threaded Java Programs. In: Bonsangue, M.M., Johnsen, E.B. (Ed.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Lecture notes in Computer Science 4468: 252-268, Springer (2007)
  • F.S. de Boer, M.M. Bonsangue, S. Graf & W.-P. de Roever: Formal Methods for Components and Objects, Lecture Notes in Computer Science 4709. Amsterdam, Springer (2007)
  • F.S. de Boer, D. Clarke & E.B. Johnsen: A Complete Guide to the Future. In: Nicola, R. de (Ed.), Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Lecture notes in Computer Science 4421: 316-330, Springer (2007)
  • F.S. de Boer, K.V. Hindriks, W. van der Hoek & J.-J.C. Meyer: A verification framework for agent programming with declarative goals, Journal of Applied Logic 5: 277-302 (2007)
  • E. Bondarev, M.R.V. Chaudron & P.H.N. With: CARAT: a toolkit for design and performance analysis of component-based embedded systems. In: Lauwereins, R., Madsen, J. (Ed.), 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007): 1024-1029, ACM (2007)
  • E. Bondarev, M.R.V. Chaudron & E.A. Kock: Exploring performance trade-offs of a JPEG decoder using the deepcompass framework, WOSP : 153-163 (2007)
  • M.M. Bonsangue, F.S. de Boer, F. Arbab, L. van der Torre, E. Proper & M. Lankhorst: Integrating Architectural Models: Symbolic Semantics and Subjective Models in Enterprise Architecture, SIG-MoBIS 1: 40-57 (2007)
  • M.M. Bonsangue & E.B. Johnsen: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007, Lecture Notes in Computer Science 4468. Paphos, Cyprus, Springer (2007)
  • M.M. Bonsangue, A. Kurz & I.M. Rewitzky: Coalgebraic representations of distributive lattices with operators, Topology and its Applications 154: 778-791 (2007)
  • M.M. Bonsangue & A. Kurz: Pi-Calculus in Logical Form. In: Proceedings of 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 07), IEEE Computer Society: 303-312 (2007)
  • D. Clarke, D. Costa & F. Arbab: Connector colouring I: Synchronisation and context dependency, Science of Computer Programming 66: 205-255 (2007)
  • F. Colas, I. Meubelenbelt, J. Houwing, E. Slagboom & J.N. Kok: Disease subtypes recognition with particular application to Osteo Arthritis classification. In: 2nd Netherlands BioInformatic Conference 2007 (NBIC-ISNB 2007) (2007)
  • F. Colas, I. Meulenbelt, J.J. Houwing-Duistermaat, J.N. Kok & P.E. Slagboom: A comparison of two methods for finding groups using heat maps and model based clustering. In: 27th Annual International Conference of the British computer Society's Special Group on Artificial Intelligence (SGA1): A1. Cambridge (2007)
  • F. Colas, P. Paclík, J.N. Kok & P. Brazdil: Does SVM Really Scale Up to Large Bag of Words Feature Spaces?. In: M.R. Berthold, J. Shawe-Taylor, N. Lavrac (Ed.), Advances in Intelligent Data Analysis VII, 7th International Symposium on Intelligent Data Analysis, Lecture notes in Computer Science 4723: 296-307, Springer (2007)
  • E.H. de Graaf, J. Kazius, J.N. Kok & W.A. Kosters: Visualization and Grouping of Graph Patterns in Molecular Databases. In: Bramer, M., Coenen, F., Petridis, M. (Ed.), Research and Development in Intelligent Systems XXIV: 267-280, Springer (2007)
  • E.H. de Graaf, J.N. Kok & W.A. Kosters: Clustering Improves the Exploration of Graph Mining Results. In: Boukis, C., Pnevmatikakis, A., Polymenakos, L. (Ed.), Artificial Intelligence and Innovations 2007: from Theory to Applications, Proceedings of the 4th IFIP International Conference on Artificial Intelligence, Applications and Innovations (AIAI07): 13-20, Springer (2007)
  • E.H. de Graaf, J.N. Kok & W.A. Kosters: Displaying Co-occurrences of Patterns in Streams for Website Usage Analysis. In: Dastani, M.M., Jong, E. de (Ed.), 19th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2007): 143-150 (2007)
  • W. Heijstek & M.R.V. Chaudron: Effort distribution in model-based development. In: 2nd Workshop on Model Size Metrics 2007: 26-38 (2007)
  • C.V. Henkel, T.H.W. Bäck, J.N. Kok, G. Rozenberg & H.P. Spaink: DNA computing of solutions to knapsack problems, Biosystems 88: 156-162 (2007) doi:10.1016/j.biosystems.2006.06.001
  • M. Izadi, A. Movaghar & F. Arbab: Model Checking of Component Connectors. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), IEEE Computer Society: 673-675 (2007)
  • J. Kleijn: Petri Nets and Other Models of Concurrency. In: Kleijn, A., Yakovlev, A. (Ed.), ICATPN 2007, Lecture notes in Computer Science 4546 (2007)
  • J. Kleijn & M. Koutny: Processes of Petri Nets with Range testing, Fundamenta Informaticae 80: 199-219 (2007)
  • C. Koehler, A. Lazovik & F. Arbab: ReoService: Coordination Modeling Tool. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (Ed.), Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Lecture notes in Computer Science 4749: 625-626, Springer (2007)
  • J.N. Kok, J. Koronacki, R. López de Mántaras, S. Matwin, D. Mladenic & A. Skowron: Knowledge Discovery in Databases: PKDD 2007. In: 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Springer (2007)
  • J.N. Kok, J. Koronacki, R. López de Mántaras, S. Matwin, D. Mladenic & A. Skowron: Machine Learning: ECML 2007. In: 18th European Conference on Machine Learning, Springer (2007)
  • C.J. Lange & M.R.V. Chaudron: Interactive Views to Improve the Comprehension of UML Models - An Experimental Validation. In: 15th International Conference on Program Comprehension (ICPC 2007), IEEE Computer Society: 221-230 (2007)
  • C.J. Lange, M.A.M. Wijns & M.R.V. Chaudron: A Visualization Framework for Task-Oriented Modeling Using UML. In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, IEEE Computer Society: 289 (2007)
  • C.J. Lange, M.A.M. Wijns & M.R.V. Chaudron: MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality. In: Krikhaar, R.L., Verhoef, C., Lucca, G.A> di (Ed.), 11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, IEEE Computer Society: 327-328 (2007)
  • C.J. Lange, M.A.M. Wijns & M.R.V. Chaudron: Supporting task-oriented modeling using interactive UML views, Journal of Visualization and Computer Animation 18: 399-419 (2007)
  • A. Lazovik & F. Arbab: Using Reo for Service Coordination. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (Ed.), Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Lecture notes in Computer Science 4749: 398-403, Springer (2007)
  • F. Maswar, M.R.V. Chaudron, I. Radovanovic & E. Bondarev: Improving Architectural Quality Properties Through Model Transformations, Software Engineering Research and Practice : 687-693 (2007)
  • S. Meng & F. Arbab: On Resource-Sensitive Timed Component Connectors. In: Bonsangue, M.M., Johnsen, E.B. (Ed.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Lecture notes in Computer Science 4468: 301-316, Springer (2007)
  • S. Meng & F. Arbab: Web services choreography and orchestration in Reo and constraint automata. In: Cho, Y., Wainwright, R.L., Haddad, H., Shin, S.Y., Koo, Y.W. (Ed.), Proceedings of the 2007 ACM Symposium on Applied Computing (SAC): 346-353, ACM (2007)
  • A.A. Nugroho & M.R.V. Chaudron: A Survey of the Practice of Design - Code Correspondence amongst Professional Software Engineers. In: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, ESEM 2007, IEEE Computer Society: 20-21 (2007)
  • I. Radovanovic, A Ray, J.J. Lukkien & M.R.V. Chaudron: Facilitating Mobile Service Provisioning in IP Multimedia Subsystem (IMS) Using Service Oriented Architecture. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (Ed.), Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Lecture notes in Computer Science 4749: 383-390, Springer (2007)
  • G. Russello, M.R.V. Chaudron, M. van Steen & I. Bokharouss: An experimental evaluation of self-managing availability in shared data spaces, Science of Computer Programming 64: 246-262 (2007)
  • O.M. Shir, J.N. Kok, T.H.W. Bäck & M.J.J. Vrakking: Gaining Insights into Laser Pulse Shaping by Evolution Strategies. In: Mira, J., Alvarez, J.R. (Ed.), Bio-inspired Modeling of Cognitive Tasks, Second International Work-Conference on the Interplay Between Natural and Artificial Computation, Lecture notes in Computer Science 4527: 467-477, Springer (2007)

2006

  • E. Abraham, F.S. de Boer, W.-P. de Roever & M. Steffen: Inductive Proof Outlines for Exceptions in Multithreaded Java, Electronic Notes in Theoretical Computer Science (ENTCS) 159: 281-297 (2006)
  • F. Arbab: A Behavioral Model for Composition of Software Components, L'Objet 12: 33-76 (2006)
  • F. Arbab: Computing and Interaction. In: Dina Goldin, Scott Smolka, and Peter Wegner (Ed.), Interactive Computation: The New Paradigm, Springer (2006)
  • F. Arbab: Coordinated Composition of Software Components. In: Jifeng He and Zhiming Liu (Ed.), Mathematical Frameworks for Component Software.- Models: 35-68, World Scientific (2006)
  • F. Arbab & M. Sirjani: Preface -- special issue on Foundations of Software Engineering, Electronic Notes in Theoretical Computer Science (ENTCS) 159: 1-2 (2006)
  • C. Baier, M. Sirjani, F. Arbab & J.J.M.M. Rutten: Modeling component connectors in {Reo} by constraint automata, Science of Computer Programming 61: 75-113 (2006)
  • F.S. de Boer, M.M. Bonsangue & J.V. Guillen-Scholten: Component Coordination: From Objects to Mobile Channels. In: He Jifeng and Zhiming Liu (Ed.), Mathematical Frameworks for Component Software - Models for Analysis and Synthesis, World Scientific (2006)
  • F.S. de Boer & M.M. Bonsangue: Formal Methods for Components and Objects. In: Boer, F.S. de, Bonsnague, M.M. (Ed.), Theoretical Computer Science 365: 1-168, Elsevier Science (2006)
  • F.S. de Boer, M.M. Bonsangue & J.V. Guillen-Scholten: From object to mobile channels. In: Zhiming Liu and He Jifeng (Ed.), Mathematical Frameworks for Component Software -- Models for Analysis and Synthesis, Component-Based Development 2, the World Scientific (2006)
  • F.S. de Boer & M.M. Bonsangue: Preface, Theoretical Computer Science 365: 1-2 (2006)
  • F.S. de Boer, M.M. Bonsangue, S. Graf & W.-P. de Roever: Proceedings of FMCO 2005 -- revised lectures. In: Boer, F., Bonsangue, M.M., Graf, S., Roever, W.-P. (Ed.), Proceedings of FMCO 2005 -- revised lectures, ecture Notes in Computer Science: 1-447, Springer (2006)
  • M.M. Bonsangue & A. Kurz: Foundations of Software Science and Computational Structures. In: L. Aceto and A. Ingolfsdottir (Ed.), Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science 3921: 172-186. Berlin/Heidelberg, Springer (2006)
  • J.S. de Bruin, T.K. Cocx, W.A. Kosters, J.F.J.. Laros & J.N. Kok: Data Mining Approaches to Criminal Career Analysis. In: C.W. Clifton, N. Zhong, J. Liu, B.W. Wah and X. Wu (Ed.), Sixth IEEE International Conference on Data Mining: 171-177 (2006)
  • J.S. de Bruin, T.K. Cocx, W.A. Kosters, J.F.J. Laros & J.N. Kok: Onto Clustering of Criminal Careers. In: M. Ackermann, C. Soares and B. Guidemann (Ed.), Practical Data Mining: Applications, Experiences and Challenges: 90-93 (2006)
  • J.S. de Bruin & J.N. Kok: Towards a Framework for Knowledge Discovery. In: IFIP AI Symposium 2006: 219-228 (2006)
  • T. Chothia & J. Kleijn: Q-Automata: Modelling the Resource Usage of concurrent components. In: C.Canal, M.Vrioli (Ed.), foundations of Coordination Languages and Software Architectures: 151-165. Univ of Malaga, Dept of computer Science (2006)
  • D. Clarke, D. Costa & F. Arbab: Connector Colouring I: Synchronisation and Context Dependency, Electronic Notes in Theoretical Computer Science (ENTCS) 154: 101-119 (2006)
  • D. Clarke, D. Costa & F. Arbab: Modelling Coordination in Biological Systems. In: T. Margaria and B. Steffen (Ed.), Leveraging Applications of Formal Methods, Lecture Notes in Computer Science 4313: 9-25, Springer (2006)
  • N. Diakov & F. Arbab: Software Adaptation in Integrated Tool Frameworks for Composite Services. In: Third International Workshop on Coordination and Adaptation Issues (WCAT 2006): 9-14 (2006)
  • H. ter Doest, M. Lankhorst, H. Jonkers, H. Bosma, R. Wieringa & F. Arbab: Introduction -- special issue on Enterprise Architecture, Information Systems 8: 63-66 (2006)
  • H. Fecher, M. Kyas, W.-P. de Roever & F.S. de Boer: Compositional Operational Semantics of a UML-Kernel-Model Language, Electronic Notes in Theoretical Computer Science (ENTCS) 156: 79-96 (2006)
  • L.P.J. Groenewegen, A. Stam, P.J. Toussaint & E.P. de Vink: Paradigm as Organization-Oriented Coordination Language, Electronic Notes in Theoretical Computer Science (ENTCS) 150: 93-113 (2006)
  • L.P.J. Groenewegen & E.P. de Vink: Evolution On-the-Fly with Paradigm, Coordination : 97-112 (2006)
  • J.V. Guillen Scholten, F. Arbab, F.S. de Boer & M.M. Bonsangue: Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets. In: C. Canal and M. Viroli (Ed.), Foundation of Coordination Languages and Software Architectures (FoCLaSA 2005), Electronic Notes in Theoretical Computer Science 154: 121-138, Elsevier Science (2006)
  • A. Heydarnoori, F. Mavaddat & F. Arbab: Deploying Loosely Coupled, Component-based Applications into Distributed Environments. In: ECBS: 93-102 (2006)
  • A. Heydarnoori, F. Mavaddat & F. Arbab: Towards an Automated Deployment Planner for Composition of Web Services as Software Components, Electronic Notes in Theoretical Computer Science (ENTCS) 160: 239-253 (2006)
  • J. Kazius, S. Nijssen, J.N. Kok, T.H.W. Bäck & A.P. IJzerman: Substructure mining using elaborate chemical representation, Journal of Chemical Information and Modeling 46: 597-605 (2006)
  • A. Khedr & J.N. Kok: Adopting Knowledge Discovery in Databases for Customer Relationship Management in Egyptian Public Banks. In: IFIP AI Symposium: 201-208 (2006)
  • J. Kleijn & M. Koutny: Infinite Process Semantics of Inhibitor Nets. In: S. Donatelli, P.S. Thiagarajan (Ed.), Petri Nets and Other Models of Concurrency, Lecture notes in Computer Science 4024: 282-301 (2006)
  • J. Kleijn & M. Koutny: Synchrony and Asynchrony in Membrane Systems. In: H.J. Hoogeboom, G. Paun, G. Rozenberg, A. Salomaa (Ed.), Membrane Computing, Seventh International Workshop, Lecture notes in Computer Science 4361: 66-85 (2006)
  • J.N. Kok & F. Arbab: Interaction and Coordination of Tools for Structured Data. In: T. Margaria and B. Steffen (Ed.), International Symposium on Leveraging Applications of Formal Methods, Lecture notes in Computer Science 4313: 1-8, Springer (2006)
  • E.M.W. Lameijer, J.N. Kok, T.H.W. Bäck & A.P. IJzerman: Mining a Chemical Database for Fragment Co-occurrence: Discovery of "Chemical Clichés", Journal of Chemical Information and Modeling 46: 553-562 (2006)
  • E.M.W. Lameijer, J.N. Kok, T.H.W. Bäck & A.P. IJzerman: Mining a chemical database for fragment co-occurrence: discovery of "chemical clichs", Journal of Chemical Information and Modeling 46: 597-605 (2006)
  • E.M.W. Lameijer, J.N. Kok, T.H.W. Bäck & A.P. IJzerman: The Molecule Evoluator. An interactive evolutionary algorithm for the design of drug-like molecules, Journal of Chemical Information and Modeling 46: 545-552 (2006)
  • T. Limniotes, G.A. Papadopoulos & F. Arbab: A Channel Based Communication Model with a Weighted Mobility. In: Third International Conference on Parallel Computations and Control Problems (2006)
  • M.R. Mousavi, M. Sirjani & F. Arbab: Formal Semantics and Analysis of Component Connectors in Reo, Electronic Notes in Theoretical Computer Science 154: 83-99 (2006)
  • Q. Mubarak, J. Dmitrieva, T. Vermeulen, Y. Zhou, L.P.J. Groenewegen, S. Basmagi, R. van Beek & F.J. Verbeek: BioTune, a component based repository of BioInformatics teaching modules. In: Méndez-Vilas, A. (Ed.), Proceedings MICTE 2006, FormaText (2006)
  • S. Nijssen & J.N. Kok: Frequent Subgraph Miners: Runtimes Don't Say Everything,Mining and Learning with Graphs. In: MLG 2006 (2006)
  • S. Nijssen & J.N. Kok: Multi-class Correlated Pattern Mining, Knowledge Discovery in Inductive Databases. In: 4th International Workshop, KDID 2005, Lecture notes in Computer Science 3933: 165-187, Springer (2006)
  • S. Nijssen & J.N. Kok: On Multi-Class Correlated Pattern Mining. In: P.-Y. Schobbens, W. Vanhoof and G. Schwanen (Ed.), Proceedings of the Fourth International Workshop on Knowledge Discovery in Inductive Databases: 411-412 (2006)
  • E. Samsonova, J.N. Kok & A.P. IJzerman: TreeSOM: Cluster analysis in the self-organizing map, Neural Networks 19: 935-949 (2006)
  • J.V. Scholten, F. Arbab, F.S. de Boer & M.M. Bonsangue: A component coordination model based on mobile channels, Fundamenta Informaticae 73: 561-582 (2006)

2005

  • J. Kleijn, M. Koutny & G. Rozenberg: Towards a Petri net semantics for membrane systems. In: G. Paun, G. Rozenberg, R. Freund & A. Salomaa (Eds.), Membrane Computing: 6th International Workshop, WMC 2005, Lecture notes in Computer Science 3850: 292-309, Springer (2006) doi:10.1007/11603047_20
  • F. Arbab: Abstract Behavior Types: a foundation model for components and their composition, Science of Computer Programming 55: 3-52 (2005)
  • F. Arbab, C. Baier, F.S. de Boer, J. Rutten & M. Sirjani: Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. In: Proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005): 236-251 (2005)
  • M.H. ter Beek & J. Kleijn: Infinite Unfair Shuffles and Associativity. In: S. Brlek & C. Reutenauer (Eds.), Proceedings of the 5th International Conference on Words (WORDS'05) 36: 129-146. Montréal, Université du Québec à Montréal, Montréal (2005)
  • M.H. ter Beek & J. Kleijn: Modularity for Teams of I/O Automata, Information Processing Letters 95: 487-495 (2005) doi:10.1016/j.ipl.2005.05.012
  • F.S. de Boer, M.M. Bonsangue, M. Steffen & E. Abraham: A fully abstract semantics for UML Components. In: Proceedings of FMCO 2004: revised lectures: 49-69 (2005)
  • F.S. de Boer, M.M. Bonsangue, L.P.J. Groenewegen, A. Stam, S. Stevens & L. van der Torre: Change impact analysis of enterprise architectures. In: Proceedings on 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005) (2005)
  • F.S. de Boer, M.M. Bonsangue, J. Jacob, A. Stam & L. van der Torre: Enterprise architecture analysis in xml. In: Proceedings of the Hawaii International Conference on System Sciences (HICSS-38) (2005)
  • M.M. Bonsangue & A. Kurz: Dualities for logics of transition systems. In: Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS 2005): 455-469, Springer-Verlag (2005)
  • C.J.F. Cremers, S. Mauw & E.P. de Vink: A Syntactic Criterion for Injectivity of Authentication Protocols. In: Proceedings of the 2nd workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005) 135: 23-28 (2005)
  • M. Dastani, F. Arbab & F.S. de Boer: Coordination and composition in multi-agent systems. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (AAMAS'05): 439-446 (2005)
  • N. Diakov & F. Arbab: Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach. In: Proceedings of the 2nd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT05): 39-46 (2005)
  • L.P.J. Groenewegen, N. van Kampenhout & E.P. de Vink: Delegation Modeling with Paradigm. In: Proceedings Coordination 2005: 94-108 (2005)
  • L.P.J. Groenewegen, A.W. Stam, P.J. Toussaint & E.P. de Vink: Paradigm as Organization-Oriented Coordination Language. In: Preliminary Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005): 123-138 (2005)
  • J.V. Guillen-Scholten & F. Arbab: Coordinated Anonymous Peer-to-Peer Connection with MoCha. In: Proceedings of the Fourth International Workshop on Scientific Engineering of Distributed Java Applications (FIDJI 2004): 68-77, Springer-Verlag (2005)
  • J.V. Guillen-Scholten, F. Arbab, F.S. de Boer & M.M. Bonsangue: MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels. In: Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005): 13-17, ACM press (2005)
  • J.I. den Hartog & E.P. de Vink: Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. In: Proceedings of the Workshop on Formal Aspects in Security and Trust (FAST 2004), Kluwer (2005)
  • C.V. Henkel & J.N. Kok: Towards evolutionary DNA computing. In: Proceedings International Work-conference on the Interplay Between Natural and Artificial Computation (IWINAC 2005): 242-257, Springer-Verlag (2005)
  • M. Kyas, F.S. de Boer & W.-P. de Roever: A Compositional Trace Logic for Behavioural Interface Specifications, Nordic Journal of Computing 12: 116-132 (2005)
  • M. Kyas, H. Fecher, F.S. de Boer, J. Jacob, J. Hooman, M. van der Zwaag, T. Arons & H. Kugler: Formalizing UML Models and OCL Constraints in PVS, Electronic Notes in Theoretical Computer Science (ENTCS) 115: 39-47 (2005)
  • E.M.W. Lameijer, T.H.W. Bäck, J.N. Kok & A.P. IJzerman: Evolutionary algorithms in drug design, Natural computing 4: 177-243 (2005)
  • E.M.W. Lameijer, A.P. IJzerman & J.N. Kok: Using data mining to improve mutation in a tool for molecular evolution. In: Proceedings of the 2005 IEEE Congress on Evolutionary Computation (CEC 2005) (2005)
  • C. Pierik & F.S. de Boer: A proof outline logic for object-oriented programming, Theoretical Computer Science 343: 413-442 (2005)
  • C. Pierik, D. Clarke & F.S. de Boer: Controlling Object Allocation Using Creation Guards. In: Proceedings of the International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005: 59-74, Springer-Verlag (2005)
  • P.W.H. van der Putten & J.N. Kok: Data mining and knowledge discovery. In: R.J. Baatenburg de Jong (Ed.), Prognosis in Head and Neck Cancer, Taylor and Francis (2005)
  • M.B. van Riemsdijk, F.S. de Boer & J.-J.Ch. Meijer: Dynamic Logic for Plan Revision in Intelligent Agents. In: Proceedings of the Fifth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V): 16-32, Springer-Verlag (2005)
  • E. Samsonova, T.H.W. Bäck, J.N. Kok & A.P. IJzerman: Reliable hierarchical clustering with the self-organizing map. In: Proceedings of the 6th International Symposium on Intelligent Data Analysis (IDA 2005): 385-396 (2005)
  • M. Sirjani, F.S. de Boer, A. Movaghar & A. Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. In: Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD2005): 213-221 (2005)
  • M. Sirjani, A. Movaghar, A. Shali & F.S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models, Journal of Universal Computer Science 11: 1054-1082 (2005)
  • A. Sokolova, E.P. de Vink & H. Woracek: Bisimulation for Action-Type Coalgebras. In: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004): 211-228 (2005)
  • A.W. Stam, L.P.J. Groenewegen & E.P. de Vink: Restructuring Paradigm Models for the ToolBus Architecture: a Case Study. In: Preliminary Proceedings of the International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems: 111-125 (2005)
  • P. Wegner, F. Arbab, D. Goldin, P. McBurney, M. Luck & D. Robertson: The Role of Agent Interaction in Models of Computing: Panelist Reviews. In: Proceedings of Foundations of Interactive Computing (FInCo'05): 181-198, Elsevier (2005)
  • E. Ábraham, M.M. Bonsangue, F.S. de Boer, A. Grüner & M. Steffen: Observability, Connectivity, and Replay in a Sequential Calculus of Classes. In: Proceedings of FMCO 2004: revised lectures: 296-316, Springer-Verlag (2005)
  • E. ‹Ábraham, F.S. de Boer, W.-P. de Roever & M. Steffen: An assertion-based proof system for multithreaded Java, Theoretical Computer Science 331: 251-290 (2005)
Last edited on 09/09/2011 10:36am