Login / Signup
Daniela Remenska
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Concurrent Systems
Formal Specification
Model Checking
Process Algebra
Top Venues
CCGRID
FORTE
Future Gener. Comput. Syst.
NASA Formal Methods
</>
Publications
</>
Daniela Remenska
,
Tim A. C. Willemse
,
Jeff Templon
,
Kees Verstoep
,
Henri E. Bal
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.
FORTE
(2014)
Daniela Remenska
,
Jeff Templon
,
Tim A. C. Willemse
,
Philip Homburg
,
Kees Verstoep
,
Adrian Casajus Ramo
,
Henri E. Bal
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.
NASA Formal Methods
(2013)
Daniela Remenska
,
Tim A. C. Willemse
,
Kees Verstoep
,
Jeff Templon
,
Henri E. Bal
Using model checking to analyze the system behavior of the LHC production grid.
Future Gener. Comput. Syst.
29 (8) (2013)
Daniela Remenska
,
Tim A. C. Willemse
,
Kees Verstoep
,
Wan J. Fokkink
,
Jeff Templon
,
Henri E. Bal
Using Model Checking to Analyze the System Behavior of the LHC Production Grid.
CCGRID
(2012)