WING 2010:Author Index

AuthorPapers
A
Atkey, RobertRefinement and Term Synthesis in Loop Invariant Generation
B
Badban, BaharehAutomated Invariant Generation for the Verification of Real-Time Systems
Bjorner, NikolajApplications and Challenges in Satisfiability Modulo Theories
Blech, Jan OlafInvariants and Robustness of BIP Models
Bozga, MariusTool Demonstration of the FLATA Counter Automata Toolset
C
Chin, Wei-NganDiscovering Specifications for Unknown Procedures - Work in Progress
Craciun, FlorinDiscovering Specifications for Unknown Procedures - Work in Progress
D
de Moura, LeonardoApplications and Challenges in Satisfiability Modulo Theories
Dixon, LucasRefinement and Term Synthesis in Loop Invariant Generation
F
Franssen, MichaelCocktail II
G
Gaubert, StéphaneTropical linear programming and parametric mean payoff games
Gawlitza, Thomas MartinAbstract Interpretation over Zones without Widening
Grov, GudmundTowards Automated Property Discovery within Hume
Synthesising Functional Invariants in Separation Logic
H
He, GuanhuaDiscovering Specifications for Unknown Procedures - Work in Progress
I
Iosif, RaduTool Demonstration of the FLATA Counter Automata Toolset
Ireland, AndrewTowards Automated Property Discovery within Hume
Refinement and Term Synthesis in Loop Invariant Generation
Synthesising Functional Invariants in Separation Logic
K
Katz, Ricardo D.Tropical linear programming and parametric mean payoff games
Kolchin, AlexanderFormal Requirements Capturing using VRS system
Konecny, FilipTool Demonstration of the FLATA Counter Automata Toolset
Konnov, IgorCheAPS: a Checker of Asynchronous Parameterized Systems
Kroening, DanielLoopfrog — loop summarization for static analysis
Kuntz, MatthiasExtending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs
L
Labed Jilani, LamiaA Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
Letichevsky, AlexanderFormal Requirements Capturing using VRS system
Letychevskyi, OleksandrFormal Requirements Capturing using VRS system
Leue, StefanAutomated Invariant Generation for the Verification of Real-Time Systems
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs
Lisitsa, AlexeiFinite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol
Louhichi, AsmaA Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
Luo, ChenguangDiscovering Specifications for Unknown Procedures - Work in Progress
M
Maclean, EwenRefinement and Term Synthesis in Loop Invariant Generation
Synthesising Functional Invariants in Separation Logic
Mili, AliA Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
Mraihi, OlfaA Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
N
Nguyen, Thanh-HungInvariants and Robustness of BIP Models
P
Perin, MichaelInvariants and Robustness of BIP Models
Potiyenko, StepanFormal Requirements Capturing using VRS system
Q
Qin, ShengchaoDiscovering Specifications for Unknown Procedures - Work in Progress
S
Scheben, ChristophExtending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs
Seidl, HelmutAbstract Interpretation over Zones without Widening
Sergeev, SergeiTropical linear programming and parametric mean payoff games
Sharygina, NatashaLoopfrog — loop summarization for static analysis
Sinn, MoritzLOOPUS - A Tool for Computing Loop Bounds for C Programs
Smaus, Jan-GeorgAutomated Invariant Generation for the Verification of Real-Time Systems
T
Tonetta, StefanoLoopfrog — loop summarization for static analysis
Tsitovich, AliakseiLoopfrog — loop summarization for static analysis
V
Vojnar, TomasTool Demonstration of the FLATA Counter Automata Toolset
Volkov, VladFormal Requirements Capturing using VRS system
W
Wallenburg, AngelaGeneralisation of Induction Formulae based on Proving by Symbolic Execution
Weigert, ThomasFormal Requirements Capturing using VRS system
Wintersteiger, Christoph M.Loopfrog — loop summarization for static analysis
Z
Zuleger, FlorianLOOPUS - A Tool for Computing Loop Bounds for C Programs