Foto van Erik P. Vink, de

Bekijk Scopus-profiel

Erik P. de Vink

dr.

 https://orcid.org/0000-0001-9514-2260
  • 1729
    Citaties
1987 …2024

Onderzoeksresultaten per jaar

Filter
Conferentiebijdrage

Zoekresultaten

  • 2024

    Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη

    Bezhanishvili, N., Ciancia, V., Gabelaia, D., Jibladze, M., Latella, D., Massink, M. (Corresponderende auteur) & 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. (uitgave). Cham: Springer, blz. 20-38 19 blz. (Lecture Notes in Computer Science (LNCS); vol. 14678).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
  • 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. (uitgave). Cham: Springer, blz. 263-281 19 blz. (Lecture Notes in Computer Science (LNCS); vol. 14000).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    2 Citaten (Scopus)

  • On Bisimilarity for Polyhedral Models and SLCS

    Ciancia, V. (Corresponderende auteur), 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. (uitgave). Cham: Springer, blz. 132-151 20 blz. (Lecture Notes in Computer Science (LNCS); vol. 13910).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    2 Citaten (Scopus)
    1 Downloads (Pure)
  • 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, blz. 98-115 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    2 Citaten (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. (uitgave). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 31:1-31:16 16 blz. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 203).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    4 Citaten (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. (uitgave). Springer, blz. 245-265 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12076 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    11 Citaten (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. (uitgave). Cham: Springer, blz. 25-48 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    14 Citaten (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. (uitgave). Springer, blz. 25-48 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    14 Citaten (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. (uitgave). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    99 Citaten (Scopus)
    112 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. (uitgave). Cham: Springer, blz. 39-54 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    2 Citaten (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 sep. 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. blz. 13-16 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). Dordrecht: Springer, blz. 387-405 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10202 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    39 Citaten (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. (uitgave). Cham: Springer, blz. 48-63 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    7 Citaten (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. (uitgave). (Leibniz International Proceedings in Informatics (LIPIcs); vol. 58).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    4 Citaten (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. (uitgave). Dordrecht: Springer, blz. 856-873 (LNCS; vol. 9952).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    151 Citaten (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. (uitgave). EPTCS, blz. 63-78 (Electronic Proceedings in Theoretical Computer Science; vol. 194).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    4 Citaten (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. (uitgave). blz. 14-30 (Electronic Proceedings in Theoretical Computer Science; vol. 182).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    8 Citaten (Scopus)
    101 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. (uitgave). EPTCS, blz. 79-94 (Electronic Proceedings in Theoretical Computer Science; vol. 194).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    7 Citaten (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, blz. 78-85

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    6 Citaten (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. (uitgave). Berlin: Springer, blz. 368-385 (Lecture Notes in Computer Science; vol. 8802).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    19 Citaten (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, blz. 31-37

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    30 Citaten (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. (uitgave). Berlin: Springer, blz. 199-213 (Lecture Notes in Computer Science; vol. 7795).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    112 Citaten (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. (uitgave). Rome: Sapienza Università di Roma, blz. 1-4

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). EPTCS, blz. 23-43 (Electronic Proceedings in Theoretical Computer Science; vol. 93).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    6 Citaten (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. (uitgave). EPTCS, blz. 48-62 (Electronic Proceedings in Theoretical Computer Science; vol. 100).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). Berlin: Springer, blz. 125-144 (Lecture Notes in Computer Science; vol. 6921).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    5 Citaten (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, blz. 1510-1515

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    26 Citaten (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. (uitgave). EPTCS, blz. 65-79 (Electronic Proceedings in Theoretical Computer Science).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    12 Citaten (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. (uitgave). EPTCS, blz. 1-18 (Electronic Proceedings in Theoretical Computer Science; vol. 60).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    1 Citaat (Scopus)
    101 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. (uitgave). New York NY: Association for Computing Machinery, Inc, blz. 65-75

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    1 Citaat (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, blz. 2406-2413

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    24 Citaten (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, blz. 125-134

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    25 Citaten (Scopus)
    197 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. (uitgave). Berlin: Springer, blz. 143-159 (Lecture Notes in Computer Science; vol. 6416).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    4 Citaten (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. (uitgave). Berlin: Springer, blz. 21-40 (Lecture Notes in Computer Science; vol. 6286).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    15 Citaten (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. (uitgave). blz. 3-20 (Electronic Notes in Theoretical Computer Science; vol. 229(2)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    3 Citaten (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. (uitgave). blz. 23-44 (Electronic Notes in Theoretical Computer Science; vol. 255).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    11 Citaten (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. (uitgave). Berlin: Springer, blz. 221-235 (Lecture Notes in Computer Science; vol. 5486).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    12 Citaten (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. (uitgave). Boston: Springer, blz. 429-443 (IFIP Conference Proceedings; vol. 278).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    4 Citaten (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, blz. 180-189

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    1 Citaat (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. (uitgave). Berlin: Springer, blz. 268-283 (Lecture Notes in Computer Science; vol. 5140).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    6 Citaten (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. (uitgave). Turku, Finland: Turku Centre for Computer Science, blz. 23-38 (TUCS General Publications; vol. 47).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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, blz. 113-118

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    2 Citaten (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. (uitgave). Berlin: Springer, blz. 367-386 (Lecture Notes in Computer Science; vol. 5307).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    7 Citaten (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. (uitgave). Serebrenik: Technische Universiteit Eindhoven, blz. 18-22 (Computer Science Reports; vol. 08-33).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

    Open Access
    Bestand
    46 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. (uitgave). Berlin, Germany: Springer, blz. 18-32 (Lecture Notes in Computer Science; vol. 4748).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    2 Citaten (Scopus)
    142 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. (uitgave). blz. 5-28 (Electronic Notes in Theoretical Computer Science; vol. 168).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    21 Citaten (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, blz. 177-186

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    4 Citaten (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. (uitgave). Nicosia: University of Cyprus, blz. 1-15

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). Berlin: Springer, blz. 47-62 (Lecture Notes in Computer Science; vol. 4054).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    5 Citaten (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. (uitgave). Berlin: Springer, blz. 97-112 (Lecture Notes in Computer Science; vol. 4038).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    13 Citaten (Scopus)