Publikációk
Szűrők: Az Utónév Első Betűje = S [Minden szűrő visszaállítása]
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems",
Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.
Abstract
"Empirical Assessment of Resilience",
Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
"Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)",
Tools and Algorithms for the Construction and Analysis of Systems, vol. 12652: Springer, 2021.
Abstract
(Accepted)
"NoSQL adatbázis-kezelők",
Adatbázisok, 4. kiadás, 2012.
"Ritka események",
Intelligens adatelemzés: Typotex Kft., 2014.
"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
"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
"TERMOS: A Formal Language for Scenarios in Mobile Computing Systems",
Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012.
Abstract
"A Tool for Managing Evolving Security Requirements",
IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012.
Abstract
10.1007/978-3-642-29749-6_8
"Towards Evaluating Size Reduction Techniques for Software Model Checking",
Proceedings of the Fifth International Workshop on Verification and Program Transformation, vol. 253: Open Publishing Association, pp. 75-91, 2017.
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.
"Automated Generation of Consistent Graph Models with Multiplicity Reasoning",
IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020.
Abstract
"Dependability Analysis in The Early Phases of Uml-based System Design",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001.
Abstract
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems",
International Journal on Software Tools for Technology Transfer, 09/2019.
Abstract
"Diversity of Graph Models and Graph Generators in Mutation Testing",
International Journal on Software Tools for Technology Transfer, 2019.
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Evaluating Well-Formedness Constraints on Incomplete Models",
Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
"Evaluation of Optimization Strategies for Incremental Graph Queries",
Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
"Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints",
International Journal on Software and Systems Modeling, 07/2015.
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM
"Gradient Based System-level diagnosis",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, Barborak, M., Malek, M., Dahbura, A., The consensus problem in faulttolerant computing (1993) ACM Computing Surveys, 25 (2), pp. 171-220. , June;Barsi, F., Grandoni, F., Maestrini, P., A theory of diagnosability of digital systems (1976) IEEE Transactions, pp. 43 - 55, 2007.
"Implementation of a testing and diagnostic concept for an NPP reactor protection system",
Lecture Notes in Computer Science, vol. 3463, pp. 391 - 402, 2005.
"Methods of Checking General Safety Criteria in Uml Statechart Specifications",
RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005.
Abstract
"Multiprocessor Checking Using Watchdog Processors",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 11, issue 5, pp. 301 - 310, 1996.
Abstract