16 citations · 26 across the 6 of their papers we have counts for
6 papers
Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
Levi Lucio
Model transformations are central to MDE, but formal verification is difficult because mainstream transformation languages are undecidable. DSLTrans was designed to be Turing-incom…
ML + FV = ? A Survey on the Application of Machine Learning to Formal Verification
Moussa Amrani, Levi Lúcio, Adrien Bibal
Formal Verification (FV) and Machine Learning (ML) can seem incompatible due to their opposite mathematical foundations and their use in real-life problems: FV mostly relies on dis…
Towards Controlling Refinements of Statecharts
Conner Hansen, Eugene Syriani, Levi Lucio
In incremental development strategies, modelers frequently refine Statecharts models to satisfy requirements and changes. Although several solutions exist to the problem of Statech…
An on-line Integrated Bookkeeping: electronic run log book and Meta-Data Repository for ATLAS
M. Barczyc, D. Burckhart-Chromek, M. Caprini +21
In the context of the ATLAS experiment there is growing evidence of the importance of different kinds of Meta-data including all the important details of the detector and data acqu…
Next-Generation EU DataGrid Data Management Services
Diana Bosio, James Casey, Akos Frohner +18
We describe the architecture and initial implementation of the next-generation of Grid Data Management Middleware in the EU DataGrid (EDG) project. The new architecture stems out o…
Verification and Diagnostics Framework in ATLAS Trigger/DAQ
I. Alexandrov, A. Amorim, E. Badescu +21
Trigger and data acquisition (TDAQ) systems for modern HEP experiments are composed of thousands of hardware and software components depending on each other in a very complex manne…