Daniela Remenska
Daniela Remenska
Computer Science PhD
Подтвержден адрес электронной почты в домене nikhef.nl - Главная страница
Название
Процитировано
Процитировано
Год
LHCbDirac: distributed computing in LHCb
F Stagni, P Charpentier, R Graciani, A Tsaregorodtsev, J Closier, Z Mathe, ...
Journal of Physics: Conference Series 396 (3), 032104, 2012
322012
Using model checking to analyze the system behavior of the LHC production grid
D Remenska, TAC Willemse, K Verstoep, J Templon, H Bal
Future Generation Computer Systems 29 (8), 2239-2251, 2013
242013
From UML to process algebra and back: An automated approach to model-checking software design artifacts of concurrent systems
D Remenska, J Templon, TAC Willemse, P Homburg, K Verstoep, ...
NASA Formal Methods Symposium, 244-260, 2013
202013
Property specification made easy: Harnessing the power of model checking in UML designs
D Remenska, TAC Willemse, J Templon, K Verstoep, H Bal
International Conference on Formal Techniques for Distributed Objects …, 2014
192014
The LHCb data management system
JP Baud, P Charpentier, K Ciba, R Graciani, E Lanciotti, Z Màthè, ...
Journal of Physics: Conference Series 396 (3), 032023, 2012
152012
The LHCb Distributed computing model and operations during LHC runs 1, 2 and 3
S Roiser, M Salichos, A Ustyuzhanin, A Vedaee, D Remenska, ...
PoS, 005, 2015
32015
Bringing Model Checking Closer To Practical Software Engineering
D Remenska
Vrije U., Amsterdam, 2016
22016
Major changes to the LHCb Grid computing model in year 2 of LHC data
L Arrabito, V Bernardoff, D Bouvet, M Cattaneo, P Charpentier, P Clarke, ...
Journal of Physics: Conference Series 396 (3), 032092, 2012
22012
Giving pandas ROOT to chew on: experiences with the XENON1T Dark Matter experiment
D Remenska, C Tunnell, J Aalbers, S Verhoeven, J Maassen, J Templon
Journal of Physics: Conference Series 898 (4), 042003, 2017
12017
Assisting non-experts in property specification for automated formal verification
D Remenska, TAC Willemse, J Templon, K Verstoep, H Bal
submitted to IEEE Transactions on Software Engineering 1, 2015
12015
Analysis of DIRAC's behavior using model checking with process algebra
D Remenska, J Templon, T Willemse, H Bal, K Verstoep, W Fokkink, ...
Journal of Physics: Conference Series 396 (5), 052061, 2012
12012
A file-staging approach to optimizing large scale HEP data analysis
D Remenska
Technische Universiteit Eindhoven, 2010
12010
КОНФЕРЕНЦИЯ
BC Simon, BL Aperio, W Buttinger, D Barberis, A Formica, EJ Gallas, ...
2017
From UML to Process Algebra and Back
D Remenska, J Templon, TAC Willemse, P Homburg, K Verstoep, ...
2013
LHCb: The Evolution of the LHCb Grid Computing Model
L Arrabito, V Bernardoff, V Romanovskiy, S Roiser, J Closier, A Vedaee, ...
Conference: CHEP 2012, 2012
2012
LHCb: Analysing DIRAC's Behavior using Model Checking with Process Algebra
D Remenska
Conference: CHEP 2012, 2012
2012
Optimization of large scale HEP data analysis in LHCb
D Remenska, R Aaij, G Raven, M Merk, J Templon, RJ Bril, ...
Journal of Physics: Conference Series 331 (7), 072060, 2011
2011
КОНФЕРЕНЦИЯ
AA Ashimov, BT Sultanov, ZM Adilov, YV Borovskiy, DK Suissinbayev, ...
Air traffic management 114, 119, 2011
2011
LHCb
K Heinicke, P Gandini, S Cadeddu, JD Shupperd, M Hatch, IA Mcnab, ...
1998
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–19