Parametric

Results: 3249



#Item
1A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-09-19 11:02:58
2A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 12:50:31
3Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 12:50:10
4Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:09
5From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 12:50:18
6Minimizing Expected Losses in Perturbation Models with Multidimensional Parametric Min-cuts Adrian Kim, Kyomin Jung Seoul National University Seoul, South Korea

Minimizing Expected Losses in Perturbation Models with Multidimensional Parametric Min-cuts Adrian Kim, Kyomin Jung Seoul National University Seoul, South Korea

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2015-06-16 05:01:10
7Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Add to Reading List

Source URL: adam.chlipala.net

Language: English - Date: 2016-01-02 15:47:17
8Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2017-03-10 09:53:57
    9Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

    Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

    Add to Reading List

    Source URL: mirror.clarkson.edu

    Language: English - Date: 2018-08-15 07:19:09
    10Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

    Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2018-08-15 07:19:09