Search CORE

12 research outputs found

Formal Verification Methods

Author: A.Hall
C.Baier
M. R. A.Huth
P. P.Boca
Publication venue: 'IGI Global'
Publication date: 01/01/2015
Field of study

Requirements Traceability within Model-Based Testing

Author: A.Zisman
C.Baier
E. M.Clarke
H.Schmid
J.Peleska
M.Utting
Publication venue: 'IGI Global'
Publication date: 01/01/2013
Field of study

Discrete-Time Markov Chains in HOL

Author: B.Nokovic
C.Baier
K. L.Chung
K. S.Trivedi
K.Kannan
R. N.Bhattacharya
Publication venue: 'IGI Global'
Publication date: 01/01/2015
Field of study

Requirements Traceability within Model-Based Testing

Author: A.Zisman
C.Baier
E. M.Clarke
H.Schmid
J.Peleska
M.Utting
Publication venue: 'IGI Global'
Publication date
Field of study

A Formal Framework for Cloud Systems

Author: A. J.Faithfull
C.Baier
D. F.Fitch
E.Marks
K. M.Sim
L.Hu
V.Chang
W.Feng
Publication venue: 'IGI Global'
Publication date: 01/01/2015
Field of study

Design Patterns Formal Composition and Analysis

Author: A.Herranz
C.Baier
D.Kim
D.Mapelsden
E.Gamma
H.Douibi
K.Boukhelfa
M.Bettaz
M.Clavel
W.Zimmer
Publication venue: 'IGI Global'
Publication date
Field of study

True Concurrency Semantics

Author: C.Baier
D. E.Saidouni
D. E.Saidouni
D. E.Saidouni
E. M.Clarke
H.Bowman
S. A.Kripke
Publication venue: 'IGI Global'
Publication date
Field of study

A Survey on the Applications of Swarm Intelligence to Software Verification

Author: B.Xing
C. A.Hoare
C.Baier
D.Jackson
E. M.Clarke
E. M.Clarke
G.Holzmann
J.Magee
L.Lamport
M. Y.Vardi
R.Milner
T. H.Cormen
Publication venue: 'IGI Global'
Publication date: 01/01/2020
Field of study

Time and Space Reasoning for Ambient Systems

Author: C.Baier
D.Preuveneers
F.Corno
H. W.Guesgen
I.Nunes
J.Augusto
L.de Silva
M.Waters
R. H.Bordini
R. H.Bordini
S.Sardina
Publication venue: 'IGI Global'
Publication date
Field of study

Formal Verification of ZigBee-Based Routing Protocol for Smart Grids

Author: A. A. K.Somappa
A.Pnueli
A.Rashid
C.Baier
E. M.Clarke
J.Song
M. T.Galeev
M. Z.Huq
P.Ballarini
P.Hofner
P.Kinney
S. M.Islam
S.Malik
S.Tschirner
W.Yi
Publication venue: 'IGI Global'
Publication date: 01/01/2021
Field of study

core

core