default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKristóf Marussy
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c16]Dániel Szekeres
, Kristóf Marussy, István Majzik:
A Lazy Abstraction Algorithm for Markov Decision Processes - Theory and Initial Evaluation. ASMTA 2024: 81-96- [c15]Kristóf Marussy, Attila Ficsor, Oszkár Semeráth, Dániel Varró:
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. ICSE Companion 2024: 64-68 - [c14]Noor Al-Gburi, András Földvári, Kristóf Marussy, Oszkár Semeráth, Imre Kocsis:
Requirement-Driven Generation of Distributed Ledger Architectures. MODELS 2024: 268-279 - [c13]Ármin Zavada, Kristóf Marussy, Vince Molnár:
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics. MoDELS (Companion) 2024: 311-317 - [i3]Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró:
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation. CoRR abs/2405.08645 (2024) - [i2]Dániel Szekeres, Kristóf Marussy, István Majzik:
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation. CoRR abs/2406.00824 (2024) - 2022
- [j6]Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró:
Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21(5): 1763-1787 (2022) - [j5]Kristóf Marussy, Oszkár Semeráth, Dániel Varró:
Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Software Eng. 48(5): 1610-1629 (2022) - [c12]Boqi Chen, Kristóf Marussy, Sebastian Pilarski, Oszkár Semeráth, Dániel Varró:
Consistent Scene Graph Generation by Constraint Optimization. ASE 2022: 25:1-25:13 - [c11]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
System architecture synthesis for performability by logic solvers. MoDELS 2022: 43-54 - [d5]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". Version 1. Zenodo, 2022 [all versions]
- [d4]Máté Földiák, Kristóf Marussy, Dániel Varró, István Majzik:
Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". Version 2. Zenodo, 2022 [all versions] - 2021
- [j4]Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró:
Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. 20(5): 1713-1734 (2021) - [j3]Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró:
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ACM Trans. Embed. Comput. Syst. 20(6): 107:1-107:36 (2021) - [c10]Dániel Szekeres, Kristóf Marussy, István Majzik:
Tensor-based reliability analysis of complex static fault trees. EDCC 2021: 33-40 - [i1]Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró:
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation. CoRR abs/2102.03116 (2021) - 2020
- [j2]Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró:
A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. 19(3): 3:1-22 (2020) - [c9]Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró:
Automated generation of consistent models with structural and attribute constraints. MoDELS 2020: 187-199 - [c8]Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös:
Simulation-based Safety Assessment of High-level Reliability Models. MARS@ETAPS 2020: 240-260 - [d3]Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró:
Artifacts for "Automated Generation of Consistent Models with Structural and Attribute Constraints". Zenodo, 2020
2010 – 2019
- 2019
- [c7]István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró:
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. MoDELS 2019: 89-94 - 2018
- [j1]András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik:
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157: 17-40 (2018) - [c6]Kristóf Marussy, István Majzik:
Constructing Dependability Analysis Models of Reconfigurable Production Systems. CASE 2018: 1158-1163 - [c5]Kristóf Marussy, Oszkár Semeráth, Dániel Varró:
Incremental View Model Synchronization Using Partial Models. MoDELS 2018: 323-333 - [d2]Kristóf Marussy, Oszkár Semeráth, Dániel Varró:
ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". Version 1. Zenodo, 2018 [all versions] - [d1]Kristóf Marussy, Oszkár Semeráth, Dániel Varró:
ViewModel Tool and Benchmark Results for "Incremental View Model Synchronization Using Partial Models". Version 2. Zenodo, 2018 [all versions] - 2017
- [c4]Kristóf Marussy, Vince Molnár, András Vörös, István Majzik:
Getting the Priorities Right: Saturation for Prioritised Petri Nets. Petri Nets 2017: 223-242 - 2016
- [c3]Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek:
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. Petri Nets 2016: 281-300 - 2015
- [c2]Krisztián Búza, Júlia Koller, Kristóf Marussy:
PROCESS: Projection-Based Classification of Electroencephalograph Signals. ICAISC 2015: 91-100 - [p1]Nenad Tomasev, Krisztián Búza, Kristóf Marussy, Piroska B. Kis:
Hubness-Aware Classification, Instance Selection and Feature Construction: Survey and Extensions to Time-Series. Feature Selection for Data and Pattern Recognition 2015: 231-262 - 2013
- [c1]Kristóf Marussy, Krisztián Búza:
SUCCESS: A New Approach for Semi-supervised Classification of Time-Series. ICAISC (1) 2013: 437-447
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
