• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Conference contribution
2015

Formal API specification of the PikeOS separation kernel

Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Stephan, W., Wolff, B. & Nemouchi, Y., 2015, NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Berlin: Springer, p. 375-389 (Lecture Notes in Computer Science; vol. 9058).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)
6 Downloads (Pure)

Improvement in small progress measures

Gazda, M. W. & Willemse, T. A. C., 2015, Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015, Genoa, Italy, September 21-22, 2015). Esparza, J. & Tronci, E. (eds.). EPTCS, p. 158-171 (Electronic Proceedings in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics

Wouda, S., Joosten, S. J. C. & Schmaltz, J., 30 Nov 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers, p. 198-207 10 p. 7340487

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Proving non-termination by finite automata

Endrullis, J. & Zantema, H., 2015, Rewriting Techniques and Applications (26th International Conference, RTA'15, Warsaw, Poland, June 29-July 3, 2015). Fernández, M. (ed.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 160-176 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 36).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
9 Citations (Scopus)
24 Downloads (Pure)

Proving termination of graph transformation systems using weighted type graphs over semirings

Bruggink, H. J. S., König, B., Nolte, D. & Zantema, H., 2015, Graph Transformation (8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings). Parisi-Presicce, F. & Westfechtel, B. (eds.). Cham: Springer, p. 52-68 (Lecture Notes in Computer Science; vol. 9151).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
3 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 proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

The degree of squares is an atom

Endrullis, J., Grabmayer, C. A., Hendriks, D. & Zantema, H., 2015, Combinatorics on Words: 10th International Conference, WORDS 2015. Amsterdam: Springer, p. 109-121 13 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Transforming cycle rewriting into string rewriting

Sabel, D. & Zantema, H., 2015, Rewriting Techniques and Applications (26th International Conference, RTA'15, Warsaw, Poland, June 29-July 3, 2015). Fernández, M. (ed.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 285-300 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 36).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)

Using SMT for solving fragments of parameterised Boolean equation systems

Koolen, R. P. J., Willemse, T. A. C. & Zantema, H., 2015, Automated Technology for Verification and Analysis (13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015). Finkbeiner, B., Pu, G. & Zhang, L. (eds.). Springer, p. 14-30 (Lecture Notes in Computer Science; vol. 9364).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
5 Downloads (Pure)
2014

A type system for continuation calculus

Geuvers, J. H., Geraedts, W., Geron, B. & Stegeren, van, J., 2014, Fifth International Workshop on Classical Logic and Computation (Vienna, Austria, July 13, 2014). Oliva, P. (ed.). EPTCS, p. 1-17 (Electronic Proceedings in Theoretical Computer Science; vol. 164).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Developing corpus-based translation methods between informal and formal mathematics : project description

Kaliszyk, C., Urban, J., Vyskocil, J. & Geuvers, J. H., 2014, Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings). Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Berlin: Springer, p. 435-439 (Lecture Notes in Computer Science; vol. 8543).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)

Implicit assumptions in a model for separation kernels

Verbeek, F., Schmaltz, J., Tverdyshev, S., Blasum, H. & Havle, O., 2014, 2nd VeriSure Workshop (Vienna, Austria, July 23, 2014; part of FLoC). s.l.: s.n.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Inference of channel types in micro-architectural models of on-chip communication networks

Gastel, van, B., Verbeek, F. & Schmaltz, J., 2014, 22nd IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SOC'14, Playa del Carmen, Mexico, October 6-8, 2014). Garcia, L. (ed.). Institute of Electrical and Electronics Engineers, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Liveness analysis for parameterised Boolean equation systems

Keiren, J. J. A., Wesselink, J. W. & Willemse, T. A. C., 2014, Automated Technology for Verification and Analysis (12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014). Cassez, F. & Raskin, J-F. (eds.). Berlin: Springer, p. 219-234 (Lecture Notes in Computer Science; vol. 8837).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

On the complexity of input output conformance testing

Noroozi, N., Mousavi, M. R. & Willemse, T. A. C., 2014, Formal Aspects of Component Software (10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers). Fiadeiro, J. L., Liu, Z. & Xue, J. (eds.). Berlin: Springer, p. 291-309 (Lecture Notes in Computer Science; vol. 8348).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
4 Citations (Scopus)
74 Downloads (Pure)

On the random structure of behavioural transition systems

Groote, J. F., van der Hofstad, R. W. & Raffelsieper, M., 2014, 14th International Workshop on Automated Verification of Critical Systems (AVOCS14, Enschede, The Netherlands, September 24-26, 2014. Pre-proceedings). Huisman, M. & Pol, van de, J. C. (eds.). CTIT, p. 141-156 (CTIT Workshop Proceedings Series; vol. WP 14-01).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
71 Downloads (Pure)

On two models of noninterference: Rushby and Greve, Wilding, and Vanfleet

Garcia Ramirez, A., Schmaltz, J., Verbeek, F., Langenstein, B. & Blasum, H., 2014, 33rd International Conference on Computer Safety, Reliability and Security (SafeComp'14, Firenze, Italy, September 10-12, 2014). Bondavalli, A. & Di Giandomenico, F. (eds.). Berlin: Springer, p. 246-261 (Lecture Notes in Computer Science; vol. 8666).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Property specification made easy : harnessing the power of model checking in UML designs

Remenska, D., Willemse, T. A. C., Templon, J. A., Verstoep, K. & Bal, H. E., 2014, Formal Techniques for Distributed Objects, Components and Systems (34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings). Ábrahám, E. & Palamidessi, C. (eds.). Berlin: Springer, p. 17-32 (Lecture Notes in Computer Science; vol. 8461).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Scalable liveness verification for communication fabrics

Joosten, S. J. C. & Schmaltz, J., 2014, Design, Automation and Test in Europe (DATE 2014, Dresden, Germany, March 24-28, 2014). EDAA, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

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 proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Termination analysis for graph transformation systems

Bruggink, H. J. S., König, B. & Zantema, H., 2014, Theoretical Computer Science (8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings). Diaz, J., Lanese, I. & Sangiorgi, D. (eds.). Berlin: Springer, p. 179-194 (Lecture Notes in Computer Science; vol. 8705).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
2 Downloads (Pure)

Termination of cycle rewriting

Zantema, H., König, B. & Bruggink, H. J. S., 2014, Rewriting and Typed Lambda Calculi (Joint International Conference, RTA-TLCA 2014, Vienna, Austria, July 14-17, 2014. Proceedings). Dowek, G. (ed.). Berlin: Springer, p. 476-490 (Lecture Notes in Computer Science; vol. 8560).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)

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 proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)
3 Downloads (Pure)

Using Isabelle/HOL to develop and maintain separation invariants for an operating system

Blasum, H., Havle, O., Langenstein, B., Nemouchi, Y., Schmaltz, J., Stephan, W., Tverdyshev, S., Verbeek, F. & Wolff, B., 2014, Isabelle Workshop (Vienna, Austria, July 13, 2014; part of FLoC).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 proceedingConference contributionAcademicpeer-review

26 Citations (Scopus)
1 Downloads (Pure)

WickedXmas : designing and verifying on-chip communication fabrics

Joosten, S. J. C., Verbeek, F. & Schmaltz, J., 2014, Proceedings of the 3rd International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS'14, Lausanne, Switzerland, October 20, 2014). p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
10 Citations (Scopus)
108 Downloads (Pure)
2013

Analysis of path planning algorithms : a formal verification-based approach

Khabbaz Saberi, A., Groote, J. F. & Keshishzadeh, S., 2013, Advances in Artificial Life - ECAL 2013 (Proceedings of the 12th European Conference on the Synthesis and Simulation of Living Systems, Taormina, Italy, September 2-6, 2013). Liò, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, p. 232-239

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)

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 proceedingConference contributionAcademicpeer-review

89 Citations (Scopus)
1 Downloads (Pure)

Communicating formal proofs : the case of Flyspeck

Tankink, C., Kaliszyk, C., Urban, J. & Geuvers, J. H., 2013, Interactive Theorem Proving (4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings). Blazy, S., Paulin-Mohring, C. & Pichardie, D. (eds.). Berlin: Springer, p. 451-456 (Lecture Notes in Computer Science; vol. 7998).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Continuation calculus

Geron, B. & Geuvers, J. H., 2013, Proceedings First Workshop on Control Operators and their Semantics (COS'13, Eindhoven, The Netherlands, June 24-25, 2013). de'Liguoro, U. & Saurin, A. (eds.). EPTCS, p. 66-85 (Electronic Proceedings in Theoretical Computer Science; vol. 127).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
40 Downloads (Pure)

Decomposability in input output conformance testing

Noroozi, N., Mousavi, M. R. & Willemse, T. A. C., 2013, Proceedings Eigth Workshop on Model-Based Testing (Rome, Italy, March 17, 2013). Petrenko, A. K. & Schlingloff, H. (eds.). EPTCS, p. 51-66 (Electronic Proceedings in Theoretical Computer Science; vol. 111).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Explicit convertibility proofs in pure type systems

Doorn, van, F., Geuvers, J. H. & Wiedijk, F., 2013, Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice (LFMTP'13, Boston MA, USA, September 23, 2013; in conjunction with ICFP'13). New York NY: Association for Computing Machinery, Inc, p. 25-36

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
2 Downloads (Pure)

Formal mathematics on display : a wiki for Flyspeck

Tankink, C., Kaliszyk, C., Urban, J. & Geuvers, J. H., 2013, Intelligent Computer Mathematics (MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings). Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 152-167 (Lecture Notes in Computer Science; vol. 7961).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)

From UML to process algebra and back : an automated approach to model-checking software design artifacts of concurrent systems

Remenska, D., Templon, J. A., Willemse, T. A. C., Homburg, P., Verstoep, K., Casajus, A. & Bal, H. E., 2013, NASA Formal Methods (5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings). Brat, G., Rungta, N. & Venet, A. (eds.). Berlin: Springer, p. 244-260 (Lecture Notes in Computer Science; vol. 7871).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Proof graphs for parameterised Boolean equation systems

Cranen, S., Willemse, T. A. C. & Luttik, S. P., 2013, CONCUR 2013 - Concurrency Theory (24th International Conference on Concurrency Theory, Buenos Aires, Argentina, August 27-30, 2013. Proceedings). D'Argenio, P. R. & Melgratti, H. (eds.). Berlin: Springer, p. 470-484 (Lecture Notes in Computer Science; vol. 8052).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
2 Downloads (Pure)

Relaxation of 3-partition instances

Joosten, S. J. C. & Zantema, H., 2013, 12th Cologne-Twente Workshop on Graphs and Combinatorial Optimization (Enschede, Netherlands, May 21-23, 2013). Cornelissen, K., Hoeksma, R., Hurink, J. & Manthey, B. (eds.). p. 133-136 (CTIT Workshop Proceedings Series; vol. WP 13-01).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
30 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 proceedingConference contributionAcademic

3 Downloads (Pure)

Zielonka's recursive algorithm : dull, weak and solitaire games and tighter bounds

Gazda, M. W. & Willemse, T. A. C., 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification (Borca di Cadore, Dolomites, Italy, August 29-31, 2013). Puppis, G. & Villa, T. (eds.). EPTCS, p. 7-20 (Electronic Proceedings in Theoretical Computer Science; vol. 119).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2012

A cure for stuttering parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2012, Theoretical Aspects of Computing – ICTAC 2012 (9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings). Roychoudhury, A. & D'Souza, M. (eds.). Berlin: Springer, p. 198-212 (Lecture Notes in Computer Science; vol. 7521).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)

Analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Hwong, Y. L., Kusters, V. J. J. & Willemse, T. A. C., 2012, Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 174-189 (Lecture Notes in Computer Science; vol. 7141).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Analysis of DIRAC's behavior using model checking with process algebra

Remenska, D., Templon, J. A., Willemse, T. A. C., Bal, H. E., Verstoep, K., Fokkink, W. J., Charpentier, P., Graciani Diaz, R., Lanciotti, E., Roiser, S. & Ciba, K., 2012, International Conference on Computing in High Energy and Nuclear Physics 2012 (CHEP2012, New York NY, USA, May 21-25, 2012)). p. 052061/1-10 (Journal of Physics: Conference Series; vol. 396(5)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Analyzing a controller of a power distribution unit using formal methods

Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2012, Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012, Montreal, Canada, April 17-21, 2012). Institute of Electrical and Electronics Engineers, p. 420-428

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

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 proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Cinderella versus the Wicked Stepmother

Bodlaender, M. H. L., Hurkens, C. A. J., Kusters, V. J. J., Staals, F., Woeginger, G. J. & Zantema, H., 2012, Theoretical Computer Science (7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings). Baeten, J. C. M., Ball, T. & Boer, de, F. S. (eds.). Berlin: Springer, p. 57-71 (Lecture Notes in Computer Science; vol. 7604).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
2 Downloads (Pure)

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 proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)

Consistent consequence for Boolean equation systems

Gazda, M. W. & Willemse, T. A. C., 2012, SOFSEM 2012: Theory and Practice of Computer Science (38th Conference on Currents Trends, Spindleruv Mlyn, Czech Republic, January 21-27, 2012. Proceedings). Bieliková, M., Friedrich, G., Gottlob, G., Katzenbeisser, S. & Turán, G. (eds.). Berlin: Springer, p. 277-288 (Lecture Notes in Computer Science; vol. 7147).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

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 proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Dogfooding the structural operational semantics of mCRL2

Stappers, F. P. M., Reniers, M. A., Groote, J. F. & Weber, S., 2012, 2012 IEEE 35th Software Engineering Workshop (SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012). Institute of Electrical and Electronics Engineers, p. 90-99

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (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 proceedingConference contributionAcademicpeer-review

23 Citations (Scopus)

Experience report on designing and developing control components using formal methods

Osaiweran, A. A. H., Fransen, T., Groote, J. F. & Rijnsoever, van, B. J., 2012, FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings). Giannakopolou, D. & Méry, D. (eds.). Berlin: Springer, p. 341-355 (Lecture Notes in Computer Science; vol. 7436).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)