Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Tiziano Villa

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Luca Geretti

> Home > Persons > Tiziano Villa

Publications

2023
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/CapogrossoGCFV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/CapogrossoGCFV23
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa:
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. DDECS 2023: 87-90
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-00039
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-00039
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa:
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. CoRR abs/2305.00039 (2023)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-17541
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-17541
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa:
Rigorous Function Calculi in Ariadne. CoRR abs/2306.17541 (2023)
2022
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/GerettiANV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GerettiANV22
Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa:
Special issue: Formal verification of cyber-physical systems. Inf. Comput. 289(Part): 104979 (2022)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GerettiCBMBQV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GerettiCBMBQV22
Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa:
Process-driven Collision Prediction in Human-Robot Work Environments. ETFA 2022: 1-8
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GerettiCBV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GerettiCBV22
Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa:
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV 2022: 336-345
2020
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BresolinCGSVG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BresolinCGSVG20
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
A computable and compositional semantics for hybrid automata. HSCC 2020: 18:1-18:11
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-11330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-11330
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa:
Higher Order Method for Differential Inclusions. CoRR abs/2001.11330 (2020)
2019
[c47]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/BresolinGV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/BresolinGV19
Davide Bresolin, Luca Geretti, Tiziano Villa:
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. OVERLAY@AI*IA 2019: 29-34
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GerettiGCBV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GerettiGCBV19
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa:
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV 2019: 60-75
2018
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/GeraldesGBMFMV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/GeraldesGBMFMV18
Andre A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa:
Formal Verification of Medical CPS: A Laser Incision Case Study. ACM Trans. Cyber Phys. Syst. 2(4): 35:1-35:29 (2018)
2017
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/GerettiBCGV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/GerettiBCGV17
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa:
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS 2017: 313-319
2015
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/BresolinGMFV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/BresolinGMFV15
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa:
Formal verification of robotic surgery tasks by reachability analysis. Microprocess. Microsystems 39(8): 836-842 (2015)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/NuzzoSBGV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/NuzzoSBGV15
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa:
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE 103(11): 2104-2132 (2015)
2014
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/BresolinGMFV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/BresolinGMFV14
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa:
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. DSD 2014: 659-662
2012
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/CollinsBGV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/CollinsBGV12
Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa:
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. ADHS 2012: 284-290
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/BresolinGGMFV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/BresolinGGMFV12
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa:
Open Problems in Verification and Refinement of Autonomous Robotic Systems. DSD 2012: 469-476
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BenvenutiBCFGV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BenvenutiBCFGV12
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa:
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP 2012: 79-91
2011
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/ram/MuradoreBGFV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ram/MuradoreBGFV11
Riccardo Muradore, Davide Bresolin, Luca Geretti, Paolo Fiorini, Tiziano Villa:
Robotic Surgery. IEEE Robotics Autom. Mag. 18(3): 24-32 (2011)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iwcmc/BresolinGGV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcmc/BresolinGGV11
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa:
Correct-by-construction code generation from hybrid automata specification. IWCMC 2011: 1660-1665

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.