Publikációk
"Towards Precise Metrics for Predicting Graph Query Performance",
2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, IEEE, pp. 412--431, 11/2013.
Abstract
Acceptance Rate: 23%
"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
"Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver",
ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems, Miami, US, Springer LNCS 8107, 09/2013.
Abstract
ACM/IEEE Best Paper Award, Acceptance rate: 26%
Additional information available at http://incquery.net/content/validation-derived-features-and-well-formedn...
"Efficient Saturation-based Bounded Model Checking of Asynchronous Systems",
13th Symposium on Programming Languages and Software Tools (SPLST'13), Szeged, Hungary, University of Szeged, pp. 259–273, 08/2013.
"Extensions to the CEGAR Approach on Petri Nets",
Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, Szeged, Hungary, University of Szeged, pp. 274–288, 08/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.
"IncQuery-D: Incremental Graph Search in the Cloud",
Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE, Budapest, Hungary, ACM, 2013.
"PN2SC Case Study: An EMF-IncQuery solution",
TTC 2013: Sixth Transformation Tool Contest, 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.
Incremental Model Queries in Model-Driven Design,
, vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Languages and frameworks for specifying test artifacts,
: Budapest University of Technology and Economics, 2013.
Isolation and Pex: case study of cooperation,
: Budapest University of Technology and Economics, 09/2013.
Abstract
Automated Evaluation of the Test Traces of Autonomous Systems,
, Budapest, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, pp. 25 pages, 01/2013.
Transforming PLC programs into formal models for verification purposes,
, no. CERN-ACC-NOTE-2013-0040: CERN, 2013.
"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
"NoSQL adatbázis-kezelők",
Adatbázisok, 4. kiadás, 2012.
"Robustness Testing Techniques and Tools",
Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
"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
"Change-driven model transformations. Change (in) the rule to rule the change.",
Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
"Dynamic constraint satisfaction problems over models",
Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012.
Abstract
"Lessons Learned from Building Model-Driven Development Tools",
Software and Systems Modeling, 2012.
Abstract
"Replaying Execution Trace Models for Dynamic Modeling Languages",
Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012.
Abstract
"OWLAP—Using OLAP approach in anomaly detection: Award: Good support for the data preparation, analysis, and presentation process",
2012 IEEE Conference on Visual Analytics Science and Technology (VAST), Seattle, IEEE, 10/2012.