BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ramirez:Andres_J=

Contributed to:

MoDELS 20122012
ASE 20112011
MoDELS 20112011
ICST 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.