• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Conferentiebijdrage
2010

A Wiki for Mizar: motivation, considerations, and initial prototype

Urban, J., Alama, J., Rudnicki, P. & Geuvers, J. H., 2010, Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings). Autexier, S., Calmet, J., Delahaye, D., Ion, P. D. F., Rideau, L., Rioboo, R. & Sexton, A. P. (redactie). Berlin: Springer, blz. 455-469 (Lecture Notes in Computer Science; vol. 6167).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

21 Citaten (Scopus)

Combinatorial problems by termination of rewriting

Zantema, H., 2010, Proceedings 10th International Workshop on Termination (WST'09, Leipzig, Germany, June 3-5, 2009). blz. ...-...

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Downloads (Pure)

Complexity of guided insertion-deletion in RNA-editing

Zantema, H., 2010, Language and Automata Theory and Applications (4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings). Dediu, A. H., Fernau, H. & Martin-Vide, C. (redactie). Berlin: Springer, blz. 608-619 (Lecture Notes in Computer Science; vol. 6031).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)

Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations

Willemse, T. A. C., 2010, CONCUR 2010 - Concurrency Theory (21st International Conference, Paris, France, August 31-September 3, 2010. Proceedings). Gastin, P. & Laroussinie, F. (redactie). Berlin: Springer, blz. 584-598 (Lecture Notes in Computer Science; vol. 6269).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
1 Downloads (Pure)

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/CongresprocedureConferentiebijdrageAcademicpeer review

22 Citaten (Scopus)

Dynamic coalgebraic modalities

Hansen, H. H. & Leal, R. A., 2010, Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 12-13 (CWI Report; vol. SEN-1004).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
39 Downloads (Pure)

Experience in developing the mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (redactie). blz. 1-3

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
25 Downloads (Pure)

Expressiveness modulo bisimilarity of regular expressions with parallel composition (Extended Abstract)

Baeten, J. C. M., Luttik, S. P., Muller, T. & Tilburg, van, P. J. A., 2010, Expressiveness in Concurrency (17th International Workshop, EXPRESS'10, Paris, France, August 30th, 2010). Fröschle, S. & Valencia, F. D. (redactie). EPTCS, blz. 1-15 (Electronic Proceedings in Theoretical Computer Science; vol. 41).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Generic programming in the mCRL2 toolset

Wesselink, J. W., Wulp, van der, J. & Keiren, J. J. A., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (redactie). blz. 1-3

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
40 Downloads (Pure)

GPU-PRISM : an extension of PRISM for general purpose graphics processing units

Bosnacki, D., Edelkamp, S., Sulewski, D. & Wijs, A. J., 2010, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification / 2010 Second International Workshop on High Performance Computational Systems Biology. Washington: Institute of Electrical and Electronics Engineers, blz. 17-19

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (Scopus)

Halting still standing - Programs versus specifications

Huizing, C., Kuiper, R. & Verhoeff, T., 2010, Unifying Theories of Programming (Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings). Qin, S. (redactie). Berlin: Springer, blz. 226-233 (Lecture Notes in Computer Science; vol. 6445).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)

Hierarchical states in the compositional interchange format

Beohar, H., Nadales Agut, D. E., Beek, van, D. A. & Cuijpers, P. J. L., 2010, Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010). Aceto, L. & Sobocinski, P. (redactie). blz. 42-56 (Electronic Proceedings in Theoretical Computer Science; vol. 32).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Order-independence of vector-based transition systems

Raffelsieper, M., Mousavi, M. R. & Zantema, H., 2010, Proceedings 10th International Conference on Application of Concurrency to System Design (ACSD'10, Braga, Portugal, June 21-25, 2010). IEEE Computer Society, blz. 115-123

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Pointwise extensions of GSOS-defined operations

Hansen, H. H. & Klin, B., 2010, Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010). Jacobs, B. P. F., Niqui, M., Rutten, J. J. M. M. & Silva, A. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 10-11 (CWI Report; vol. SEN-1004).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
18 Citaten (Scopus)
96 Downloads (Pure)

Proving productivity in infinite data structures

Zantema, H. & Raffelsieper, M., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010, Edinburgh, Scotland, July 11-13, 2010). Lynch, C. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 401-416 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 6).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)
2 Downloads (Pure)

Proviola: a tool for proof re-animation

Tankink, C., Geuvers, J. H., McKinna, J. & Wiedijk, F., 2010, Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings). Autexier, S., Calmet, J., Delahaye, D., Ion, P. D. F., Rideau, L., Rioboo, R. & Sexton, A. P. (redactie). Berlin: Springer, blz. 440-454 (Lecture Notes in Computer Science; vol. 6167).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)
2 Downloads (Pure)

Pure type systems without explicit contexts

Geuvers, J. H., Krebbers, R., McKinna, J. & Wiedijk, F., 2010, Proceedings of the 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2010, Edinburgh, UK, July 14, 2010). Crary, K. & Miculan, M. (redactie). EPTCS, blz. 53-67 (Electronic Proceedings in Theoretical Computer Science; vol. 34).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Reconciling urgency and variable abstraction in a hybrid compositional setting

Beek, van, D. A., Cuijpers, P. J. L., Markovski, J., Nadales Agut, D. E. & Rooda, J. E., 2010, Formal Modeling and Analysis of Timed Systems (8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings). Chatterjee, K. & Henzinger, T. A. (redactie). Berlin: Springer, blz. 47-61 (Lecture Notes in Computer Science; vol. 6246).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Stream productivity by outermost termination

Zantema, H. & Raffelsieper, M., 2010, Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'09, Brasilia, Brazil, June 28, 2009). Fernández, M. (redactie). blz. 83-95 (Electronic Proceedings in Theoretical Computer Science; vol. 15).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
2 Downloads (Pure)

Suitability of mCRL2 for concurrent system design: a 2x2 switch case study

Stappers, F. P. M., Reniers, M. A. & Groote, J. F., 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. (redactie). Berlin: Springer, blz. 166-185 (Lecture Notes in Computer Science; vol. 6286).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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/CongresprocedureConferentiebijdrageAcademicpeer review

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

15 Citaten (Scopus)
2011

Analyzing the effects of formal methods on the development of industrial control software

Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2011, Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, blz. 467-472

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
21 Citaten (Scopus)
106 Downloads (Pure)

An analysis of the control hierarchy modelling of the CMS detector control system

Hwong, Y. L., Willemse, T. A. C. & Kusters, V. J. J., 2011, 18th International Conference on Computing in High Energy and Nuclear Physics (CHEP 2010, Taipei, Taiwan, October 18-22, 2010). blz. 022010/1-6 (Journal of Physics: Conference Series; vol. 331).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

A process-theoretic approach to supervisory control theory

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J. & Rooda, J. E., 2011, Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011). Piscataway: Institute of Electrical and Electronics Engineers, blz. 4496-4501

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

27 Citaten (Scopus)
2 Downloads (Pure)

Automated verification of executable UML models

Hansen, H. H., Ketema, J., Luttik, S. P., Mousavi, M. R., Pol, van de, J. C. & Santos, dos, O. M., 2011, Formal Methods for Components and Objects (FMCO 2010, Graz, Austria, November 29-December 1, 2010. Revised Papers). Aichering, B. K., Boer, de, F. S. & Bonsangue, M. M. (redactie). Berlin: Springer, blz. 225-250 (Lecture Notes in Computer Science; vol. 6957).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)
2 Downloads (Pure)

Bisimulation minimisations for Boolean equation systems

Keiren, J. J. A. & Willemse, T. A. C., 2011, Hardware and Software: Verification and Testing (5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009. Revised selected papers). Namjoshi, K., Zeller, A. & Ziv, A. (redactie). Berlin: Springer, blz. 102-116 (Lecture Notes in Computer Science; vol. 6405).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Computations and interaction

Baeten, J. C. M., Luttik, S. P. & Tilburg, van, P. J. A., 2011, Distributed Computing and Internet Technology (7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings). Natarajan, R. & Ojo, A. (redactie). Berlin: Springer, blz. 35-54 (Lecture Notes in Computer Science; vol. 6536).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)

Folk theorems on the correspondence between state-based and event-based systems

Reniers, M. A. & Willemse, T. A. C., 2011, SOFSEM 2011: Theory and Practice of Computer Science (37th Conference on Currents Trends, Novy Smokovec, Slovakia, January 22-28, 2011. Proceedings). Cerná, I., Gyimóthy, T., Hromkovic, J., Jeffery, K., Kralovic, R., Vukolic, M. & Wolf, S. (redactie). Berlin: Springer, blz. 494-505 (Lecture Notes in Computer Science; vol. 6543).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)

Informed swarm verification of infinite-state systems

Wijs, A. J., 2011, Proceedings of the 13th International Workshop on Verification of Infinite-State Systems, October 10, 2011, Taipei, Taiwan. Sydney: Open Publishing Association, blz. 19-19 (Electronic Proceedings in Theoretical Computer Science; vol. 73).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Learning2Reason

Kühlwein, D., Urban, J., Tsivtsivadze, E., Geuvers, J. H. & Heskes, T., 2011, Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings). Davenport, J. H., Farmer, W. M., Rabe, F. & Urban, J. (redactie). Berlin: Springer, blz. 298-300 (Lecture Notes in Computer Science; vol. 6824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Multi-core nested-depth first search

Laarman, A., Langerak, R., Pol, van de, J. C., Weber, M. & Wijs, A. J., 2011, Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis. Bultan, T. & Hsiung, P-A. (redactie). Heidelberg: Springer, blz. 321-335 (Lecture Notes in Computer Science; vol. 6996).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

28 Citaten (Scopus)
4 Downloads (Pure)

Property-dependent reduction for the modal mu-calculus

Mateescu, R. & Wijs, A. J., 2011, Proceedings of the 18th International SPIN Workshop on Model Checking of Software. Groce, A. & Musuvathi, M. (redactie). Heidelberg: Springer, blz. 2-19 (Lecture Notes in Computer Science; vol. 6823).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Proving equality of streams automatically

Zantema, H. & Endrullis, J., 2011, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011, Novi Sad, Serbia, May 30-June 1, 2011). Schmidt-Schlauß, M. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 393-408 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 10).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
7 Citaten (Scopus)
29 Downloads (Pure)

Reactive Turing machines

Baeten, J. C. M., Luttik, B. & Tilburg, van, P. J. A., 2011, Fundamentals of Computation Theory (18th International Symposium, FCT'11, Oslo, Norway, August 22-25, 2011. Proceedings). Owe, O., Steffen, M. & Telle, J. A. (redactie). Berlin: Springer, blz. 348-359 (Lecture Notes in Computer Science; vol. 6914).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
13 Downloads (Pure)

Semantic graph kernels for automated reasoning

Tsivtsivadze, E., Urban, J., Geuvers, J. H. & Heskes, T., 2011, Proceedings of the Eleventh SIAM International Conference on Data Mining (SDM 2011, Mesa AZ, USA, April 28-30, 2011). Philadelphia PA: Society for Industrial and Applied Mathematics (SIAM), blz. 795-803

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)

Strategy independent reduction lengths in rewriting and binary arithmetic

Zantema, H., 2011, Reduction Strategies in Rewriting and Programming (10th International Workshop, WRS 2011, Novi Sad, Serbia, May 29, 2011. Informal proceedings). Escobar, S. (redactie). Valencia: Universidad Politechnica de Valencia, blz. 41-45

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
64 Downloads (Pure)

Stuttering mostly speeds up solving parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2011, NASA Formal Methods (Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings). Bobaru, M., Havelund, K., Holzmann, G. J. & Joshi, R. (redactie). Berlin: Springer, blz. 207-221 (Lecture Notes in Computer Science; vol. 6617).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
1 Downloads (Pure)

Synchronizing asynchronous conformance testing

Noroozi, N., Khosravi, R., Mousavi, M. R. & Willemse, T. A. C., 2011, Software Engineering and Formal Methods (9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings). Barthe, G., Pardo, A. & Schneider, G. (redactie). Berlin: Springer, blz. 334-349 (Lecture Notes in Computer Science; vol. 7041).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

The HIVE tool for informed swarm state space exploration

Wijs, A. J., 2011, Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verification. Sydney: Open Publishing Association, blz. 91-98 (Electronic Proceedings in Theoretical Computer Science; vol. 72).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Towards informed swarm verification

Wijs, A. J., 2011, Proceedings of the 3rd NASA Formal Methods Symposium. Bobaru, M. (redactie). Heidelberg: Springer, blz. 422-437

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
1 Citaat (Scopus)
61 Downloads (Pure)
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. (redactie). Berlin: Springer, blz. 198-212 (Lecture Notes in Computer Science; vol. 7521).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (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. (redactie). Berlin: Springer, blz. 174-189 (Lecture Notes in Computer Science; vol. 7141).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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)). blz. 052061/1-10 (Journal of Physics: Conference Series; vol. 396(5)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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, blz. 420-428

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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. (redactie). EPTCS, blz. 23-43 (Electronic Proceedings in Theoretical Computer Science; vol. 93).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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. (redactie). Berlin: Springer, blz. 57-71 (Lecture Notes in Computer Science; vol. 7604).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (Scopus)
2 Downloads (Pure)