publication

Accepted paper at ICSE 2018 conference

We are glad to inform that the paper A Graph Solver for the Automated Generation of Consistent Domain-Specific Models” co-authored by Oszkár Semeráth, András Szabolcs Nagy and Dániel Varró got accepted at the ICSE 2018 conference.  Read more »

Paper accepted to the 36th International Conference on Application and Theory of Petri Nets and Concurrency

Our paper entitled "New search strategies for the Petri net CEGAR approach" is accepted to the "36th International Conference on Application and Theory of Petri Nets and Concurrency".

This paper introduces our theoretical and algorithmic results regarding the advanced CounterExample Guided Abstraction Refinement algorithm applied to Petri nets.

Our paper is accepted to the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

A paper by our research group has been accepted at the TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) scientific conference, a top international forum for tools and algorithms for the construction and analysis of systems.

We would like to thank our student collaborators and the reviewers for their helpful feedback.

The title of our accepted paper: Saturation-based Incremental LTL Model Checking with Inductive Proofs

Three papers accepted at MODELS 2014

Three papers by our research group have been accepted at the MODELS 2014 (ACM/IEEE Model Driven Engineering Languages and Systems) scientific conference, the top international forum for model-driven software engineering. Read more »

VL/HCC 2011 conference in Pittsburgh

The VL/HCC sympsium (IEEE Symposium on Visual Languages and Human-Centric Computing) was hosted by Pittsburgh (PA) between September 18-22. Established in 1984, the mission of the conference is to support the design, theory, application and evaluation of computing technologies and languages for programming, modeling and communicating, which are easier to learn, use, and understand by people. Some of the companies participating in the conference are National Instruments (LabView), Microsoft, Northwoods, and AgentSheets. Read more »

Syndicate content