Travelled to:1 × Brazil
1 × Denmark
1 × France
1 × Hungary
1 × India
1 × Italy
1 × Norway
1 × Spain
1 × Switzerland
1 × United Kingdom
1 × Vietnam
2 × Germany
Collaborated with:G.J.Pace R.Pardo H.A.Hansen ∅ H.Ebadi D.Sands R.Nagy A.Timofeitchik C.Colombo G.Barthe M.Pavlova P.Giambiagi F.D.Valencia W.Ahrendt J.M.Chimento D.Cachera T.P.Jensen D.Pichardie E.Asarin S.Yovine
Talks about:analysi (4) polygon (3) system (3) differenti (2) reachabl (2) program (2) privaci (2) specif (2) memori (2) hybrid (2)
Person: Gerardo Schneider
DBLP: Schneider:Gerardo
Facilitated 1 volumes:
EdContributed to:
2015
20152014
2013
2010
200920092008200820052005
2004
2004
2002Wrote 14 papers:
- FM-2015-AhrendtCPS #runtime #specification #verification
- A Specification Language for Static and Runtime Verification of Data and Control Properties (WA, JMC, GJP, GS), pp. 108–125.
- POPL-2015-EbadiSS #difference #privacy
- Differential Privacy: Now it’s Getting Personal (HE, DS, GS), pp. 69–81.
- SEFM-2014-PardoS #framework #network #policy #privacy #social
- A Formal Privacy Policy Framework for Social Networks (RP, GS), pp. 378–392.
- TACAS-2013-NagyST #automation #realtime #testing
- Automatic Testing of Real-Time Graphics Systems (RN, GS, AT), pp. 463–477.
- SAC-2010-HansenS #analysis #implementation #optimisation #reachability
- Reachability analysis of GSPDIs: theory, optimization, and implementation (HAH, GS), pp. 2511–2516.
- IFM-2009-PaceS #challenge #contract #specification
- Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.
- SEFM-2009-ColomboPS #java #monitoring #realtime #source code
- LARVA --- Safer Monitoring of Real-Time Java Programs (CC, GJP, GS), pp. 33–37.
- SAC-2008-Schneider #analysis #hybrid #reachability
- Reachability analysis of generalized polygonal hybrid systems (GS), pp. 327–332.
- TACAS-2008-PaceS #model checking #visualisation
- Computation and Visualisation of Phase Portraits for Model Checking SPDIs (GJP, GS), pp. 341–345.
- FM-2005-CacheraJPS #analysis #memory management
- Certified Memory Usage Analysis (DC, TPJ, DP, GS), pp. 91–106.
- SEFM-2005-BarthePS #analysis #logic #memory management #precise #using
- Precise Analysis of Memory Consumption using Program Logics (GB, MP, GS), pp. 86–95.
- FoSSaCS-2004-GiambiagiSV #behaviour #calculus #infinity #on the #process
- On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi (PG, GS, FDV), pp. 226–240.
- VMCAI-2004-PaceS #difference #kernel #model checking #using
- Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.
- CAV-2002-AsarinPSY #hybrid #named #verification
- SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.