• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Vind ons hier
Filter
Conferentiebijdrage

Zoekresultaten

  • Conferentiebijdrage

    On the executability of interactive computation

    Luttik, B. & Yang, F., 2016, Pursuit of the Universal: Proceedings of the 12th Conference on Computability in Europe, Paris, France, June 27 - July 1, 2016 (CiE 2016).. Beckmann, A., Bienvenue, L. & Jonoska, N. (redactie). Springer, blz. 312-322 10 blz. (Lecture Notes in Computer Science; vol. 9709).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)
    1 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. (redactie). CTIT, blz. 141-156 (CTIT Workshop Proceedings Series; vol. WP 14-01).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    74 Downloads (Pure)
  • On tree automata that certify termination of left-linear term rewriting systems

    Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2005, Rewriting Techniques and Applications (Proceedings 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005). Giesl, J. (redactie). Berlin: Springer, blz. 353-367 (Lecture Notes in Computer Science; vol. 3467).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (Scopus)
    2 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. (redactie). Berlin: Springer, blz. 246-261 (Lecture Notes in Computer Science; vol. 8666).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)
    1 Downloads (Pure)
  • On verification challenges at the Large Hadron Collider

    Willemse, T. A. C., 2016, Model checking software: 23rd International Symposium on Model Checking Software, SPIN 2016 Co-located with 19th European Joint Conferences on Theory and Practice of Software, ETAPS 2016; Eindhoven; Netherlands; 7 April 2016 through 8 April 2016. Bošnački, D. & Wijs, A. (redactie). Bern: Springer, Vol. 9641. blz. XI-XIII (Lecture Notes in Computer Science; vol. 9641).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Downloads (Pure)
  • Operational and epistemic approaches to protocol analysis: bridging the gap

    Dechesne, F., Mousavi, M. & Orzan, S. M., 2007, Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007) 15-19 October 2007, Yerevan, Armenia. Dershowitz, N. & Voronkov, A. (redactie). Berlin, Germany: Springer, blz. 226-241 (Lecture Notes in Computer Science; vol. 4790).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    18 Citaten (Scopus)
    95 Downloads (Pure)
  • Operational semantics for coordination in Paradigm

    Groenewegen, L. P. J. & Vink, de, E. P., 2002, Coordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002). Arbab, F. & Talcott, C. (redactie). Berlin: Springer, blz. 191-206 (Lecture Notes in Computer Science; vol. 2315).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (Scopus)
  • Operational semantics of security protocols

    Cremers, C. J. F. & Mauw, S., 2005, Scenarios : Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised selected papers. Leue, S. & Systä, T. J. (redactie). Berlin: Springer, blz. 66-89 24 blz. (Lecture Notes in Computer Science (LNCS); vol. 3466).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    30 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)
  • Over 30 years of process algebra : past, present and future

    Baeten, J. C. M., 2003, Process Algebra : Open Problems and Future Directions. PA '03, Bologna, Italy, 21-25 July, 2003. Aceto, L., Ésik, Z., Fokkink, W. J. & Ingólfsdóttir, A. (redactie). Amsterdam: Elsevier, blz. 7-12 (BRICS notes series).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    2 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)
  • Parameterised anonymity

    Groote, J. F. & Orzan, S. M., 2009, Formal Aspects in Security and Trust (5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008. Revised Selected Papers). Degano, P., Guttman, J. & Martinelli, F. (redactie). Berlin: Springer, blz. 177-191 (Lecture Notes in Computer Science; vol. 5491).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
    1 Downloads (Pure)
  • Parameterised Boolean equation systems (Extended abstract)

    Groote, J. F. & Willemse, T. A. C., 2004, CONCUR 2004 - concurrency theory : proceedings 15th international conference, London, UK, August 31-September 3, 2004. Gardner, P. & Yoshida, N. (redactie). Berlin: Springer, blz. 308-324 (Lecture Notes in Computer Science; vol. 3170).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Parameters in pure type systems

    Bloo, C. J., Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2002, LATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002. Rajsbaum, S. (redactie). Berlin: Springer, blz. 371-385 (Lecture Notes in Computer Science; vol. 2286).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
  • Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

    Neele, T., Willemse, T. A. C. & Wesselink, W., 17 apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (redactie). Springer, blz. 307-324 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • Perceptual evaluation of audiovisual cues for prominence

    Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings 7th Int. Conf. on Spoken Language Processing (Denver CO, USA, 16-20 September 2002). Denver, CO, USA: ISLP, Vol. 3. blz. 1933-11936

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (Scopus)
  • 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/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
  • PINPAS: a tool for power analysis of smartcards

    Hartog, den, J. I., Vink, de, E. P., Verschuren, J. H. S., Vos, de, J. & Wiersma, W. T., 2003, Security and Privacy in the Age of Uncertainty (Proceedings IFIP TC11 18th International Conference on Information Security, SEC2003, Athens Greece, May 26-28, 2003). Gritzalis, D., De Capitani di Vimercati, S., Samarati, P. & Katsikas, S. K. (redactie). Kluwer, blz. 453-457 (IFIP Conference Proceedings; vol. 250).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    15 Citaten (Scopus)
  • Pitch, eyebrows and the perception of focus

    Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings of the Speech Prosody 2002 Conference, Aix-en-Provence, France, April 11-13, 2002. Bel, B. & Marlien, I. (redactie). Aix-en-Provence, France: Laboratoire Parole et Language, blz. 443-446

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • Pitch, eyebrows and the perception of focus speech

    Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings Prosody 2002 (Aix-en-Provence, France, April 2002).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Pitfalls in applying model learning to industrial legacy software

    al Duhaiby, O., Mooij, A., van Wezep, H. & Groote, J. F., 30 okt 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (redactie). Cham: Springer, blz. 121-138 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)
    1 Downloads (Pure)
  • Plug-ins for ISpec

    Gool, van, L. C. M., Jonkers, H. B. M., Luit, E. J., Kuiper, R. & Roubtsov, S. A., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, blz. 35-40

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    Open Access
    Bestand
    40 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)
  • 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, blz. 198-207 10 blz. 7340487

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
  • Process semantics for UML component specifications to assess inheritance

    Roubtsova, E. E. & Kuiper, R., 2003, Proceedings First International Conference on Graph Transformation and Visual Modeling Techniques (GT-VMT'2002, Barcelona, Spain, October 11-12, 2002). blz. 145-159 (Electronic Notes in Theoretical Computer Science; vol. 72).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (Scopus)
  • Programmable temporal isolation through variable-bandwidth servers

    Craciunas, S. S., Kirsch, C. M., Payer, H., Röck, H. & Sokolova, A., 2009, Proceedings Fourth IEEE International Symposium on Industrial Embedded Systems (SIES 2009, Lausanne, Switzerland, July 8-10, 2009). Institute of Electrical and Electronics Engineers, blz. 171-180

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    10 Citaten (Scopus)
    120 Downloads (Pure)
  • 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. (redactie). Berlin: Springer, blz. 470-484 (Lecture Notes in Computer Science; vol. 8052).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    14 Citaten (Scopus)
    2 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)
  • 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. (redactie). Berlin: Springer, blz. 17-32 (Lecture Notes in Computer Science; vol. 8461).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Citaten (Scopus)
    1 Downloads (Pure)
  • 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
    8 Citaten (Scopus)
    29 Downloads (Pure)
  • Proving liveness in ring protocols by termination

    Zantema, H. & Giesl, J., 2003, Proceedings 6th International Workshop on Termination (WST2003, Valencia, Spain, June 13-14, 2003), Technical Report DSIC-II/15/03. Rubio, A. (redactie). Valencia: Universidad Politecnica de Valencia, blz. 16-18

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • Proving liveness with fairness using rewriting

    Koprowski, A. & Zantema, H., 2005, Frontiers of Combining Systems (Proceedings 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005). Gramlich, B. (redactie). Berlin: Springer, blz. 232-247 16 blz. (Lecture Notes in Computer Science (LNCS); vol. 3717)(Lecture Notes in Artificial Intelligence (LNAI); vol. 3717).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (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. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 160-176 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 36).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    13 Citaten (Scopus)
    25 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

    15 Citaten (Scopus)
    2 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. (redactie). Cham: Springer, blz. 52-68 (Lecture Notes in Computer Science; vol. 9151).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (Scopus)
    3 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)
  • Pruning state spaces with extended beam search

    Torabi Dashti, M. & Wijs, A. J., 2007, Proceedings of the 5th International Symposium of Automated Technology for Verification and Analysis. Namjoshi, K. S. (redactie). Heidelberg: Springer, blz. 543-552 (Lecture Notes in Computer Science; vol. 4762).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    8 Citaten (Scopus)
    1 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)
  • 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

    5 Citaten (Scopus)
    13 Downloads (Pure)
  • 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)
  • 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/CongresprocedureConferentiebijdrageAcademicpeer review

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (Scopus)
  • Refinement-aware generation of attack trees

    Gadyatskaya, O., Jhawar, R., Mauw, S., Trujillo-Rasua, R. & Willemse, T. A. C., 2017, Security and Trust Management: 13th International Workshop, STM 2017, Oslo, Norway, September 14–15, 2017, Proceedings. Livraga, G. & Mitchell, C. (redactie). Dordrecht: Springer, blz. 164-179 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10547 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    8 Citaten (Scopus)
  • Refinement of Kripke models for dynamics

    Dechesne, F., Orzan, S. M. & Wang, Y., 2008, Theoretical Aspects of Computing - ICTAC 2008 (5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings). Fitzgerald, J. S., Haxthausen, A. E. & Yenigun, H. (redactie). Berlin: Springer, blz. 111-125 (Lecture Notes in Computer Science; vol. 5160).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 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)
  • Reflections on a geometry of processes

    Grabmayer, C. A., Klop, J. W. & Luttik, B., 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. 118-125

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • Regular expressions in process algebra

    Baeten, J. C. M. & Corradini, F., 2005, Logic in Computer Science (Proceedings Twentieth Annual IEEE Symposium, LICS 2005, Chicago IL, USA, June 26-29, 2005). Los Alamitos: Institute of Electrical and Electronics Engineers, blz. 12-19

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
  • Relating Chi to hybrid automata

    Beek, van, D. A., Jansen, N. G., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2003, Proceedings of the 2003 winter simulation conference : New Orleans, LA, USA, December 7-10, 2003. Vol. 1. Chick, S., Sanchez, P. J., Ferrin, D. & Morrice, D. J. (redactie). Piscataway NJ: Institute of Electrical and Electronics Engineers, blz. 632-640

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
  • Relating Hybrid Chi to other formalisms

    Beek, van, D. A., Rooda, J. E., Schiffelers, R. R. H., Man, K. L. & Reniers, M. A., 2007, Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) 29 November 2005, Eindhoven, The Netherlands. Romijn, J., Smith, G. & Pol, van de, J. (redactie). blz. 85-113 (Electronic Notes in Theoretical Computer Science; vol. 191).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)