CfPBoK
by
Vadim Zaytsev
Antonio Vallecillo
SLE 2008
⭐
SLE 2016
⭐
SLE 2019
🔍
🏆
Summary
2
papers in
2
bundles
Top 3 popular topics:
T1C: Behavioural Semantics
(
1
times)
T5D: Formal Methods
(
1
times)
T4D: Interpretation
(
1
times)
Top 3 coauthors:
José Eduardo Rivera
(
1
times)
Esther Guerra
(
1
times)
Juan de Lara
(
1
times)
Made
4
contributions (see below)
List of contributions
(
SLE 2008
)
Coauthored
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
(
José Eduardo Rivera
,
Esther Guerra
,
Juan de Lara
,
Antonio Vallecillo
)
(
SLE 2016
)
Coauthored
Adding Uncertainty and Units to Quantity Types in Software Models
(
Tanja Mayerhofer
,
Manuel Wimmer
,
Antonio Vallecillo
)
(
SLE 2019
)
Received the
Most Influential Paper Award
of
SLE 2008
(
SLE 2019
)
Served on
PC
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
