Travelled to:1 × Austria
1 × New Zealand
1 × Norway
1 × USA
Collaborated with:B.H.C.Cheng N.Bencomo P.Sawyer A.C.Jensen D.B.Knoester
Talks about:uncertainti (2) automat (2) adapt (2) function (1) behavior (1) softwar (1) monitor (1) assumpt (1) verifi (1) system (1)
Person: Andres J. Ramirez
DBLP: Ramirez:Andres_J=
Contributed to:
2012
20112011
2008Wrote 4 papers:
- MoDELS-2012-RamirezCBS #nondeterminism #runtime
- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
- ASE-2011-RamirezJCK #adaptation #automation #behaviour #how #nondeterminism
- Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems (AJR, ACJ, BHCC, DBK), pp. 568–571.
- MoDELS-2011-RamirezC #automation #monitoring #requirements
- Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
- ICST-2008-RamirezC #adaptation #logic #modelling #uml #verification
- Verifying and Analyzing Adaptive Logic through UML State Models (AJR, BHCC), pp. 529–532.