Nicola

Results: 2020



#Item
1Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Add to Reading List

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

Language: English - Date: 2017-05-09 09:40:14
2A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

Add to Reading List

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

Language: English - Date: 2017-12-05 09:33:38
3ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti

ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti

Add to Reading List

Source URL: zkproof.org

Language: English - Date: 2018-10-25 10:32:39
4Poster: Detecting WebInjects through Live Memory Inspection Nicola Mariani∗ , Andrea Continella∗ , Marcello Pogliani∗ , Michele Carminati∗ , Federico Maggi∗† , and Stefano Zanero∗ ∗ Dipartimento

Poster: Detecting WebInjects through Live Memory Inspection Nicola Mariani∗ , Andrea Continella∗ , Marcello Pogliani∗ , Michele Carminati∗ , Federico Maggi∗† , and Stefano Zanero∗ ∗ Dipartimento

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-02 20:58:16
5“A Stalker’s Paradise”: How Intimate Partner Abusers Exploit Technology Diana Freed† Jackeline Palmer‡ Diana MinchalaΨ Karen LevyΦ Thomas Ristenpart† Nicola Dell† †  Cornell Tech

“A Stalker’s Paradise”: How Intimate Partner Abusers Exploit Technology Diana Freed† Jackeline Palmer‡ Diana MinchalaΨ Karen LevyΦ Thomas Ristenpart† Nicola Dell† † Cornell Tech

Add to Reading List

Source URL: rist.tech.cornell.edu

Language: English - Date: 2018-01-14 09:13:55
6Broken Hearted: How To Attack ECG Biometrics Simon Eberz Nicola Paoletti  Marc Roeschlin

Broken Hearted: How To Attack ECG Biometrics Simon Eberz Nicola Paoletti Marc Roeschlin

Add to Reading List

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

Language: English - Date: 2017-03-14 06:12:08
7Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

Add to Reading List

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

Language: English - Date: 2016-02-03 11:53:39
    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
      9RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

      RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

      Add to Reading List

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

      Language: English - Date: 2017-09-12 07:46:02
      10Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

      Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

      Add to Reading List

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

      Language: English - Date: 2017-10-06 05:50:27