Publications
Filters: First Letter Of Title is S [Clear All Filters]
"SMT-Friendly Formalization of the Solidity Memory Model",
European Symposium on Programming, vol. 12075: Springer, pp. 224--250, 2020.
"solc-verify: A Modular Verifier for Solidity Smart Contracts",
Verified Software. Theories, Tools, and Experiments, vol. 12301, New York City, USA, Springer, pp. 161--179, 2020.
"Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development",
Software and Systems Modeling, 01/2020.
"Simulation-based Safety Assessment of High-level Reliability Models",
4th Workshop on Models for Formal Analysis of Real Systems, 2020.
Abstract
"Supporting Dynamic Graphs and Temporal Entity Deletions in the LDBC Social Network Benchmark's Data Generator",
GRADES-NDA at SIGMOD/PODS: ACM, 2020.
"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.
"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
"Secure Views for Collaborative Modeling",
IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
"Supporting Unit Test Generation via Automated Isolation",
Periodica Polytechnica, Electrical Engineering and Computer Science, 02/2017.
"Scalable Graph Query Evaluation and Benchmarking with Realistic Models",
ACM SRC Grand Finals, online competition, ACM, 05/2017.
This is not a separate publication, but is based on the MODELS ACM SRC paper of the same title, which won 1st place in 2016. This is a significantly enhanced version, so I recommend reading this paper instead of its predecessor.
"Swarm Intelligence Meets Rule-Based Design Space Exploration",
Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2016.
"Scalable Graph Query Evaluation and Benchmarking with Realistic Models",
ACM/IEEE MODELS conference, ACM Student Research Competition (SRC), sponsored by Microsoft Research, 2016.
Won 1st prize at MODELS SRC 2016. A significantly enhanced version of this paper was submitted to the ACM SRC 2017 grand finals with the same title (see my 2017 publication). I recommend reading that paper instead of this one.
"Sharded Joins for Scalable Incremental Graph Queries",
Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.
"Saturation-based Incremental LTL Model Checking with Inductive Proofs",
Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035: Springer, pp. 643-657, 2015.
"SEViz: A Tool for Visualizing Symbolic Execution",
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
"Synchronous product automaton generation for controller optimization",
ASCONIKK 2014: Extended Abstracts. I. Information Technologies for Logistic Systems, Veszprém, Hungary, University of Pannonia, pp. 22-29, 12/2014.
"Scalable Query Evaluation in the Cloud",
STAF Doctoral Symposium, 07/2014.
"Streaming Model Transformations By Complex Event Processing",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"A survey and comparison of transformation tools based on the transformation tool contest",
Science of Computer Programming, vol. 85/A, pp. 41-99, 06/2014, 2013.
Abstract
"Scenario-based Automated Evaluation of Test Traces of Autonomous Systems",
Proceedings of ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems (DECS) at SAFECOMP'13, Toulouse, France, pp. 181-192, 09/2013.
Abstract
"Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal",
Mesterpróba 2013. Konferenciakiadvány, pp. 48-51, 05/2013.
"Superscalable modeling systems",
Proceedings of the 20th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2013.
"Superscalable Modeling",
Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
"Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére",
XVII. Fiatal Műszakiak Tudományos Ülésszaka, Cluj Napoca, Romania, Erdélyi Múzeum-Egyesület Műszaki Tudományok Szakosztálya, pp. 83-86, 2012.
"SeCMER: A Tool to Gain Control of Security Requirements Evolution",
Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011.
Abstract
10.1007/978-3-642-24755-2_35