Publikációk
"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.
"VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models",
41st International Conference on Software Engineering, Montreal, Canada, ACM/IEEE, 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.
"Model checking and test generation: towards a combined approach to software verification",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019.
Abstract
"Software Model Checking with a Combination of Explicit Values and Predicates",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019.
Abstract
"Adaptive Step Size Control for Hybrid CT Simulation without Rollback",
13th International Modelica Conference, OTH Regensburg, Germany, 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
"Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers",
Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, pp. 186, 03/2019.
Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems,
: Budapest University of Technology and Economics, 2019.
"Backward reachability analysis for timed automata with data variables",
Proceedings of the 18th International Workshop on Automated Verification of Critical Systems, vol. 76, Oxford, England, EASST, pp. 1-20, 2018.
"Lazy Reachability Checking for Timed Automata with Discrete Variables",
Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018.
Abstract
"Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models",
Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
"Secure Views for Collaborative Modeling",
IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"The Train Benchmark: Cross-Technology Performance Evaluation of Continuous Model Queries",
Software and Systems Modeling, vol. 17, issue 4, 2018.
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 2018.
"The Gamma Statechart Composition Framework",
40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
"A Graph Solver for the Automated Generation of Consistent Domain-Specific Models",
40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
"Iterative Generation of Diverse Models for Testing Specifications of DSL Tools",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, Springer, 2018.
"Mix-and-Match Composition in the Gamma Framework",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018.
Abstract
"Towards the Verification of Neural Networks for Critical Cyber-Physical Systems",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, 2018.
"Incrementalizing Lattice-Based Program Analyses in Datalog",
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018), Boston, MA, USA, ACM, 11/2018.
"Constructing Dependability Analysis Models of Reconfigurable Production Systems",
14th IEEE International Conference on Automation Science and Engineering (CASE), München, Germany, IEEE, 2018.
Abstract
See also our accompanying technical report at https://doi.org/10.5281/zenodo.1290661
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018.
Abstract