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 | 33 | 2012 |

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 | 20 | 2013 |

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 | 18 | 2013 |

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 | 16 | 2014 |

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 | 12 | 2012 |

The LHCb Distributed Computing Model and Operations during LHC Runs 1, 2 and 3 S Roiser, A Casajus Ramo, M Cattaneo, P Charpentier, P Clarke, ... International Symposium on Grids and Clouds 2015 239, 005, 2016 | 3 | 2016 |

Major changes to the LHCb Grid computing model in year 2 of LHC data L Arrabito, V Bernardoff, V Romanovskiy, S Roiser, J Closier, A Vedaee, ... J. Phys.: Conf. Ser. 396, 032092, 2012 | 2 | 2012 |

Bringing Model Checking Closer To Practical Software Engineering D Remenska Vrije U., Amsterdam, 2016 | 1 | 2016 |

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 | 1 | 2015 |

Analysis of DIRAC's behavior using model checking with process algebra D Remenska, J Templon, TAC Willemse, HE Bal, K Verstoep, W Fokkink, ... Journal of Physics: Conference Series 396 (5), 052061, 2012 | 1 | 2012 |

A file-staging approach to optimizing large scale HEP data analysis D Remenska Technische Universiteit Eindhoven, 2010 | 1 | 2010 |

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 JPhCS 898 (4), 042003, 2017 | | 2017 |

КОНФЕРЕНЦИЯ 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, YV Borovskiy, NY Borovskiy, BA Aisakova, ... | | 2011 |

LHCb K Heinicke, P Gandini, S Cadeddu, MP Whitehead, M Hatch, A Butkevich, ... | | 1998 |