Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2010

    Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus

    Ketema, J. & Simonsen, J. G., 11 Apr 2010, Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Blume, M., Kobayashi, N. & Vidal, G. (eds.). Berlin, Heidelberg: Springer, p. 272-287 16 p. (Lecture Notes in Computer Science; vol. 6009).

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

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

  • LTSmin: Distributed and Symbolic Reachability

    Blom, S., van de Pol, J. C. & Weber, M., 9 Jul 2010, Computer Aided Verification. Touili, T., Cook, B. & Jackson, P. (eds.). Berlin: Springer, p. 354-359 6 p. 10.1007/978-3-642-14295-6_31. (Lecture Notes in Computer Science; vol. 6174).

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

    File
    82 Citations (Scopus)
    269 Downloads (Pure)

  • Model Checking Interactive Markov Chains

    Neuhausser, M. & Zhang, L., 1 Apr 2010, 16th International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010. Esparza, J. & Majumdar, R. (eds.). Berlin: Springer, p. 53-68 16 p. (Lecture Notes in Computer Science; vol. 6015).

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

    44 Citations (Scopus)
    2 Downloads (Pure)

  • Neighbourhood Abstraction in GROOVE - Tool Paper

    Rensink, A. & Zambon, E., Jun 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). de Lara, J. & Varro, D. (eds.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 55-61 6 p. (CTIT Workshop Proceedings; no. WP 10-06).

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

    Open Access
    File
    46 Downloads (Pure)

  • On A Graph Formalism for Ordered Edges

    de Mol, M. J. & Rensink, A., 16 Aug 2010, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Küster, J. & Tuosto, E. (eds.). European Association for the Study of Science and Technology, p. - 12 p. (Electronic Communications of the EASST; vol. 29).

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

    File
    1 Citation (Scopus)
    35 Downloads (Pure)

  • Ontological Metamodeling with Explicit Instantiation

    Laarman, A. & Ivanov, I., Jan 2010, Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers. van den Brand, M., Gašević, D. & Gray, J. (eds.). Berlin, Heidelberg: Springer, p. 174-183 10 p. (Lecture Notes in Computer Science; vol. 5969).

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

    Open Access
    File
    18 Citations (Scopus)
    600 Downloads (Pure)

  • Preface

    van de Pol, J. & Weber, M., Sept 2010, Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. van de Pol, J. C., van de Pol, J. C., Weber, M. & Weber, M. (eds.). Berlin: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 6349).

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

    Open Access
    File
    46 Downloads (Pure)

  • Preface

    Ballarini, P. & Barnat, J., 2010, 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi). Piscataway, NJ: IEEE, p. vii-viii 2 p.

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

    Open Access
    File
    64 Downloads (Pure)

  • Procedure-Modular Verification of Control Flow Safety Properties

    Soleimanifard, S., Gurov, D. & Huisman, M., 2010, 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010. New York: Association for Computing Machinery, p. 5:1-5:7 7 p.

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

    File
    3 Citations (Scopus)
    149 Downloads (Pure)

  • Quantitative Verification in Practice

    Haverkort, B. R. H. M., Katoen, J.-P. & Larsen, K. G., 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin: Springer, p. 127-127 1 p. (Lecture Notes in Computer Science; vol. 6416).

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

    Open Access
    File
    21 Downloads (Pure)

  • Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques

    Hüksbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., 2010, Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Méry, D. & Merz, S. (eds.). Berlin, Heidelberg: Springer, p. 183-198 16 p. (Lecture Notes in Computer Science; vol. 6396).

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

    25 Citations (Scopus)
    9 Downloads (Pure)

  • Stability criteria for planar linear systems with state reset

    Polenkova, S., Polderman, J. W. & Langerak, R., 2010, Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems - MTNS 2010. Budapest: Eötvös Loránd University, p. 809-815 7 p.

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

    Open Access
    File
    53 Downloads (Pure)

  • The How and Why of Interactive Markov Chains

    Hermanns, H. & Katoen, J. P., 2010, Symposium on Formal Methods for Components and Objects, FMCO 2009. de Boer, F. S., Bonsangue, S. H. & Leuschel, M. (eds.). Berlin: Springer, p. 311-337 27 p. (Lecture Notes in Computer Science; vol. 6286).

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

    File
    31 Citations (Scopus)
    886 Downloads (Pure)

  • Towards Territorial Privacy in Smart Environments

    Könings, B., Schaub, F., Weber, M. & Kargl, F., Mar 2010, Proceedings of the Intelligent Information Privacy Management Symposium, AAAI Spring Symposium. Stanford, CA, USA: AAAI, p. 113-118 6 p.

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

    File
    11 Citations (Scopus)
    82 Downloads (Pure)

  • UPPAAL in Practice: Quantitative Verication of a RapidIO Network

    Xing, J., Theelen, B. D., Langerak, R., van de Pol, J., Tretmans, J. & Voeten, J. P. M., 18 Oct 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 6416).

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

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

  • Using Graph Transformations and Graph Abstractions for Software Verification

    Zambon, E., Jul 2010, Fifth International Conference on Graph Transformations (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schurr, A. (eds.). Berlin: Springer, p. 416-418 3 p. (Lecture Notes in Computer Science; vol. 6372).

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

    File
    165 Downloads (Pure)

  • Verification of Confidentiality of Multi-threaded Programs

    Ngo, M. T., 1 Oct 2010, IPA PhD Workshop 2010. Veldhoven: IPA, p. - 5 p.

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

    File
    50 Downloads (Pure)

  • V-Tokens for Conditional Pseudonymity in VANETs

    Schaub, F., Kargl, F., Ma, Z. & Weber, M., Apr 2010, IEEE Wireless Communications and Networking Conference (WCNC 2010). Los Alamitos, CA: IEEE, p. 1-6 6 p. (IEEE Wireless Communication and Networking Conference; vol. 2010).

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

    55 Citations (Scopus)
    155 Downloads (Pure)
  • 2009

    Achieving QVTO & ATL Interoperability: An Experience Report on the Realization of a QVTO to ATL Compiler

    Laarman, A., Oct 2009, 1st International Workshop on Model Transformation with ATL, MtATL 2009. Jouault, F. (ed.). Aachen: Sun SITE Central Europe, p. 119-133 15 p. (CEUR Workshop Proceedings).

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

    File
    244 Downloads (Pure)

  • A Formal Connection between Security Automata and JML Annotations

    Huisman, M. & Tamalet, A., 2009, Fundamental Approaches to Software Engineering. Checkik, M. & Wirsing, M. (eds.). Berlin: Springer, p. 340-354 15 p. 10.1007/978-3-642-00593-0_23. (Lecture Notes in Computer Science; vol. 5503).

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

    4 Citations (Scopus)
    1 Downloads (Pure)

  • A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points

    Aksit, M., Rensink, A. & Staijen, T., 2009, AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York: Association for Computing Machinery, p. 39-50 12 p. 10.1145/1509239.1509247

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

    35 Citations (Scopus)
    10 Downloads (Pure)

  • Architectural Availability Analysis of Software Decomposition for Local Recovery

    Boudali, H., Sözer, H. & Stoelinga, M. I. A., 2009, Third IEEE International Conference on Secure Software Integration and Reliability Improvement. Los Alamitos: IEEE, p. 14-22 9 p. 10.1109/SSIRI.2009.10

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

    File
    8 Citations (Scopus)
    62 Downloads (Pure)

  • A Type Graph Model for Java Programs

    Rensink, A. & Zambon, E., 15 Jun 2009, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lee, D., Lopes, A. & Poetzsch-Heffter, A. (eds.). Berlin, Heidelberg: Springer, p. 237-242 6 p. (Lecture Notes in Computer Science; vol. 5522).

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

    2 Downloads (Pure)

  • Automatic Parallelization and Optimization of Programs by Proof Rewriting

    Hurlin, C., 9 Aug 2009, The 16th International Static Analysis Symposium. Palsberg, J. & Su, Z. (eds.). Berlin: Springer, p. 52-68 17 p. 10.1007/978-3-642-03237-0_6. (Lecture Notes in Computer Science; vol. 5673).

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

    7 Citations (Scopus)
    7 Downloads (Pure)

  • BML and Related Tools

    Chrząszcz, J., Huisman, M. & Schubert, A., 2009, Formal Methods for Components and Objects. de Boer, F. S., Bonsangue, M. M. & Madelaine, E. (eds.). London: Springer, p. 278-297 20 p. 10.1007/978-3-642-04167-9_14. (Lecture Notes in Computer Science; vol. 5751).

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

    4 Citations (Scopus)
    32 Downloads (Pure)

  • Comparing Böhm-Like Trees

    Ketema, J., Jun 2009, Rewriting Techniques and Applications: 20th International Conference, RTA 2009. Treinen, R. (ed.). Berlin: Springer, p. 239-254 16 p. 10.1007/978-3-642-02348-4_17. (Lecture Notes in Computer Science; vol. 5595).

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

    5 Citations (Scopus)
    5 Downloads (Pure)

  • Compositional Abstraction of Stochastic Systems

    Katoen, J. P., Klink, D. & Neuhausser, M., 3 Sept 2009, Formal Modeling and Analysis of Timed Systems. Berlin: Springer, p. 195-211 17 p. 10.1007/978-3-642-04368-0_16. (Lecture Notes in Computer Science; vol. 5813).

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

    File
    26 Citations (Scopus)
    288 Downloads (Pure)

  • Compositional Control Synthesis for Partially Observable Systems

    Kuijper, W. & van de Pol, J., Sept 2009, CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings. Bravetti, M. & Zavattaro, G. (eds.). Berlin, Heidelberg: Springer, p. 431-447 17 p. (Lecture Notes in Computer Science; vol. 5710).

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

    Open Access
    File
    8 Citations (Scopus)
    168 Downloads (Pure)

  • Computing Weakest Strategies for Safety Games of Imperfect Information

    Kuijper, W. & van de Pol, J., Mar 2009, Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings. Kowalewski, S. & Philippou, A. (eds.). Berlin, Heidelberg: Springer, p. 92-106 15 p. (Lecture Notes in Computer Science; vol. 5505)(Theoretical Computer Science and General Issues).

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

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

  • Delayed Nondeterminism in Continuous-Time Markov Decision Processes

    Neuhausser, M., Stoelinga, M. I. A. & Katoen, J. P., 27 Mar 2009, Foundations of Software Science and Computational Structures. Berlin: Springer, p. 364-379 16 p. (Lecture Notes in Computer Science; vol. 5504).

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

    40 Citations (Scopus)
    1 Downloads (Pure)

  • DFTSim: A Simulation Tool for Extended Dynamic Fault Trees

    Boudali, H., Nijmeijer, A., Nijmeijer, A. P. & Stoelinga, M. I. A., Mar 2009, Proceedings of the 42nd Annual Simulation Symposium (ANSS 2009). Wainer, G. A., Shaffer, C. A., McGraw, R. M. & Chinni, M. J. (eds.). San Diego: Association for Computing Machinery, p. 31 8 p.

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

    File
    9 Citations (Scopus)
    546 Downloads (Pure)

  • Distributed Branching Bisimulation Minimization by Inductive Signatures

    Blom, S., 13 Dec 2009, Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation. Brim, L. & van de Pol, J. C. (eds.). Australia: Open Publishing Association, p. 32-46 15 p. 10.4204/EPTCS.14.3. (Electronic Proceedings in Theoretical Computer Science; vol. 14).

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

    File
    108 Downloads (Pure)

  • Foreword

    Aldrich, J., Barnett, M., Giannakopoulou, D., Leavens, G. T. & Sharagyna, N., 2009, SAVCBS '09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems. Huisman, M. & Huisman, M. (eds.). New York: Association for Computing Machinery, p. 3-3 1 p.

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

    26 Downloads (Pure)

  • Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008

    Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G. T., Müller, P. & Wrigstad, T., 2009, Object-Oriented Technology. ECOOP 2008 Workshop Reader. Eugster, P. (ed.). Berlin: Springer, p. 70-76 7 p. 10.1007/978-3-642-02047-6_8. (Lecture Notes in Computer Science; vol. 5475).

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

    13 Downloads (Pure)

  • Graph-Based Specification and Simulation of Featherweight Java with Around Advice

    Staijen, T. & Rensink, A., Mar 2009, FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages. New York: Association for Computing Machinery, p. 25-30 6 p. 10.1145/1509837.1509844

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

    3 Downloads (Pure)

  • Interpreting a Successful Testing Process: Risk and Actual Coverage

    Stoelinga, M. I. A. & Timmer, M., Jul 2009, Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). Chin, W. N. & Qin, S. (eds.). Los Alamitos: IEEE, p. 251-258 8 p.

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

    10 Downloads (Pure)

  • Maximizing System Lifetime by Battery Scheduling

    Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C. & Katoen, J. P., 29 Jun 2009, Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE, p. 63-72 10 p.

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

    File
    31 Citations (Scopus)
    254 Downloads (Pure)

  • Memoised Garbage Collection for Software Model Checking

    Nguyen, V. Y. & Ruys, T. C., Mar 2009, Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings. Kowalewski, S. & Philippou, A. (eds.). Berlin, Heidelberg: Springer, p. 201-214 14 p. (Lecture Notes in Computer Science; vol. 5505)(Theoretical Computer Science and General Issues).

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

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

  • MoonWalker: Verification of .NET Programs

    Aan de Brugh, N. H. M., Nguyen, V. Y. & Ruys, T. C., Mar 2009, Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings. Kowalewski, S. & Philippou, A. (eds.). Berlin, Heidelberg: Springer, p. 170-173 4 p. (Lecture Notes in Computer Science; vol. 5505)(Theoretical Computer Science and General Issues).

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

    9 Citations (Scopus)
    1 Downloads (Pure)

  • New Upper Bounds on the Separating Redundancy of Linear Block Codes

    Ngo, M. T., Weber, J. H. & Abdel-Ghaffar, K. A. S., 28 May 2009, Proceedings of the 30th Symposium on Information Theory in the Benelux: Eindhoven, The Netherlands, May 28-29, 2009. Eindhoven, The Netherlands: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), p. 209-216 8 p.

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

    Open Access
    File
    27 Downloads (Pure)

  • On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker

    Huisman, M., 2009, Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs. Banerjee, A. (ed.). New York: Association for Computing Machinery, p. 8:1-8:6 6 p. 10.1145/1557898.1557906

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

    File
    2 Citations (Scopus)
    141 Downloads (Pure)

  • Preface

    Brim, L., 15 Dec 2009, Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation. Brim, L. & van de Pol, J. (eds.). ArXiv.org, 1 p. (Electronic Proceedings in Theoretical Computer Science; vol. 14).

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

    Open Access
    File
    30 Downloads (Pure)

  • Quantitative model checking of continuous-time Markov chains against timed automata specifications

    Chen, T., Han, T., Katoen, J. P. & Mereacre, A., Aug 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science. Piscataway: IEEE, p. 309-318 10 p. 10.1109/LICS.2009.21

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

    File
    34 Citations (Scopus)
    166 Downloads (Pure)

  • Reducing Behavioural to Structural Properties of Programs with Procedures

    Gurov, D. & Huisman, M., 2009, Verification, Model Checking, and Abstract Interpretation. Jones, N. D. & Müller-Olm, M. (eds.). London: Springer, p. 136-150 15 p. 10.1007/978-3-540-93900-9_14. (Lecture Notes in Computer Science; vol. 5403).

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

    6 Citations (Scopus)
    3 Downloads (Pure)

  • Repotting the geraniums: on nested graph transformation rules

    Rensink, A. & Kuperus, J.-H., 2009, Graph transformation and visual modelling techniques. Boronat, A. & Heckel, R. (eds.). European Association for the Study of Science and Technology, p. - 15 p. (Electronic Communications of the EASST; vol. 18).

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

    File
    31 Citations (Scopus)
    57 Downloads (Pure)

  • Re-verification of a Lip Synchronization Algorithm using robust reachability

    Kordy, P., Langerak, R. & Polderman, J. W., 3 Nov 2009, Workshop on Formal Methods for Aerospace (FMA). Manchester: Manchester Institute for Mathematical Sciences, 14 p.

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

    File
    46 Downloads (Pure)

  • Simulation-based CTMC Model Checking: An Empirical Evaluation

    Katoen, J. P. & Zapreev, I. S., Sept 2009, Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE, p. 31-40 10 p. 10.1109/QEST.2009.25

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

    File
    11 Citations (Scopus)
    286 Downloads (Pure)

  • Specifying and Checking Protocols of Multithreaded Classes

    Hurlin, C., 9 Mar 2009, Proceedings of the 24th Annual ACM Symposium on Applied Computing. New York: Association for Computing Machinery, p. 587-592 6 p. 10.1145/1529282.1529407

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

    9 Citations (Scopus)
    1 Downloads (Pure)

  • State Space Reduction of Linear Processes Using Control Flow Reconstruction

    van de Pol, J. C. & Timmer, M., 13 Oct 2009, Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Liu, Z. & Ravn, A. P. (eds.). Berlin: Springer, p. 54-68 15 p. (Lecture Notes in Computer Science; vol. 5799).

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

    Open Access
    File
    55 Downloads (Pure)

  • Symmetry reduction for stochastic hybrid systems

    Bujorianu, L. M. & Katoen, J. P., 6 Jan 2009, 47th IEEE Conference on Decision and Control, CDC 2008. Los Alamitos: IEEE, p. 233-238 6 p. 10.1109/CDC.2008.4739086

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

    File
    175 Downloads (Pure)