Publikációk
Szűrők: Az Utónév Első Betűje = D [Minden szűrő visszaállítása]
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM
"LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms",
GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
"Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development",
Software and Systems Modeling, 01/2020.
"Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite",
IEEE International Symposium on Workload Characterization, 2020.
"Parallel GraphBLAS with OpenMP",
SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
"Model checking and test generation: towards a combined approach to software verification",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019.
Abstract
"Secure Views for Collaborative Modeling",
IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
"Industrial applications of the PetriDotNet modelling and analysis tool",
Science of Computer Programming, vol. 157, pp. 17-40, 2018.
Abstract
"MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems",
NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018.
Abstract
"PLC Program Translation for Verification Purposes",
Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 61, issue 2, pp. 151–165, 05/2017.
Abstract
"Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations",
Software and Systems Modeling, 2017.
"Advanced Techniques and Tools in Secure Collaborative Modeling",
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, ACM, 09/2017.
Preprinted version
"Property-based Locking in Collaborative Modeling",
20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, 09/2017.
"Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling",
2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.
"On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development",
European Conference on Modelling Foundations and Applications, Marburg, Germany, Springer, 07/2017.
"The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems",
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Paderborn, Germany, ACM, 2017.
"Well-Formedness and Invariant Checking of PLCspecif Specifications",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10-13, 2017.
"Formal Verification of Safety PLC Based Control Software",
Integrated Formal Methods, vol. 9681: Springer, pp. 508-522, 2016.
"PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016.
Abstract
"Improving Saturation-based Bounded Model Checking",
Acta Cybernetica, vol. 22, issue 3, no. 3, pp. 573-589, 2016.
"Component-wise Incremental LTL Model Checking",
Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
"Query-based Access Control for Secure Collaborative Modeling using Bidirectional Transformations",
ACM/IEEE 19th Int. Conf. on Model Driven Engineering Languages and Systems, Saint-Malo, France, 2016.
Acceptance rate: 23.7%. Received ACM Distinguished Paper Award.
"Incremental Backward Change Propagation of View Models by Logic Solvers",
19th International Conference on Model Driven Engineering Languages and Systems, Saint-malo, France, ACM, 07/2016 .
acceptance rate: 23.7%
"PLC Code Generation Based on a Formal Specification Language",
14th IEEE International Conference on Industrial Informatics (INDIN), Poitiers, France, IEEE, pp. 389-396, 07/2016.
- 1
- 2
- 3
- 4
- következő ›
- utolsó »