Checking

Results: 4283



#Item
191Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014

Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014

Add to Reading List

Source URL: dl.dropboxusercontent.com

    192Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM A Repair Service Management Case Thanh Tran Thi Kim1, Erhard Weiss1, Christoph Ruhsam1 Christoph Czepa2, Huy Tran2, Uwe Zdun2 1

    Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM A Repair Service Management Case Thanh Tran Thi Kim1, Erhard Weiss1, Christoph Ruhsam1 Christoph Czepa2, Huy Tran2, Uwe Zdun2 1

    Add to Reading List

    Source URL: eprints.cs.univie.ac.at

    - Date: 2015-07-20 06:43:53
      193Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog

      Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog

      Add to Reading List

      Source URL: spinroot.com

      - Date: 2013-08-11 14:51:27
        194SMT-based approaches to Model Checking of Distributed Broadcast Algorithms Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani Universit` a degli Studi di Milano / Fondazione Centro San Raffaele

        SMT-based approaches to Model Checking of Distributed Broadcast Algorithms Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani Universit` a degli Studi di Milano / Fondazione Centro San Raffaele

        Add to Reading List

        Source URL: forsyte.at

        - Date: 2015-06-25 07:24:42
          195Quality Checking and Matching Linked Dictionary Data Kun Ji, Shanshan Wang, and Lauri Carlson University of Helsinki, Department of Modern Languages {kun.ji,shanshan.wang,lauri.carlson}@helsinki.fi

          Quality Checking and Matching Linked Dictionary Data Kun Ji, Shanshan Wang, and Lauri Carlson University of Helsinki, Department of Modern Languages {kun.ji,shanshan.wang,lauri.carlson}@helsinki.fi

          Add to Reading List

          Source URL: disi.unitn.it

          - Date: 2016-09-08 05:32:12
            196Counterexample Analysis for Supporting Containment Checking of Business Process Models Faiz UL Muram, Huy Tran, Uwe Zdun Software Architecture Group University of Vienna, Austria. faiz.ulmuram|huy.tran|

            Counterexample Analysis for Supporting Containment Checking of Business Process Models Faiz UL Muram, Huy Tran, Uwe Zdun Software Architecture Group University of Vienna, Austria. faiz.ulmuram|huy.tran|

            Add to Reading List

            Source URL: eprints.cs.univie.ac.at

            - Date: 2015-08-23 04:36:51
              197Static Cleanness Checking

              Static Cleanness Checking

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-11-22 08:27:16
                198Supporting Structural Consistency Checking in Adaptive Case Management Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Stefanie Rinderle-Ma1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1 Faculty of Computer

                Supporting Structural Consistency Checking in Adaptive Case Management Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Stefanie Rinderle-Ma1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1 Faculty of Computer

                Add to Reading List

                Source URL: eprints.cs.univie.ac.at

                - Date: 2015-10-12 06:30:03
                  199Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

                  Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

                  Add to Reading List

                  Source URL: www.dais.unive.it

                  - Date: 2015-10-21 08:22:44