|
Click on a project in the table below for all publications registered to that project.
Project AFM3: Formal Methods for Active Networking
2010
- Kokash, N., Krause, C., Vink, E.P. de (2010). Data-aware design and verification of service compositions with Reo and mCRL2. Proceedings 25th ACM Symposium on Applied Computing (SAC'10, Sierre, Switzerland, March 22-26, 2010). (pp. ...-...). ACM, submitted / in press.
- Frank S. de Boer, Immo Grabe: Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. SOFSEM 2010: 200-211
2009
- A formal framework for quantifying voter-controlled privacy. Hugo Jonker, Sjouke Mauw and Jun Pang. Journal of Algorithms in Cognition, Informatics and Logic volume 64(2-3):89-105, 2009.
- Measuring voter-controlled privacy. Hugo Jonker, Sjouke Mauw and Jun Pang. In Proc. 4th Conference on Availability, Reliability and Security - ARES'09, IEEE Computer Society, 2009.
- Sokolova, A., Vink, E.P. de, Woracek, H. (2009). Coalgebraic weak bisimulation for action-type systems. Scientifc Annals of Computer Science, 19, 93-144.
- Markovski, J., Sokolova, A., Trcka, N., Vink, E.P. de (2009). Compositionality for Markov reward chains with fast and silent transitions. Performance Evaluation, 66(8), 435-452.
- Markovski, J., Vink, E.P. de (2009). Performance evaluation of distributed systems based on a discrete real- and stochastic-time process algebra. Fundamenta Informaticae, 95(1), 157-186.
- Andova, S., Groenewegen, L.P.J., Verschuren, J.H.S., Vink, E.P. de (2009). Architecting security with Paradigm. In R. de Lemos, J.C. Fabre, C. Gacek, F. Gadducci, M. ter Beek (Eds.), Architecting Dependable Systems VI. (pp. 255-283) Berlin: Springer.
- Andova, S., Groenewegen, L.P.J., Stafleu, J., Vink, E.P. de (2009). Formalizing adaptation on-the-fly. In G. Salaün, M. Sirjani (Eds.), Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'09, Rhodes, Greece, July 11th, 2009; in conjunction with ICALP'09). (Electronic Notes in Theoretical Computer Science, Vol. 255, pp. 23-44).
- Andova, S., Groenewegen, L.P.J., Vink, E.P. de (2009). Dynamic consistency in process algebra : From Paradigm to ACP. In C. Canal, P. Poizat, M. Sirjani (Eds.), Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'08, Reykjavik, Iceland, July 13th, 2008; in conjunction with CONCUR'08). (Electronic Notes in Theoretical Computer Science, Vol. 229(2), pp. 3-20).
- Koehler, C., Arbab, F., Vink, E.P. de (2009). Reconfiguring distributed Reo connectors. In A. Corradini, i U. Montanari (Eds.), Recent Trends in Algebraic Development Techniques (19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers). (Lecture Notes in Computer Science, Vol. 5486, pp. 221-235). Berlin: Springer.
- B. Aichernig, F. Arbab, L. Astefanoaei, F. de Boer, Meng Sun and J. Rutten. Fault-based Test Case Generation for Component Connectors. In Proceedings of 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE'09, pages 147-154, IEEE Computer Society, 2009.
- F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten and A. Silva. Deriving syntax and axioms for quantitative regular behaviours. In M. Bravetti and G. Zavattaro, editors, CONCUR'09, LNCS 5710, pp. 146-162. Springer, 2009.
- M.M. Bonsangue, J.J.M.M. Rutten and A. Silva. An algebra for Kripke polynomial coalgebras. Proceedings LICS'09 pp. 49-58. IEEE, Computer Science Press, 2009.
- M.M. Bonsangue, J.J.M.M. Rutten and A. Silva. A Kleene theorem for polynomial coalgebras. In L. de Alfaro, editor, proceedings FoSSaCS'09, LNCS 5504, Springer, 2009, pp. 122--136.
- SAT-based Verification for Timed Component Connectors, Stephanie Kemper. In 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'09)
- Christian Krause, Ziyan Maraikar, Alexander Lazovik, and Farhad Arbab "Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems," Science of Computer Programming, Elsevier, Vol. ???, Issue ???, pp. ???-???, 2009.
- Sun Meng and Farhad Arbab "QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata," Fundamenta Informaticae, IOS Press, Vol. 95, No. 1, pp. 103-128, 2009.
- Natallia Kokash and Farhad Arbab, "Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems," Post-proceedings of the 7th International Symposium on Formal Methods for Components and Objects, (FMCO 2008); Lecture Notes in Computer Science, Springer, Vol. 5751 pp. 21-4, October 2009.
- Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Kwiatkowska, and Hongyang Qu, "Reo2MC: a Tool Chain for Performance Analysis of Coordination Models," Demonstrations track of the 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), August 24-28 2009 Amsterdam, The Netherlands.
- Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, and Jan Rutten, "Fault-based Test Case Generation for Component Connectors," Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), July 29 - 31, 2009, Tianjin, China.
- Sun Meng and Farhad Arbab, "Connectors as Designs," the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), 11 July 2009, Rhodes, Greece; satellite workshop of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2009).
- Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, and Farhad Arbab, "Automated Analysis of Reo Circuits using Symbolic Execution," the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), 11 July 2009, Rhodes, Greece; satellite workshop of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2009).
- Farhad Arbab, Tom Chothia, Rob van der Mei, Meng Sun, Young-Joo Moon, and Chretien Verhoef, "From Coordination to Stochastic Models of QoS," Proceedings of the 11th international conference on Coordination Models and Languages (Coordination 2009), Lisbon, Portugal, June 9-11, 2009, LNCS, vol. 5521, pp. 268-287, Springer.
- Natallia Kokash and Farhad Arbab, "Applying Reo to service coordination in long-running business transactions," Coordination Models, Languages and Architectures (CM), Special Track of the 24th ACM Symposium on Applied Computing (SAC 2009), March 8-12, 2009, Waikiki Beach, Honolulu, Hawaii, USA.
- Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: The Refinement of Choreographed Multi-Agent Systems. DALT 2009: 20-34
- Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe: Abstract Object Creation in Dynamic Logic. FM 2009: 612-627
- Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen: Java Test Driver Generation from Object-Oriented Interaction Traces. Electr. Notes Theor. Comput. Sci. 243: 33-47 (2009)
- Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009)
- Frank S. de Boer: A shared-variable concurrency analysis of multi-threaded object-oriented programs. Theor. Comput. Sci. 410(2-3): 128-141 (2009)
2008
- Paradiso: Designing a secure, verified, fair exchange DRM system. Mohammad Torabi Dashti, Srijith Krishnan Nair, and Hugo Jonker. Fundamenta Informaticae volume 89(4):393-417, 2008.
- Andova, S., Groenewegen, L.P.J., Vink, E.P. de (). System evolution by migration coordination. In A. Serebrenik (Ed.), 7th Belgian-Netherlands Software Evolution Workshop (Benevol 2008, Eindhoven, The Netherlands, December 11-12, 2008, Informal pre-proceedings). (Computer Science Reports, Vol. 08-33, pp. 18-22). Serebrenik: Technische Universiteit Eindhoven.
- Trcka, N., Georgievska, S., Markovski, J., Andova, S., Vink, E.P. de (2008). Performance analysis of chi models using discrete-time probabilistic reward graphs. Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, Göteborg, Sweden, May 28-30, 2008). (pp. 113-118). IEEE.
- Markovski, J., Vink, E.P. de (2008). Extending timed process algebra with discrete stochastic time. In J. Meseguer, G. Rosu (Eds.), Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings). (Lecture Notes in Computer Science, Vol. 5140, pp. 268-283). Berlin: Springer.
- Markovski, J., Vink, E.P. de (2008). Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. Proceedings 8th International Conference on Application of Concurrency to System Design (ACSD'08, Xian, China, June 23-27, 2008). (pp. 180-189). Piscataway NJ: IEEE.
- J.J.M.M. Rutten. Rational streams coalgebraically. Logical Methods in Computer Science, Volume 4(3), 22 pp., 2008.
- C. Kupke, J.J.M.M. Rutten. Observational coalgebras and complete sets of co-operations. Proceedings of the 9th Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), Budapest, Hungary, ENTCS 203(5), pp. 153--174, Elsevier, 2008.
- M.M. Bonsangue, J.J.M.M. Rutten and A. Silva. Coalgebraic Logic and Synthesis of Mealy Machines. Proceedings FoSSaCS 2008, LNCS 4962, Springer, 2008, pp. 231--245.
- Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Meyer, Nick Tinnermeier: "Reo Connectors as Coordination Artifacts in 2APL Systems," the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008), 15-16 December 2008, Hanoi, Vietnam.
- Ziyan Maraikar, Alexander Lazovik, Farhad Arbab: "Building Mashups for the Enterprise with SABRE," the 6th International Conference on Service Oriented Computing (ICSOC 2008), 1-5 December 2008, Sydney, Australia.
- Farhad Arbab, Sun Meng: "Synthesis of Connectors from Scenario-based Interaction Specifications," Proceedings of the 11th International Symposium on Component-Based Software Engineering (CBSE 2008), 14-17 October 2008, Karlsruhe, Germany; member of CompArch 2008, LNCS, vol. 5258, pp. 114-129, Springer.
- Farhad Arbab, Natallia Kokash, Sun Meng: "Towards Using Reo for Compliance-aware Business Process Modeling," the third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), 13-15 October 2008, Porto Sani (Kassandra, Chalkidiki), Greece.
- Sun Meng , Farhad Arbab: "Modelling Connectors as Designs in Unifying Theories of Programming," The second International Symposium on Unifying Theories of Programming (UTP 2008), 8-10 September 2008, Trinity College Dublin, Ireland.
- Krzysztof R. Apt, Farhad Arbab, Huiye Ma: "A Distributed Platform for Mechanism Design," The 1st International Workshop on Market-Based Control (MBC 2008), 1-2 September 2008, Liverpool, UK.
- Dave Clarke, Jose Proenca, Alexander Lazovik and Farhad Arbab: "Deconstructing Reo," the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), July 13, 2008, Reykjavik, Iceland; satellite event of ICALP 2008.
- Farhad Arbab, Meng Sun and Christel Baier: "Synthesis of Reo Circuits from Scenario-based Specifications," the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), July 13, 2008, Reykjavik, Iceland; satellite event of ICALP 2008.
- Sun Meng, Farhad Arbab: "QoS-Driven Service Selection and Composition," the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), June 23-27, 2008, Xi'an, China.
- Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese and Ugo Montanari: "Tiles for Reo," the 19th International Workshop on Algebraic Development Techniques (WADT 2008), June 13-16, 2008, Pisa, Italy; Lecture Notes in Computer Science, Springer, Vol. 5486, pp. 37-55.
- Christian Koehler, Farhad Arbab and Erik de Vink: "On Hierarchical Reconfiguration of Reo Connectors," the 19th International Workshop on Algebraic Development Techniques (WADT 2008), June 13-16, 2008, Pisa, Italy; Lecture Notes in Computer Science, Springer, Vol. 5486, pp. 221-235.
- Sun Meng , Farhad Arbab: "Services and Contracts: Coalgebraically," the first International Conference on Foundations of Informatics, Computing and Software, (FICS 2008), June 3-6, 2008, Shanghai, China.
- Christian Koehler, David Costa, José Proença, Farhad Arbab: "Reconfiguration of Reo Connectors Triggered by Dataflow," the 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), March 29-30, 2008, Budapest, Hungary.
- Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia: Schedulability and Compatibility of Real Time Asynchronous Objects. IEEE Real-Time Systems Symposium 2008: 70-79
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Inform. 82(4): 391-463 (2008)
- Baeten, JCM (Jos); Bravetti, M. A ground-complete axiomatization of finite-state processes in generic process algebra, TUE Technical report. 2008.
- Baeten, JCM (Jos); Beek, van DA (Bert); Cuijpers, PJL (Pieter); Reniers, MA (Michel); Rooda, JE (Koos); Schiffelers, RRH (Ramon); Theunissen, RJM.Model-based engineering of embedded systems using the hybrid process algebra Chi. Electronic Notes in Theoretical Computer Science, Vol. 209, p.21-., 2008.
- Aceto, L (Luca); Baeten, JCM (Jos); Fokkink, WJ (Willem Jan); Ingólfsdóttir, A (Anna); Nestmann, U. Applying concurrency research in industry: Report on a strategic workshop. In Bulletin of the European Association for Theoretical Computer Science, Vol. 94, p.113-., 2008.
- Baeten, JCM (Jos); Bravetti, M. A ground-complete axiomatization of finite-state processes in generic process algebra. Mathematical Structures in Computer Science, Vol. 18, No. 6, p.1057-., 2008.
2007
- J.C.M. Baeten, F. Corradini, and C.A. Grabmayer. A characterization of regular expressions under bisimulation. In: Journal of the ACM (volume 54, number 2, pages 1-28), April 2007
- J.C.M. Baeten, D.A. van Beek, and J.E. Rooda. Chapter 19: Process algebra (for dynamic system modeling). In: CRC Handbook of Dynamic System Modeling (Edited by P.A. Fishwick) (pages 19.1-21), Chapman & Hall, 2007
- Frank S. de Boer, Dave Clarke, and Einar Broch Johnsen. A Complete Guide to the Future. In: ESOP (pages 316-330), 2007
- J. Markovski and Vink, E.P. de. Real-Time Process Algebra with Stochastic Delays. In: Proc. ACSD 2007 (Edited by T. Basten, G. Juhás, and S. Shukla) (pages 177-186), IEEE, 2007
- J.C.M. Baeten and M.A. Reniers. Duplication of constants in process algebra. In: Journal of Logic and Algebraic Programming (volume 70, number 2, pages 151-171), 2007 Note: Special Issue: Algebraic Process Calculi: The First Twenty Five Years and Beyond
- Frank S. de Boer. A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. In: FMOODS (pages 252-268), 2007
- Alexander Lazovik and Farhad Arbab. Using Reo for Service Coordination. In: ICSOC (pages 398-403), 2007
- Christian Koehler, Alexander Lazovik, and Farhad Arbab. ReoService: Coordination Modeling Tool. In: ICSOC (pages 625-626), 2007
- Sun Meng and Farhad Arbab. Web services choreography and orchestration in Reo and constraint automata. In: SAC (pages 346-353), 2007
- Farhad Arbab, Tom Chothia, Sun Meng, and Young-Joo Moon. Component Connectors with QoS Guarantees. In: COORDINATION (pages 286-304), 2007
- Sun Meng and Farhad Arbab. On Resource-Sensitive Timed Component Connectors. In: FMOODS (pages 301-316), 2007
- Mohammad Izadi, Ali Movaghar, and Farhad Arbab. Model Checking of Component Connectors. In: COMPSAC (1) (pages 673-675), 2007
2006
- Markovski, J. and Trčka, N. Lumping Markov Chains with Silent Steps. In: Third International Conference of Quantitive Evaluation of Systems (Edited by Bob Werner) (pages 221-230), IEEE Computer Society, 2006
- J. Markovski and N. Trčka. Lumping Markov Chains with Silent Steps. (Technische Universiteit Eindhoven technical report CS 06/13), 2006
- S. Andova, J.C.M. Baeten, and T.A.C. Willemse. A complete axiomatization of branching bisimulation for probabilistic systems, with an application in protocol verification. In: Proceedings CONCUR'06 (Edited by C. Baier and H. Hermanns) (volume 4137, pages 327-342), LNCS, Springer Verlag, Bonn, 2006
- Markovski, J. and Vink, E.P. de. Embedding Real Time in Stochastic Process Algebras. In: Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006 (Edited by Andras Horvath and Miklos Telek) (volume 4054, pages 47-62), Lecture Notes of Computer Science, Springer, 2006
- J. Markovski and E.P. de Vink. Embedding Real Time in Stochastic Process Algebras. (Technische Universiteit Eindhoven technical report CS 06/15), 2006
- J.C.M. Baeten and M. Bravetti. A generic process algebra. In: Electronic Notes in Theoretical Computer Science (ENTCS) (volume 162, pages 65-71), 2006
2005
- A. Sokolova, Vink, E.P. de, and H. Woracek. Weak Bisimulation for Action-Type Systems. In: Proc. CTCS 2004 (Edited by L. Birkedal) , ENTCS 122, 2005 Note: 211-228
- A. Sokolova. Coalgebraic Analysis of Probabilistic Systems. Phd Thesis, Technische Universiteit Eindhoven, 2005
- Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, and Marcello M. Bonsangue. MoCha-pi, an exogenous coordination calculus based on mobile channels. In: SAC (pages 436-442), 2005
- E. Bortnik, N. Trcka, A.J. Wijs, B. Luttik, J.M. van de Mortel-Fronczak, J.C.M. Baeten, W.J. Fokkink, and J.E. Rooda. Analyzing a Chi Model of a Turntable System using Spin, CADP and Uppaal. In: Journal of Logic and Algebraic Programming (volume 65, number 2, pages 51-104), 2005
- J.C.M. Baeten, M.R. Mousavi, and M.A. Reniers. Timing the Untimed: Terminating Successfully while Being Conservative. In: Processes, Terms and Cycles: Steps on the Road to Infinity (Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday) (Edited by A. Middeldorp, V. van Oostrom, F. van Raamsdonk, and R. de Vrijer) (number 3838, pages 251-279), Lecture Notes in Computer Science, Springer Verlag, 2005
- Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, and Marjan Sirjani. Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. In: COORDINATION (pages 236-251), 2005
- Mehdi Dastani, Farhad Arbab, and Frank S. de Boer. Coordination and composition in multi-agent systems. In: AAMAS (pages 439-446), 2005
|
