• 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
2006

Compositionality of security protocols : a research agenda

Cremers, C. J. F., 2006, Proceedings of the First International Workshop on Views on Designing Complex Architectures (VODCA 2004, Bertinoro, Italy, September 11-12, 2004). Beek, ter, M. & Gadducci, F. (redactie). blz. 99-110 (Electronic Notes in Theoretical Computer Science; vol. 142(3)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)

Conditionals in algebraic process calculi

Middelburg, C. A., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (redactie). blz. 237-241 (Electronic Notes in Theoretical Computer Science; vol. 162).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Cooperation-based invariants for OO languages

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2006, Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS'05, Macao, October 24-25, 2005). Liu, Z. & Barbosa, L. (redactie). blz. 225-237 (Electronic Notes in Theoretical Computer Science; vol. 160).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Deriving simulators for hybrid Chi models

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, Proceedings 2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD, Munich, Germany, October 4-6, 2006). Institute of Electrical and Electronics Engineers, blz. 42-49

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

Discretization of timed automata in Timed µCRL à la regions and zones

Groote, J. F., Reniers, M. A. & Usenko, Y. S., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (redactie). blz. 197-202 (Electronic Notes in Theoretical Computer Science; vol. 162).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Distributed extended beam search for quantitative model checking

Wijs, A. J. & Lisser, B., 2006, Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence. Edelkamp, S. & Lomuscio, A. (redactie). Heidelberg: Springer, blz. 166-184 (Lecture Notes in Artificial Intelligence; vol. 4428).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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. (redactie). Berlin: Springer, blz. 47-62 (Lecture Notes in Computer Science; vol. 4054).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (Scopus)

Feasibility of multi-protocol attacks

Cremers, C. J. F., 2006, Proceedings of the First International Conference in Availability, Reliability and Security (ARES, Vienna, Austria, April 20-22, 2006). IEEE Computer Society, blz. 287-294

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

25 Citaten (Scopus)

Formalising receipt-freeness

Jonker, H. L. & Vink, de, E. P., 2006, Information Security (Proceedings 9th International Conference, ISC 2006, Samos, Greece, August 30-September 2, 2006). Katsikas, S. K., Lopez, J., Backes, M., Gritzalis, S. & Preneel, B. (redactie). Berlin: Springer, blz. 476-488 (Lecture Notes in Computer Science; vol. 4176).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Downloads (Pure)

Formal verification of Chi models using PHAVer (extended version)

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM. Troch, I. & Breitenecker, F. (redactie). Vienna: ARGESIM

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Downloads (Pure)

Formal verification of SystemC^FL specifications using model checker SPIN

Man, K. L., 2006, Proceedings of the 5th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (MINO'06, Prague, Czech Republic, March 12-14, 2006). blz. ...-...

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Forward secure communication in wireless sensor networks

Mauw, S., Vessem, van, I. & Bos, B., 2006, Security in Pervasive Computing (Proceedings of the Third International Conference, SPC'06, York, UK, April 18-21, 2006). Clark, J. A. & et al., X. (redactie). Berlin: Springer, blz. 32-42 (Lecture Notes in Computer Science; vol. 3934).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Foundations of attack trees

Mauw, S. & Oostdijk, M. D., 2006, Information Security and Cryptology - ICISC 2005 (8th International Conference, Seoul, Korea, December 1-2, 2005, Revised selected papers). Won, D. & Kim, S. (redactie). Berlin: Springer, blz. 186-198 (Lecture Notes in Computer Science; vol. 3935).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

251 Citaten (Scopus)

From µCRL to mCRL2 : motivation and outline

Groote, J. F., Mathijssen, A. H. J., Weerdenburg, van, M. J. & Usenko, Y. S., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (redactie). blz. 191-196 (Electronic Notes in Theoretical Computer Science; vol. 162).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)
1 Downloads (Pure)

Hybrid input-output conformance and test generation

Osch, van, M. P. W. J., 2006, Formal Approaches to Testing and Runtime Verification (First Combined International Workshops FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006, Revised selected papers). Havelund, K., Núñez, M., Rosu, G. & Wolff, B. (redactie). Berlin: Springer, blz. 70-84 (Lecture Notes in Computer Science; vol. 4262).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

22 Citaten (Scopus)

Lumping Markov chains with silent steps

Markovski, J. & Trcka, N., 2006, Proceedings 3rd International Conference on the Quantitative Evaluation of Systems (QEST'06, Riverside CA, USA, September 11-14, 2006). Los Alamitos CA: IEEE Computer Society, blz. 221-230

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Matrix interpretations for proving termination of term rewriting

Endrullis, J., Waldmann, J. & Zantema, H., 2006, Automated reasoning : 3rd international joint conference, IJCAR'06, Seattle WA, USA, August 17-20, 2006 : proceedings. Furbach, U. & Shankar, N. (redactie). Berlin: Springer, blz. 574-588 (Lecture Notes in Computer Science; vol. 4130).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
2 Downloads (Pure)

Multiparty contract signing over a reliable network

Orzan, S. M. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Security and Trust Management (STM'05, Milan, Italy, September 15, 2005). blz. 27-41 (Electronic Notes in Theoretical Computer Science; vol. 157(3)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Nuovo DRM Paradiso : towards a verified fair DRM protocol

Jonker, H. L., Krishnan Nair, S. & Torabi Dashti, M., 2006, Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006). Katholieke Universiteit Leuven

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)

Paradigm as organization-oriented coordination language

Groenewegen, L. P. J., Stam, A. W., Toussaint, P. J. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005, Namur, Belgium, April 23, 2005; in conjunction with Coordination'05). Torre, van der, L. (redactie). blz. 93-113 (Electronic Notes in Theoretical Computer Science; vol. 150).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

Realizability criteria for compositional MSC

Mooij, A. J., Romijn, J. M. T. & Wesselink, J. W., 2006, Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006). Johnson, M. & Vene, V. (redactie). Berlin: Springer, blz. 248-262 (Lecture Notes in Computer Science; vol. 4019).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

Reflections on a geometry of processes

Grabmayer, C. A., Klop, J. W. & Luttik, B., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (redactie). blz. 183-190 (Electronic Notes in Theoretical Computer Science; vol. 162).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Restructuring Paradigm models for the ToolBus architecture : a case study

Stam, A. W., Groenewegen, L. P. J. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005, Namur, Belgium, April 23, 2005; in conjunction with Coordination'05). Brim, L. & Linden, I. (redactie). blz. 127-142 (Electronic Notes in Theoretical Computer Science; vol. 150(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Six themes for future concurrency research

Baeten, J. C. M. & Bergstra, J. A., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (redactie). blz. 61-64 (Electronic Notes in Theoretical Computer Science; vol. 162).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Some remarks on definability of process graphs

Grabmayer, C. A., Klop, J. W. & Luttik, B., 2006, CONCUR 2006 - Concurrency Theory (Proceedings 17th International Conference, Bonn, Germany, August 27-30, 2006). Baier, C. & Hermanns, H. (redactie). Berlin: Springer, blz. 16-36 (Lecture Notes in Computer Science; vol. 4137).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Termination of extended string rewriting

Zantema, H., 2006, Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006). Geser, A. & Sondergaard, H. (redactie). blz. 44-48

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)

The termination competition 2006

Marché, C. & Zantema, H., 2006, Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006). Geser, A. & Sondergaard, H. (redactie). S.l.: Computing Research Repository, blz. 32-38

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

2 Downloads (Pure)

Time abstraction in timed µCRL à la regions

Groote, J. F., Reniers, M. A. & Usenko, Y. S., 2006, Proceedings 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 25-29, 2006. Los Alamitos, USA: Institute of Electrical and Electronics Engineers, blz. 1-8

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Verifying Chi models of industrial systems with Spin

Trcka, N., 2006, Formal Methods and Software Engineering (Proceedings 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006). Liu, Z. & He, Z. (redactie). Berlin: Springer, blz. 132-148 (Lecture Notes in Computer Science; vol. 4260).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

What is algebraic in process theory?

Luttik, B., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (redactie). blz. 227-231 (Electronic Notes in Theoretical Computer Science; vol. 162).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
2005

A generic process algebra

Baeten, J. C. M. & Bravetti, M., 2005, Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005 / ed. Luca Aceto, Andrew D. Gordon. Aarhus: University of Aarhus, blz. 24-29 (BRICS Notes Series; vol. NS-05-3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

A ground-complete axiomatization of finite state processes in process algebra

Baeten, J. C. M. & Bravetti, M., 2005, CONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005). Abadi, M. & de Alfaro, L. (redactie). Berlin: Springer, blz. 248-262 (Lecture Notes in Computer Science; vol. 3653).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)

Analysing the BKE-security protocol with µCRL

Blom, S. C. C., Groote, J. F., Mauw, S. & Serebrenik, A., 2005, Proceedings 6th AMAST Workshop on Real-Time Systems (ARTS2004, Stirling, UK, July 12, 2004). blz. 49-90 (Electronic Notes in Theoretical Computer Science; vol. 139(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

A state space distribution policy based on abstract interpretation

Orzan, S. M., Pol, van de, J. C. & Valero Espada, M. A., 2005, Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004). Brim, L. & Leucker, M. (redactie). blz. 35-45 (Electronic Notes in Theoretical Computer Science; vol. 128(3)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)

A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems

Groote, J. F. & Keinänen, M. K., 2005, Theoretical aspects of computing : second International colloquium, ICTAC 2005, Hanoi, Vietnam, October 17-21, 2005 : proceedings. Hung, D. V. & Wirsing, M. (redactie). Berlin: Springer, blz. 532-545 (Lecture Notes in Computer Science; vol. 3722).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

A syntactic criterion for injectivity of authentication protocols

Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2005, Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05). Degano, P. & Vigano, L. (redactie). blz. 23-38 (Electronic Notes in Theoretical Computer Science; vol. 135(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

A thread algebra with multi-level strategic interleaving

Bergstra, J. A. & Middelburg, C. A., 2005, New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings. Cooper, S. B., Löwe, B. & Torenvliet, L. (redactie). Berlin: Springer, blz. 35-48 14 blz. (Lecture Notes in Computer Science (LNCS); vol. 3526).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Automated model-based testing of simulation models with TorX

Osch, van, M. P. W. J., 2005, Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005). Reussner, R., Mayer, J., Stafford, J. A., Overhage, S., Becker, S. & Schroeder, P. J. (redactie). Berlin: Springer, blz. 227-241 (Lecture Notes in Computer Science; vol. 3712).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Checking secrecy by means of partial order reduction

Cremers, C. J. F. & Mauw, S., 2005, System Analysis and Modelling (4th International SDL and MSC Workshop, SAM'04, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers). Amyot, D. & Williams, A. W. (redactie). Berlin: Springer, blz. 171-188 (Lecture Notes in Computer Science; vol. 3319).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Conditionals in algebraic process calculi

Middelburg, C. A., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3. Aceto, L. & Gordon, A. D. (redactie). Aarhus, Denmark: BRICS, University of Aarhus, blz. 168-171

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Context-free languages via coalgebraic trace semantics

Hasuo, I. & Jacobs, B. P. F., 2005, Algebra and Coalgebra in Computer Science (Proceedings First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005). Fiadeiro, J. L., Harman, N., Roggenbach, M. & Rutten, J. (redactie). Berlin: Springer, blz. 213-231 (Lecture Notes in Computer Science; vol. 3629).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

16 Citaten (Scopus)

Delegation modeling with Paradigm

Groenewegen, L. P. J., Kampenhout, van, N. & Vink, de, E. P., 2005, Coordination Models and Languages (Proceedings 7th International Conference, Coordination 2005, Namur, Belgium, April 20-23, 2005). Jacquet, J. M. & Picco, G. P. (redactie). Berlin: Springer, blz. 94-108 (Lecture Notes in Computer Science; vol. 3454).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Discretization of timed automata in Timed µCRL à la regions and zones

Groote, J. F., Reniers, M. A. & Usenko, Y. S., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3. Aceto, L. & Gordon, A. D. (redactie). Aarhus, Denmark: BRICS, University of Aarhus, blz. 132-136

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Equivalences for silent transitions in probilistic systems

Andova, S. & Willemse, T. A. C., 2005, Proceedings 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004, London, UK, August 30, 2004). Baeten, J. C. M. & Corradini, F. (redactie). blz. 53-66 (Electronic Notes in Theoretical Computer Science; vol. 128(2)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Exploring students' understanding of the concept of algorithm : levels of abstraction

Perrenet, J. C., Groote, J. F. & Kaasenbrood, E. J. S., 2005, Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2005, Monte da Caparica, Portugal, June 27-29, 2005). blz. 64-68 (SIGCSE Bulletin; vol. 37(3)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

28 Citaten (Scopus)

Finding finite automata that certify termination of string rewriting

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2005, Implementation and Application of Automata (Revised Selected Papers, Ninth International Conference, CIAA 2004, Kingston ON, Canada, July 22-24, 2004). Domaratzki, M., Okhotin, A., Salomaa, K. & Yu, S. (redactie). Berlin: Springer, blz. 134-145 (Lecture Notes in Computer Science; vol. 3317).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
2 Downloads (Pure)

Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory

Wesselink, J. W., Goga, N., Mooij, A. J. & Spronk, R., 2005, Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005. Institute of Electrical and Electronics Engineers, blz. 1656-1659

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Formal verification of Chi models using PHAVer

Man, K. L. & Schiffelers, R. R. H., 2005, IFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005). Romijn, J. M. T., Smith, G. & Pol, van de, J. C. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 39-48 (Computer Science Reports; vol. 05-29).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
28 Downloads (Pure)

From µCRL to mCRL2 : motivation and outline

Groote, J. F., Mathijssen, A. H. J., Weerdenburg, van, M. J. & Usenko, Y. S., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (redactie). Aarhus, Denmark: BRICS, University of Aarhus, blz. 126-131 (BRICS Notes Series; vol. NS-05-3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)