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 × Canada
1 × Croatia
1 × Ireland
1 × Japan
1 × Norway
1 × Poland
1 × Portugal
1 × Sweden
2 × Finland
2 × Italy
2 × Switzerland
3 × France
4 × United Kingdom
5 × USA
Collaborated with:
C.S.Pasareanu J.Magee J.Kramer Z.Rakamaric F.Howar J.M.Cobleigh M.Dimjasevic V.Raman C.v.Essen ∅ K.Havelund J.Penix D.Bianculli R.Singh M.G.Bobaru M.Emmi M.Gheorghiu H.Barringer S.Cheung C.T.Karamanolis S.M.Wheater N.Pryce J.Aldrich M.Barnett G.T.Leavens N.Sharygina G.Brat D.H.Bushnell M.Davies T.Kahsai M.Isberner T.Lauderdale
Talks about:
verif (12) interfac (7) composit (5) generat (5) system (5) compon (5) analysi (4) learn (4) guarante (3) assumpt (3)

♀ Person: Dimitra Giannakopoulou

DBLP DBLP: Giannakopoulou:Dimitra

Facilitated 18 volumes:

ASE 2014ExpertReviewPa
ASE 2014PrBoard
SEFM 2014Ed
ASE 2013PrCo
CBSE 2013Ed
CBSE 2013PrCh
CBSE 2012PrCo
FM 2012Ed
CBSE 2011PrCo
FASE 2011Ed
FASE 2011PrCh
CBSE 2008PrCo
CBSE 2007PrCo
CBSE 2006PrCo
CBSE 2005PrCo
CBSE 2004PrCo
CBSE 2003PrCo
CBSE 2002PrCo

Contributed to:

FM 20152015
ISSTA 20152015
ASE 20142014
TACAS 20142014
ISSTA 20132013
SAS 20122012
ICSE 20112011
SFM 20112011
CAV 20102010
SEFM 20102010
FASE 20092009
CAV 20082008
FM 20082008
ESEC/FSE 20072007
TACAS 20072007
ICSE 20042004
ESEC/FSE 20032003
TACAS 20032003
ASE 20022002
ASE 20012001
CBSE 20012001
EDOC 20002000
ICSE 20002000
ESEC/FSE 19991999
WICSA 19991999
ESEC/FSE 19971997

Wrote 26 papers:

FM-2015-BratBDGHK #safety #verification
Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.
ISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
ASE-2014-GiannakopoulouHILRR #assurance #testing
Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
TACAS-2014-EssenG #generative
Analyzing the Next Generation Airborne Collision Avoidance System (CvE, DG), pp. 620–635.
ISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning
Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
SAS-2012-GiannakopoulouRR #component #interface #learning
Symbolic Learning of Component Interfaces (DG, ZR, VR), pp. 248–264.
ICSE-2011-BianculliGP #composition #interface
Interface decomposition for service compositions (DB, DG, CSP), pp. 501–510.
SFM-2011-GiannakopoulouP #synthesis
Context Synthesis (DG, CSP), pp. 191–216.
CAV-2010-SinghGP #abstraction #component #interface #learning
Learning Component Interfaces with May and Must Abstractions (RS, DG, CSP), pp. 527–542.
SEFM-2010-Giannakopoulou #quote #verification
“Fly Me to the Moon”: Verification of Aerospace Systems (DG), pp. 5–11.
FASE-2009-GiannakopoulouP #composition #generative #interface #verification
Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.
CAV-2008-BobaruPG #abstraction #automation #reasoning #refinement
Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.
FM-2008-EmmiGP #automaton #interface #verification
Assume-Guarantee Verification for Interface Automata (ME, DG, CSP), pp. 116–131.
ESEC-FSE-2007-AldrichBGLS #component #specification #verification
Specification and verification of component-based systems 2007 (JA, MB, DG, GTL, NS), pp. 609–610.
TACAS-2007-GheorghiuGP #composition #interface #verification
Refining Interface Alphabets for Compositional Verification (MG, DG, CSP), pp. 292–307.
ICSE-2004-GiannakopoulouPC #source code #verification
Assume-Guarantee Verification of Source Code with Design-Level Assumptions (DG, CSP, JMC), pp. 211–220.
ESEC-FSE-2003-GiannakopoulouM #model checking
Fluent model checking for event-based systems (DG, JM), pp. 257–266.
TACAS-2003-CobleighGP #composition #learning #verification
Learning Assumptions for Compositional Verification (JMC, DG, CSP), pp. 331–346.
ASE-2002-GiannakopoulouPB #component #generative #verification
Assumption Generation for Software Component Verification (DG, CSP, HB), pp. 3–12.
ASE-2001-GiannakopoulouH #source code #verification
Automata-Based Verification of Temporal Properties on Running Programs (DG, KH), pp. 412–416.
CBSE-2001-GiannakopoulouP #certification #component #verification
Component Verification and Certification in NASA Missions (DG, JP), p. 23.
EDOC-2000-KaramanolisGMW #model checking #workflow
Model Checking of Workflow Schemas (CTK, DG, JM, SMW), pp. 170–181.
ICSE-2000-MageePGK #animation #behaviour #modelling #visual notation
Graphical animation of behavior models (JM, NP, DG, JK), pp. 499–508.
ESEC-FSE-1999-GiannakopoulouMK #question
Checking Progress with Action Priority: Is it Fair? (DG, JM, JK), pp. 511–527.
WICSA-1999-MageeKG #analysis #architecture #behaviour
Behaviour Analysis of Software Architectures (JM, JK, DG), pp. 35–50.
ESEC-FSE-1997-CheungGK #analysis #composition #liveness #reachability #using #verification
Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.
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.