Erik P. Vink, de

View Scopus Profile

Erik P. de Vink

dr.

 https://orcid.org/0000-0001-9514-2260
  • 1713
    Citations - based on content available in repository [source: Scopus]
1987 …2024

Content available in repository

Filter
Conference contribution

Search results

  • 2024

    Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη

    Bezhanishvili, N., Ciancia, V., Gabelaia, D., Jibladze, M., Latella, D., Massink, M. (Corresponding author) & de Vink, E. P., 13 Jun 2024, Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. Castiglioni, V. & Francalanza, A. (eds.). Cham: Springer, p. 20-38 19 p. (Lecture Notes in Computer Science (LNCS); vol. 14678).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
  • 2023

    Minimisation of Spatial Models Using Branching Bisimilarity

    Ciancia, V., Groote, J. F., Latella, D., Massink, M. & de Vink, E. P., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Cham: Springer, p. 263-281 19 p. (Lecture Notes in Computer Science (LNCS); vol. 14000).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)

  • On Bisimilarity for Polyhedral Models and SLCS

    Ciancia, V. (Corresponding author), Gabelaia, D., Latella, D., Massink, M. & de Vink, E. P., 10 Jun 2023, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings. Huisman, M. & Ravara, A. (eds.). Cham: Springer, p. 132-151 20 p. (Lecture Notes in Computer Science (LNCS); vol. 13910).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
  • 2022

    Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.

    Ciancia, V., Latella, D., Massink, M. & Vink, E. P. D., 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Springer, p. 98-115 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
  • 2021

    Bisimulation by Partitioning Is Ω((m+n) logn)

    Groote, J. F., Martens, J. & Vink, E. P. D., 1 Aug 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 31:1-31:16 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 203).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)
  • 2020

    Family-Based SPL model checking using parity games with variability

    ter Beek, M. H., van Loo, S., de Vink, E. P. & Willemse, T. A. C., 2020, Fundamental Approaches to Software Engineering- 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Wehrheim, H. & Cabot, J. (eds.). Springer, p. 245-265 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12076 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    11 Citations (Scopus)

  • Modelling and analysing software in mCRL2

    Groote, J. F., Keiren, J. J. A., Luttik, S. P., de Vink, E. P. & Willemse, T. A. C., 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings: FACS 2019. Arbab, F. & Jongmans, S.-S. (eds.). Cham: Springer, p. 25-48 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)

  • Modelling and Analysing Software in mCRL2

    Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., 1 Jan 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S.-S. (eds.). Springer, p. 25-48 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)
  • 2019

    The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    98 Citations (Scopus)
    123 Downloads (Pure)
  • 2018

    Deadlock detection for actor-based coroutines

    Azadbakht, K., de Boer, F. S. & de Vink, E., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Cham: Springer, p. 39-54 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    1 Downloads (Pure)
  • 2017

    Family-based model checking of SPL based on mCRL2

    Snaiba, Z. B., de Vink, E. P. & Willemse, T. A. C., 25 Sept 2017, SPLC '17 Proceedings of the 21st International Systems and Software Product Line Conference, 25-29 September 2017, Sevilla, Spain. New York: Association for Computing Machinery, Inc, Vol. B. p. 13-16 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Family-based model checking with mCRL2

    ter Beek, M. H., de Vink, E. P. & Willemse, T. A. C., 2017, Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Huisman, M. & Rubin, J. (eds.). Dordrecht: Springer, p. 387-405 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10202 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    37 Citations (Scopus)
    57 Downloads (Pure)

  • Problem solving using process algebra considered insightful.

    Groote, J. F. & de Vink, E. P., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J.-P., Langerak, R. & Rensink, A. (eds.). Cham: Springer, p. 48-63 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)
  • 2016

    Logical characterization of bisimulation for transition relations over probability distributions with internal actions

    Lee, M. & de Vink, E. P., 2016, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland . Faliswewski, P., Muschall, A. & Niedermeier, R. (eds.). (Leibniz International Proceedings in Informatics (LIPIcs); vol. 58).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

  • Supervisory controller synthesis for product lines using CIF3

    ter Beek, M. H., Reniers, M. A. & de Vink, E. P., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Magaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 856-873 (LNCS; vol. 9952).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    151 Citations (Scopus)
    5 Downloads (Pure)
  • 2015

    A definition scheme for quantitative bisimulation

    Latella, D., Massink, M. & Vink, de, E. P., 2015, Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015, London, UK, April 11-12, 2015). Bertrand, N. & Tribastone, M. (eds.). EPTCS, p. 63-78 (Electronic Proceedings in Theoretical Computer Science; vol. 194).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

  • Coherent branching feature bisimulation

    Belder, T., Beek, ter, M. H. & Vink, de, E. P., 2015, Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015, London, UK, April 11, 2015). Atlee, J. M. & Gnesi, S. (eds.). p. 14-30 (Electronic Proceedings in Theoretical Computer Science; vol. 182).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    106 Downloads (Pure)

  • Rooted branching bisimulation as a congruence for probabilistic transition systems

    Lee, M. D. & Vink, de, E. P., 2015, Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015, London, UK, April 11-12, 2015). Bertrand, N. & Tribastone, M. (eds.). EPTCS, p. 79-94 (Electronic Proceedings in Theoretical Computer Science; vol. 194).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)
  • 2014

    Software product line analysis with mCRL2

    Beek, ter, M. H. & Vink, de, E. P., 2014, 18th International Software Product Line Conference (SPLC'14, Florence, Italy, September 15-19, 2014, Companion Volume for Workshops, Demonstrations and Tools). New York NY: Association for Computing Machinery, Inc, p. 78-85

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)

  • Towards modular verification of software product lines with mCRL2

    Beek, ter, M. H. & Vink, de, E. P., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I). Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 368-385 (Lecture Notes in Computer Science; vol. 8802).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    19 Citations (Scopus)
    4 Downloads (Pure)

  • Using mCRL2 for the analysis of software product lines

    Beek, ter, M. H. & Vink, de, E. P., 2014, 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE'14, Hyderabad, India, June 3, 2014). IEEE Computer Society, p. 31-37

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    30 Citations (Scopus)
    1 Downloads (Pure)
  • 2013

    An overview of the mCRL2 toolset and its recent advances

    Cranen, S., Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Vink, de, E. P., Wesselink, J. W. & Willemse, T. A. C., 2013, Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Piterman, N. & Smolka, S. A. (eds.). Berlin: Springer, p. 199-213 (Lecture Notes in Computer Science; vol. 7795).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    111 Citations (Scopus)
    1 Downloads (Pure)

  • Towards dynamic adaptation of the majority rule scheme

    Krause, C., Vink, de, E. P. & Vink, de, P. J., 2013, Pre-proceedings QAPL 2013 (Rome). Bortolussi, L. & Wiklicky, H. (eds.). Rome: Sapienza Università di Roma, p. 1-4

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    3 Downloads (Pure)
  • 2012

    Bisimulation of labeled state-to-function transition systems of stochastic process languages

    Latella, D., Massink, M. & Vink, de, E. P., 2012, Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory (Tallinn, Estonia, April 1, 2012). Golas, U. & Soboll, T. (eds.). EPTCS, p. 23-43 (Electronic Proceedings in Theoretical Computer Science; vol. 93).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)

  • Combining insertion and deletion in RNA-editing preserves regularity

    Vink, de, E. P., Zantema, H. & Bosnacki, D., 2012, Proceedings of the 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (McCBIC 2012, Newcastle, UK, September 8, 2012). Ciobanu, G. (ed.). EPTCS, p. 48-62 (Electronic Proceedings in Theoretical Computer Science; vol. 100).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Downloads (Pure)

  • Distributed adaptation of dining philosophers

    Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2012, Formal Aspects of Component Software (7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010. Revised Selected Papers). Soares Barbosa, L. (ed.). Berlin: Springer, p. 125-144 (Lecture Notes in Computer Science; vol. 6921).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)

  • Dreams: a framework for distributed synchronous coordination

    Proença, J., Clarke, D., Vink, de, E. P. & Arbab, F., 2012, Proceedings of the 27th ACM Symposium on Applied Computing (SAC'12, Riva del Garda, Italy, March 26-30, 2012). New York NY: Association for Computing Machinery, Inc, p. 1510-1515

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    26 Citations (Scopus)
  • 2011

    Decoupled execution of synchronous coordination models via behavioural automata

    Proença, J., Clarke, D., Vink, de, E. P. & Arbab, F., 2011, Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011, Aachen, Germany, September 10, 2011). Mousavi, M. R. & Ravara, A. (eds.). EPTCS, p. 65-79 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)

  • Towards reduction of Paradigm coordination models

    Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2011, Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011). Aceto, L. & Mousavi, M. R. (eds.). EPTCS, p. 1-18 (Electronic Proceedings in Theoretical Computer Science; vol. 60).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    107 Downloads (Pure)
  • 2010

    Action-based analysis of discrete regulatory networks with short-term stimuli

    Krause, C. & Vink, de, E. P., 2010, Proceedings of the 8th Conference on Computational Methods in Systems Biology (CMSB 2010, Trento, Italy, September 29-October 1, 2010). Quaglia, P. (ed.). New York NY: Association for Computing Machinery, Inc, p. 65-75

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)

  • Data-aware design and verification of service compositions with Reo and mCRL2

    Kokash, N., Krause, C. & Vink, de, E. P., 2010, Proceedings 25th ACM Symposium on Applied Computing (SAC'10, Sierre, Switzerland, March 22-26, 2010). New York NY: Association for Computing Machinery, Inc, p. 2406-2413

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    24 Citations (Scopus)

  • Time and data-aware analysis of graphical service models in Reo

    Kokash, N., Krause, C. & Vink, de, E. P., 2010, Proceedings 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010, Pisa, Italy, September 13-18, 2010). Los Alamitos CA: IEEE Computer Society, p. 125-134

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    25 Citations (Scopus)
    198 Downloads (Pure)

  • Towards dynamic adaptation of probabilistic systems

    Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2010, Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II). Margaria, T. & Steffeb, B. (eds.). Berlin: Springer, p. 143-159 (Lecture Notes in Computer Science; vol. 6416).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)
    2 Downloads (Pure)

  • Verification of context-dependent channel-based service models

    Kokash, N., Krause, C. & Vink, de, E. P., 2010, Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers). Boer, de, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (eds.). Berlin: Springer, p. 21-40 (Lecture Notes in Computer Science; vol. 6286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    15 Citations (Scopus)
  • 2009

    Dynamic consistency in process algebra : from Paradigm to ACP

    Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2009, 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). Poizat, P. & Sirjani, M. (eds.). p. 3-20 (Electronic Notes in Theoretical Computer Science; vol. 229(2)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)

  • Formalizing adaptation on-the-fly

    Andova, S., Groenewegen, L. P. J., Stafleu, J. & Vink, de, E. P., 2009, 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). Salaün, G. & Sirjani, M. (eds.). p. 23-44 (Electronic Notes in Theoretical Computer Science; vol. 255).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    11 Citations (Scopus)

  • Reconfiguring distributed Reo connectors

    Koehler, C., Arbab, F. & Vink, de, E. P., 2009, Recent Trends in Algebraic Development Techniques (19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers). Corradini, A. & Montanari, U. (eds.). Berlin: Springer, p. 221-235 (Lecture Notes in Computer Science; vol. 5486).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)
  • 2008

    An operation-based metric for CPA resistance

    Pan, J., Hartog, den, J. I. & Vink, de, E. P., 2008, Proceedings of the IFIP TC-11 23rd International Information Security Conference (IFIP 20th World Computer Congress, IFIP SEC’08, Milano, Italy, September 7-10, 2008). Jajodia, S., Samarati, P. & Cimato, S. (eds.). Boston: Springer, p. 429-443 (IFIP Conference Proceedings; vol. 278).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)
    1 Downloads (Pure)

  • Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

    Markovski, J. & Vink, de, E. P., 2008, Proceedings 8th International Conference on Application of Concurrency to System Design (ACSD'08, Xian, China, June 23-27, 2008). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 180-189

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)

  • Extending timed process algebra with discrete stochastic time

    Markovski, J. & Vink, de, E. P., 2008, Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings). Meseguer, J. & Rosu, G. (eds.). Berlin: Springer, p. 268-283 (Lecture Notes in Computer Science; vol. 5140).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)

  • In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

    Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2008, Proceedings of COMPMOD 2008 ( Workshop on Computational Models for Cell Processes, Turku, Finland, May 27, 2008). Back, R. J. & Petre, I. (eds.). Turku, Finland: Turku Centre for Computer Science, p. 23-38 (TUCS General Publications; vol. 47).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Performance analysis of chi models using discrete-time probabilistic reward graphs

    Trcka, N., Georgievska, S., Markovski, J., Andova, S. & Vink, de, E. P., 2008, Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, Göteborg, Sweden, May 28-30, 2008). Institute of Electrical and Electronics Engineers, p. 113-118

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)

  • Stochastic analysis of amino acid substitution in protein synthesis

    Bosnacki, D., Eikelder, ten, H. M. M., Steijaert, M. N. & Vink, de, E. P., 2008, Computational Methods in Systems Biology (6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008, Proceedings). Heimer, M. & Uhrmacher, A. M. (eds.). Berlin: Springer, p. 367-386 (Lecture Notes in Computer Science; vol. 5307).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)

  • System evolution by migration coordination

    Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2008, 7th Belgian-Netherlands Software Evolution Workshop (Benevol 2008, Eindhoven, The Netherlands, December 11-12, 2008, Informal pre-proceedings). Serebrenik, A. (ed.). Serebrenik: Technische Universiteit Eindhoven, p. 18-22 (Computer Science Reports; vol. 08-33).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    57 Downloads (Pure)
  • 2007

    Compositionality for Markov reward chains with fast transitions

    Markovski, J., Sokolova, A., Trcka, N. & Vink, de, E. P., 2007, Proceedings of the 4th European Performance Engineering Workshop on Formal Methods and Stochastic Models for Performance Evaluation (EPEW 2007) 27-28 September 2007, Berlin, Germany. Wolter, K. (ed.). Berlin, Germany: Springer, p. 18-32 (Lecture Notes in Computer Science; vol. 4748).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    157 Downloads (Pure)

  • Data anonymity in the FOO voting scheme

    Mauw, S., Verschuren, J. H. S. & Vink, de, E. P., 2007, Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy. Beek, ter, M. & Gadducci, F. (eds.). p. 5-28 (Electronic Notes in Theoretical Computer Science; vol. 168).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    21 Citations (Scopus)

  • Real-time process algebra with stochastic delays

    Markovski, J. & Vink, de, E. P., 2007, Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic. Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 177-186

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

  • Stochastic modeling of codon bias with PRISM

    Pronk, T. E., Vink, de, E. P., Bosnacki, D. & Breit, T. M., 2007, Proceedings of the 3rd international workshop on Methods and Tools for Coordinating, Distributed and Mobile Systems (MTCoord 2007, Paphos, Cyprus, June 4, 2007). Linden, I. & Talcott, C. (eds.). Nicosia: University of Cyprus, p. 1-15

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2006

    Embedding real time in stochastic process algebras

    Markovski, J. & Vink, de, E. P., 2006, Formal Methods and Stochastic Models for Performance Evaluation (Proceedings 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006). Horváth, A. & Telek, M. (eds.). Berlin: Springer, p. 47-62 (Lecture Notes in Computer Science; vol. 4054).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)

  • Evolution on-the-fly with Paradigm

    Groenewegen, L. P. J. & Vink, de, E. P., 2006, Coordination Models and Languages (Proceedings 8th International Conference, Coordination 2006, Bologna, Italy, June 14-16, 2006). Ciancarini, P. & Wiklicky, H. (eds.). Berlin: Springer, p. 97-112 (Lecture Notes in Computer Science; vol. 4038).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    13 Citations (Scopus)