AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Daniela Remenska

Daniela Remenska

National Institute for Subatomic Physics - Amsterdam / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 5615506
Nationaal Instituut voor Subatomaire Fysica
person_outline Daniela Remenska's MOST POPULAR ARTICLES
1-) On the importance of predictor choice, modelling technique, and number of pseudo‐absences for bioclimatic envelope model performance Ecology and Evolution 10 (21), 12307-12317, 2020
2-) LHCbDirac: distributed computing in LHCb Journal of Physics: Conference Series 396 (3), 032104, 2012
3-) Using model checking to analyze the system behavior of the LHC production grid Future Generation Computer Systems 29 (8), 2239-2251, 2013
4-) From UML to process algebra and back: An automated approach to model-checking software design artifacts of concurrent systems NASA Formal Methods Symposium, 244-260, 2013
5-) Property specification made easy: Harnessing the power of model checking in UML designs International Conference on Formal Techniques for Distributed Objects …, 2014