Daniela Remenska

According to our database, Daniela Remenska authored at least 4 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.

Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

Using model checking to analyze the system behavior of the LHC production grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri E. Bal

Future Gener. Comput. Syst., 2013

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.

Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal

Proceedings of the NASA Formal Methods, 2013

2012

Using Model Checking to Analyze the System Behavior of the LHC Production Grid.

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012