Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM
"Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View",
10th Latin-American Symposium on Dependable Computing (LADC 2021), Florianópolis, Brazil, IEEE, 11/2021.
"Contract-Based Specification and Test Generation for Adaptive Systems",
16th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), vol. 1389, Wrocław, Poland, Springer, pp. 136-145, 07/2021.
Abstract
"LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms",
GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
"LSQB: A Large-Scale Subgraph Query Benchmark",
GRADES-NDA at SIGMOD: ACM, 2021.
"Automated Generation of Consistent Graph Models with Multiplicity Reasoning",
IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020.
Abstract
"Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development",
Software and Systems Modeling, 01/2020.
"Efficient Strategies for CEGAR-based Model Checking",
Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020.
Abstract
"Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems",
Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020.
Abstract
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.
"Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework",
27th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2020.
Abstract
"Automated Generation of Consistent Models with Structural and Attribute Constraints",
23rd International Conference on Model Driven Engineering Languages and Systems, Canada, ACM / IEEE, 2020.
Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
"Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite",
IEEE International Symposium on Workload Characterization, 2020.
"Model Checking as a Service: Towards Pragmatic Hidden Formal Methods",
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
"Parallel GraphBLAS with OpenMP",
SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
"Classifying generated white-box tests: an exploratory study",
Software Quality Journal, pp. 42, 2019.
Abstract
"Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software",
ACM Trans. Embed. Comput. Syst., vol. 18, no. 5s, New York, NY, USA, ACM, pp. 89:1–89:21, 2019.
Abstract
"How Representative is a SPARQL Benchmark? An Analysis of RDF Triplestore Benchmarks",
The Web Conference (WWW), San Francisco, CA, USA, ACM, 2019.
"Saturation Enhanced with Conditional Locality: Application to Petri Nets",
Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings, pp. 342–361, 06/2019.
"Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles",
IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
"Lazy Reachability Checking for Timed Automata with Discrete Variables",
Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018.
Abstract
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"The Gamma Statechart Composition Framework",
40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
"Mix-and-Match Composition in the Gamma Framework",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018.
Abstract