BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Schneider:Gerardo

Facilitated 1 volumes:

SEFM 2011Ed

Contributed to:

FM 20152015
POPL 20152015
SEFM 20142014
TACAS 20132013
SAC 20102010
IFM 20092009
SEFM 20092009
SAC 20082008
TACAS 20082008
FM 20052005
SEFM 20052005
FoSSaCS 20042004
VMCAI 20042004
CAV 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.