Checking

Results: 4283



#Item
231A Graph-Based Approach for Containment Checking of

A Graph-Based Approach for Containment Checking of

Add to Reading List

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

- Date: 2015-11-22 23:36:35
    232Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access

    Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    - Date: 2012-08-31 08:16:46
      233Improving the Reliability of Pervasive Computing Applications By Continuous Checking of Sensor Readings Adrien Carteron, Charles Consel, Nic Volanschi To cite this version:

      Improving the Reliability of Pervasive Computing Applications By Continuous Checking of Sensor Readings Adrien Carteron, Charles Consel, Nic Volanschi To cite this version:

      Add to Reading List

      Source URL: hal.inria.fr

      - Date: 2016-06-15 09:58:06
        234Cross-Checking Oracles from Intrinsic Software Redundancy Antonio Carzaniga Alberto Goffi

        Cross-Checking Oracles from Intrinsic Software Redundancy Antonio Carzaniga Alberto Goffi

        Add to Reading List

        Source URL: www.inf.usi.ch

        - Date: 2014-03-08 08:30:08
          235MODEL CHECKING CONCURRENT AND REAL-TIME SYSTEMS: THE PAT APPROACH LIU YANG (B.Sc. (Hons.), NUS)

          MODEL CHECKING CONCURRENT AND REAL-TIME SYSTEMS: THE PAT APPROACH LIU YANG (B.Sc. (Hons.), NUS)

          Add to Reading List

          Source URL: www.ntu.edu.sg

          - Date: 2012-10-11 21:07:52
            236Model Checking Contest Report for 2011 Fabrice Kordon - LIP6/MoVe, UPMC, France Alban Linard - CUI/SMV, Univ. Genève, Switzerland Model Checking Contest @

            Model Checking Contest Report for 2011 Fabrice Kordon - LIP6/MoVe, UPMC, France Alban Linard - CUI/SMV, Univ. Genève, Switzerland Model Checking Contest @

            Add to Reading List

            Source URL: sumo.lip6.fr

            - Date: 2011-06-21 11:27:12
              237QMC 2010 Quantitative Model Checking PhD School Copenhagen, Denmark 2-5 March 2010

              QMC 2010 Quantitative Model Checking PhD School Copenhagen, Denmark 2-5 March 2010

              Add to Reading List

              Source URL: qmc.cs.aau.dk

              - Date: 2011-10-28 09:59:03
                238Continuous-Time Markov Chains Overview Probabilistic Model Checking Part 2: Continuous-Time Markov Chains

                Continuous-Time Markov Chains Overview Probabilistic Model Checking Part 2: Continuous-Time Markov Chains

                Add to Reading List

                Source URL: dl.dropboxusercontent.com

                  239Does this Fault Lead to Failure? Combining Refinement and Input-Output Conformance Checking in Fault-Oriented Test-Case Generation Bernhard K. Aicherniga , Elisabeth J¨obstlb , Martin Tapplera a Graz

                  Does this Fault Lead to Failure? Combining Refinement and Input-Output Conformance Checking in Fault-Oriented Test-Case Generation Bernhard K. Aicherniga , Elisabeth J¨obstlb , Martin Tapplera a Graz

                  Add to Reading List

                  Source URL: www.ist.tugraz.at

                  - Date: 2016-08-05 09:23:18
                    240JDeodorant: Identification and Removal of Type-Checking Bad Smells Nikolaos Tsantalis*, Theodoros Chaikalis, Alexander Chatzigeorgiou Department of Applied Informatics, University of MacedoniaThessaloniki, Greece

                    JDeodorant: Identification and Removal of Type-Checking Bad Smells Nikolaos Tsantalis*, Theodoros Chaikalis, Alexander Chatzigeorgiou Department of Applied Informatics, University of MacedoniaThessaloniki, Greece

                    Add to Reading List

                    Source URL: java.uom.gr

                    - Date: 2015-11-06 10:19:42