Publikációk
] Szűrők: A Cím Első Betűje = S [Minden szűrő visszaállítása]
"Static Analysis of Model Transformations",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.
"Standards-based Assessment of Development Toolchains in Safety-Critical Systems",
Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse, pp. 1 - 4, 2009.
"Solving the TTC 2011 Reengineering Case with VIATRA2",
TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011.
Abstract
"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.
"Software Monitoring and Debugging Using Compressed Signature Sequences",
Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 311 - 318, 1996.
"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
"A software integration approach for designing and assessing dependable embedded systems",
Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
Software Engineering for Service-Oriented Overlay Computers,
: Springer, 2009.
"Software Diagnosis Using Compressed Signature Sequences",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 40, issue 2, pp. 87 - 103, 1996.
"SMT-Friendly Formalization of the Solidity Memory Model",
European Symposium on Programming, vol. 12075: Springer, pp. 224--250, 2020.
"Simulation-based Safety Assessment of High-level Reliability Models",
4th Workshop on Models for Formal Analysis of Real Systems, 2020.
Abstract
Simulation and transformation of domain-specific languages,
: Budapest University of Technology and Economics, 2006.
"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.
"SEViz: A Tool for Visualizing Symbolic Execution",
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
"SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity",
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008.
Abstract
"Sensor Selection for IT Infrastructure Monitoring",
Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
10.1007/978-3-642-11482-3_9
"SecureChange: Security Engineering for Lifelong Evolvable Systems",
European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
"Secure Views for Collaborative Modeling",
IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
"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
"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
"Scalable Query Evaluation in the Cloud",
STAF Doctoral Symposium, 07/2014.
"Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development",
Software and Systems Modeling, 01/2020.
"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.
"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.
"Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case",
TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 302-324, 11/2011.
Abstract
