Search CORE

7 research outputs found

A Formal Framework for Scalable Component-Based Systems

Author: F.Duran
F.Duran
G.Santos
M.Clavel
M.Clavel
Publication venue: 'IGI Global'
Publication date
Field of study

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude

Author: B.Jerzy
G. C.Buttazzo
M.Clavel
Publication venue: 'IGI Global'
Publication date
Field of study

Reconfiguration of Autonomous Robotics

Author: J. H.Genrich
M.Clavel
R.Valk
Y.Fu
Publication venue: 'IGI Global'
Publication date: 01/01/2019
Field of study

Formal Modeling and Verification of Security Property in Handel C Program

Author: A. N.Prior
C. A. R.Hoare
E.Albrechtsen
G.Rosu
J.Meseguer
M. J. C.Gordon
M.Clavel
M.Clavel
R.Dubey
S.Ghosh
T.Murata
Y.Fu
Z.Manna
Publication venue: 'IGI Global'
Publication date
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

A Formal Semantics of Kermeta

Author: A.Aho
B.Meyer
D.Steinberg
G.Rozenberg
G.Winskel
H.Ehrig
J. M.Spivey
K.Chen
L.Cardelli
M.Amrani
M.Amrani
M.Clavel
M.Yang
R. F.Stark
T.Clark
Publication venue: 'IGI Global'
Publication date: 01/01/2014
Field of study

A Review of Dynamic Verification of Security and Dependability Properties

Author: A. K.Bandara
A.Arnold
A.Avizienis
A.Dingwall-Smith
A.Goldberg
A.Pnueli
B.Meyer
B.Moszkowski
C.Artho
G.Cohen
G.Kiczales
G.Spanoudakis
I.Lee
J.Hatcli
K.Baresi
K.Baresi
K.Havelund
K.Mahub
M.Clavel
M.d’Amorim
M.Feather
M.Möller
P. L.Tarr
P.Naldurg
R.Grimes
Y.Gurevich
Publication venue: 'IGI Global'
Publication date: 01/01/2019
Field of study

core

core