Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2012

    On the organisation of program verification competitions

    Huisman, M., Klebanov, V. & Monahan, R., Jun 2012, 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012). Klebanov, V., Beckert, B., Biere, A. & Sutcliffe, G. (eds.). Aachen: Sun SITE Central Europe, p. 50-59 10 p. (CEUR-WS Proceedings; vol. 873).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    7 Citations (Scopus)
    54 Downloads (Pure)

  • Pattern-Based Graph Abstraction

    Rensink, A. & Zambon, E., Sept 2012, International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer, p. 66-80 15 p. (Lecture Notes in Computer Science; vol. 7562).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    11 Citations (Scopus)
    91 Downloads (Pure)

  • Preface

    Stoelinga, M., Feb 2012, Proceedings of the 17th Dutch Testing Day: Testing Evolvability. Stoelinga, M. & Timmer, M. (eds.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 3-3 1 p. (CTIT Workshop Proceedings Series; no. WP12-01).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    21 Downloads (Pure)

  • Quantitative modelling and analysis

    Katoen, J.-P. & Larsen, K. G., 2012, Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin, Heidelberg: Springer, p. 290-292 3 p. (Lecture Notes in Computer Science; vol. 7610).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    10 Downloads (Pure)

  • Quantitative timed analysis of interactive Markov chains

    Guck, D., Han, T., Katoen, J.-P. & Neuhäußer, M. R., Apr 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (eds.). Berlin: Springer, p. 8-23 15 p. (Lecture Notes in Computer Science; vol. 7226).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    40 Citations (Scopus)
    139 Downloads (Pure)

  • Real-time Java API Specifications for High Coverage Test Generation

    Ahrendt, W., Mostowski, W. & Paganelli, G., Oct 2012, JTRES '12: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012). New York, NY: Association for Computing Machinery, p. 145-154 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    13 Citations (Scopus)
    5 Downloads (Pure)

  • Reinterpreting Compression in Infinitary Rewriting

    Ketema, J., May 2012, Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012). Tiwari, A. (ed.). Dagstuhl, Germany: Dagstuhl, p. 209-224 16 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 15).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    7 Citations (Scopus)
    52 Downloads (Pure)

  • Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification

    Huisman, M. & Ngo, M. T., 2012, 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), Revised Selected Papers. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin: Springer, p. 178-195 18 p. (Lecture Notes in Computer Science; vol. 7421).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    10 Citations (Scopus)
    57 Downloads (Pure)

  • Sound Control-Flow Graph Extraction for Java Programs with Exceptions

    Amighi, A., de Carvalho Gomes, P., Gurov, D. & Huisman, M., Oct 2012, 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). Eleftherakis, G., Hinchey, M. & Holcombe, M. (eds.). Berlin: Springer, p. 33-47 15 p. (Lecture Notes in Computer Science; vol. 7504).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    13 Citations (Scopus)
    63 Downloads (Pure)

  • SpinS: Extending LTSmin with Promela through SpinJa

    van der Berg, F. I. & Laarman, A., 17 Sept 2012, 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012. Heljanko, K. & Knottenbelt, W. J. (eds.). Amsterdam: Open Publishing Association, p. 95-105 8 p. (Electronic Notes in Theoretical Computer Science; vol. 296).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    11 Citations (Scopus)
    287 Downloads (Pure)

  • Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

    Stokkink, G., Timmer, M. & Stoelinga, M., 25 Mar 2012, Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012). Petrenko, A. K. & Schlingloff, H. (eds.). Australia: Open Publishing Association, p. 73-87 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 80).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    10 Citations (Scopus)
    128 Downloads (Pure)

  • The COST IC0701 Verification Competition 2011

    Bormer, T., Brockschmidt, M., Distefano, D., Ernst, G., Filliâtre, J.-C., Grigore, R., Huisman, M., Klebanov, V., Marché, C., Monahan, R., Mostowski, W., Poiikarpova, N., Scheben, C., Schellhorn, G., Tofan, B., Tschannen, J. & Ulbrich, M., 2012, Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin, Heidelberg: Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 7421).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    25 Citations (Scopus)
    59 Downloads (Pure)

  • The VerCors Project: Setting Up Basecamp

    Amighi, A., Blom, S., Huisman, M. & Zaharieva, M., 24 Jan 2012, Sixth Workshop Programming Languages meets Program Verification (PLPV 2012). New York: Association for Computing Machinery, p. 71-82 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    14 Citations (Scopus)
    11 Downloads (Pure)

  • Tight complexity bounds for FPT subgraph problems parameterized by clique-width

    Broersma, H. J., Golovach, P. A. & Patel, V., 2012, Parameterized and Exact Computation: 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers. Marx, D. & Rossmanith, P. (eds.). London: Springer, p. 207-218 12 p. (Lecture Notes in Computer Science; vol. 7112).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    3 Citations (Scopus)
    74 Downloads (Pure)

  • Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time

    Hansen, H. & Timmer, M., 1 Apr 2012, 10th Workshop on Quantitative Aspects of Programming Languages (QAPL 2012). Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    50 Downloads (Pure)
  • 2011

    Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus

    Grathwohl, N. B. B., Ketema, J., Pallesen, J. D. & Simonsen, J. G., May 2011, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Dagstuhl, Germany: Dagstuhl, p. 61-70 10 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 10).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    1 Citation (Scopus)
    141 Downloads (Pure)

  • A Parallel Compact Hash Table

    van der Vegt, S. & Laarman, A., 7 Oct 2011, Proceedings of Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011. Vojnar, T. (ed.). London: Springer, p. 191-204 14 p. (Lecture Notes in Computer Science; vol. 7119).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    9 Citations (Scopus)
    661 Downloads (Pure)

  • Automated Verification of Executable UML Models

    Hansen, H. H., Ketema, J., Luttik, B., Mousavi, M., van de Pol, J. C. & Marchi dos Santos, O., Nov 2011, Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010. Revised Papers. Berlin: Springer, p. 225-250 26 p. (Lecture Notes in Computer Science; vol. 6957).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    15 Citations (Scopus)
    13 Downloads (Pure)

  • Confluence Reduction for Probabilistic Systems

    Timmer, M., Stoelinga, M. & van de Pol, J., Mar 2011, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011. Abdulla, P. A. & Leino, K. R. M. (eds.). Berlin: Springer, p. 311-325 15 p. (Lecture Notes in Computer Science; vol. 6605).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    13 Citations (Scopus)
    137 Downloads (Pure)

  • Confluence versus Ample Sets in Probabilistic Branching Time

    Hansen, H. & Timmer, M., Sept 2011, Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory. Bollig, B. (ed.). Cachan, France: Ecole normale superieure de Cachan, p. - 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    51 Downloads (Pure)

  • Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost

    Sijtema, M., Stoelinga, M. I. A., Belinfante, A. & Marinelli, L., Aug 2011, 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011. Salaün, G. & Schätz, B. (eds.). Berlin: Springer, p. 117-133 17 p. (Lecture Notes in Computer Science; vol. 6959).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    194 Downloads (Pure)

  • Knowledge-based Graph Exploration Analysis

    Galvao, I., Zambon, E., Rensink, A., Wevers, L. & Aksit, M., Oct 2011, AGTIVE 2011: Applications of Graph Transformations with Industrial Relevance. Schürr, A., Varró, D. & Varró, G. (eds.). Berlin, Heidelberg: Springer, p. 105-120 16 p. (Lecture Notes in Computer Science; vol. 7233).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

  • Model-checking Secure Information Flow for Multi-Threaded Programs

    Huisman, M. & Blondeel, H.-C., Mar 2011, Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011. Mödersheim, S. & Palamadessi, C. (eds.). Berlin: Springer, p. 148-165 18 p. (Lecture Notes in Computer Science; vol. 6993).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    5 Citations (Scopus)
    91 Downloads (Pure)

  • Modeling of the performance of electrowetting displays

    Vermeulen, P., Feenstra, J., Giraldo, A., Hampton, M. W., Oh, J. M. & Mugele, F. G., 2011, SID symposium digest of technical papers. SID, p. 1573-1576 (1; vol. 42).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    3 Citations (Scopus)

  • Multi-Core LTSmin: Marrying Modularity and Scalability

    Laarman, A., van de Pol, J. C. & Weber, M., Jul 2011, Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011. Bobaru, M., Havelund, K., Holzmann, G. J. & Joshi, R. (eds.). Berlin: Springer, p. 506-511 6 p. (Lecture Notes in Computer Science; vol. 6617).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    37 Citations (Scopus)
    62 Downloads (Pure)

  • Multi-Core Nested Depth-First Search

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    32 Citations (Scopus)
    360 Downloads (Pure)

  • On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach

    Rebelo, H., Coelho, R., Lima, R., Leavens, G. T., Huisman, M., Mota, A. & Castor, F., 26 Jul 2011, Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs, FTfJP 2011. Freund, S. (ed.). New York: Association for Computing Machinery, p. 7:1-7:6 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)
    15 Downloads (Pure)

  • Parallel Recursive State Compression for Free

    Laarman, A., van de Pol, J. C. & Weber, M., 14 Jul 2011, Proceedings of the 18th International SPIN Workshop, SPIN 2011. Groce, A. & Musuvathi, M. (eds.). berlin: Springer, p. 38-56 18 p. (Lecture Notes in Computer Science; vol. 6823).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    114 Downloads (Pure)

  • ProMoVer: Modular Verification of Temporal Safety Properties.

    Soleimanifard, S., Gurov, D. & Huisman, M., Nov 2011, Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). Barthe, G., Pardo, A. & Schneider, G. (eds.). Berlin: Springer, p. 366-381 16 p. (Lecture Notes in Computer Science; vol. 7041).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)
    7 Downloads (Pure)

  • Provably Correct Control-Flow Graphs from Java Programs with Exceptions

    Amighi, A., de Carvalho Gomes, P. & Huisman, M., Oct 2011, Papers the of 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11. Karlsruhe: Karlsruhe Institute of Technology, p. 31-48 18 p. (Karlsruhe Reports in Informatics; vol. 26, no. 26).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    366 Downloads (Pure)

  • Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

    Ghamarian, A. H., de Mol, M. J., Rensink, A. & Zambon, E., Nov 2011, Proceedings of the Fifth Transformation Tool Contest (TTC 2011). van Gorp, P., Mazanek, S. & Rose, L. (eds.). Open Publishing Association, p. 215-222 5 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 74).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    128 Downloads (Pure)

  • SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes

    Timmer, M., Sept 2011, Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. Palamidessi, C. & Riska, A. (eds.). Los Alamitos, USA: IEEE, p. 149-150 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    11 Citations (Scopus)
    191 Downloads (Pure)

  • Solving the TTC 2011 Compiler Optimization Case with GROOVE

    Rensink, A. & Zambon, E., Nov 2011, Proceedings of the Fifth Transformation Tool Contest (TTC 2011). van Gorp, P., Mazanek, S. & Rose, L. (eds.). Open Publishing Association, p. 126-130 5 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 74).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    107 Downloads (Pure)

  • The complexity status of problems related to sparsest cuts

    Bonsma, P. S., Broersma, H. J., Patel, V. & Pyatkin, A., Mar 2011, Proceedings of the 21st International Workshop on Combinatorial Algorithms, IWOCA 2010. Iliopoulos, C. S. & Smyth, W. F. (eds.). Berlin, Heidelberg: Springer, p. 125-135 11 p. (Lecture Notes in Computer Science; vol. 6460).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)
    9 Downloads (Pure)

  • Variations on Multi-Core Nested Depth-First Search

    Laarman, A. & van de Pol, J. C., 14 Jul 2011, Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011. Barnat, J. & Heljanko, K. (eds.). USA: EPTCS, p. 13-28 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 72).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    43 Downloads (Pure)
  • 2010

    Advances in Probabilistic Model Checking

    Katoen, J. P., Jan 2010, 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. Barthe, G. & Hermenegildo, M. (eds.). Berlin: Springer, p. 25-25 1 p. (Lecture Notes in Computer Science; vol. 5944).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    164 Downloads (Pure)

  • A linear process-algebraic format for probabilistic systems with data

    Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE, p. 213-222 10 p. 10.1109/ACSD.2010.18

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    5 Citations (Scopus)
    327 Downloads (Pure)

  • Approximate Model Checking of Stochastic COWS

    Quaglia, P. & Schivo, S., 2010, 5th International Symposium on Trustworthly Global Computing, TGC 2010. Berlin: Springer, p. 335-347 13 p. (Lecture Notes in Computer Science; vol. 6084).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)
    5 Downloads (Pure)

  • Boosting Multi-Core Reachability Performance with Shared Hash Tables

    Laarman, A., van de Pol, J. C. & Weber, M., 20 Oct 2010, Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design. Sharygina, N. & Bloem, R. (eds.). USA: IEEE, p. 247-256 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    61 Downloads (Pure)

  • Compositionality in Graph Transformation

    Rensink, A., Jul 2010, Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Berlin: Springer, p. 309-320 12 p. (Lecture Notes in Computer Science; vol. 6199).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    11 Citations (Scopus)
    9 Downloads (Pure)

  • Confluence reduction for probabilistic systems

    Timmer, M., van de Pol, J. & Stoelinga, M., Sept 2010, Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2010), Paris, France. September, 2010. Eindhoven, The Netherlands: Eindhoven University of Technology, p. 87-90 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    90 Downloads (Pure)

  • CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties

    Huisman, M. & Gurov, D., 2010, Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Beckert, B. & Marche, C. (eds.). Berlin, Heidelberg: Springer, p. 107-121 15 p. (Lecture Notes in Computer Science; vol. 6528).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    10 Citations (Scopus)
    52 Downloads (Pure)

  • Distributed Graph-Based State Space Generation

    Blom, S., Kant, G. & Rensink, A., Sept 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Berlin: European Association of Software Science and Technology (EASST), p. 8 12 p. (Electronic Communications of the EASST; vol. 32, no. WP 10-06).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    2 Citations (Scopus)
    65 Downloads (Pure)

  • Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

    Haverkort, B. R., Kuntz, M., Remke, A., Roolvink, S. & Stoelinga, M. I. A., Jul 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). Los Alamitos, CA: IEEE, p. 419-424 6 p. ( IEEE/IFIP International Conference on Dependable Systems & Networks (DSN); vol. 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    15 Citations (Scopus)
    64 Downloads (Pure)

  • From POOSL to UPPAAL: Transformation and Quantitative Analysis

    Xing, J., Theelen, B. D., Langerak, R., van de Pol, J., Tretmans, J. & Voeten, J. P. M., Jun 2010, 10 International Conference on Application of Concurrency to System Design: proceedings : 21-25 June 2010, Braga, Portugal. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos, CA: IEEE, p. 47-56 10 p. (International Conference on Application of Concurrency to System Design; vol. 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)
    112 Downloads (Pure)

  • Graph Transformationcs (ICGT 2010) - Preface

    Ehrig, H., Rozenberg, G. & Schürr, A., 2010, International Conference on Graph Transformationcs (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schürr, A. (eds.). Berlin: Springer, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 6372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    2 Downloads (Pure)

  • ICGT 2010 Doctoral Symposium [Preface]

    Corradini, A. & de Mol, M. J., Sept 2010, Proceedings of the Fifth Internal Conference on Graph Transformations (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schürr, A. (eds.). Springer, p. 379-380 2 p. (Lecture Notes in Computer Science; vol. 6372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    2 Downloads (Pure)

  • Incremental Pattern Matching in Graph-Based State Space Exploration

    Ghamarian, A. H., Rensink, A. & Jalali, A., 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Enschede: European Association for the Study of Science and Technology, p. 144-154 12 p. (CTIT Workshop Proceedings; no. WP 10-06).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    9 Citations (Scopus)
    67 Downloads (Pure)

  • Interaction Weaknesses of Personal Navigation Devices

    Hipp, M., Schaub, F., Kargl, F. & Weber, M., 11 Nov 2010, Proceedings of the Second International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2010. New York: Association for Computing Machinery, p. 129-136 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    16 Citations (Scopus)
    1 Downloads (Pure)

  • JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution

    Belinfante, A., Mar 2010, Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010. Esparza, J. & Majumdar, R. (eds.). Berlin: Springer, p. 266-270 5 p. (Lecture Notes in Computer Science; vol. 6015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    54 Citations (Scopus)
    242 Downloads (Pure)