Publications

Embedded resource tool in Haskell

Attila Góbi, Tamás Kozsik, Barnabás Králik

STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA LIX:(Special Issue 1) pp. 129-136. (2014) 10th Joint Conference on Mathematics and Computer Science. Cluj-Napoca, Románia: 2014.05.21 -2014.05.25.

Elements of Functional Programming Languages

Gábor Páli, Zoltán Horváth, Viktória Zsók, Máté Tejfel, Judit Nyéky-Gaizler

In: Nyékyné Gaizler Judit (szerk.) Advanced Programming Languages. 1110 p. Budapest: Eötvös Loránd Tudományegyetem, 2014. pp. 856-931. (ISBN:978-963-284-450-3)

Reduction of Regresson Tests for Erlang Based on Impact Analysis

Z Horvath, I Bozó, M Tóth

STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 59: pp. 31-46. (2014) MACS. Cluj-Napoca, Románia: 2014.05.21 -2014.05.25.

2013

Random number generator for C++ template metaprograms

Zalán Szűgyi, Tamás Cséri, Zoltán Porkoláb

13th Symosium on Programming Languages and Software Tools

STL conform infinite streams

Zalán Szűgyi, Attila Góbi

AIP Conference Proceedings

A Practical Comparison of the Structured and the Functional Programming Paradigms

Melinda Simon, Gergely Dévai, Zoltán Porkoláb, Norbert Pataki

Proc. of the Twelfth International Conference on Informatics, pp. 110-115.

Implementing monads for C++ template metaprograms

Ábel Sinkovics, Zoltán Porkoláb

Journal of Science of Computer Programing

Domain-Specific Language Integration with C++ Template Metaprogramming

Ábel Sinkovics, Zoltán Porkoláb

Marjan Mernik (ed): Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. Hershey: Information Science Reference, 2013. pp. 33-56. (ISBN:978-1-4666-2092-6)

DSL in C++ Template Metaprogram

Zoltán Porkoláb, Ábel Sinkovics, István Siroki

Tutorial for DSL 2013, Cluj, July 2013.

Generating type-safe script languages from functional APIs

Gábor Horváth, Gábor Kozár, Zalán Szűgyi

Proceedings of the Twelfth International Conference on Informatics

Comparison of DC and MC/DC code coverages

Zalán Szűgyi, Zoltán Porkoláb

Proceedings of the Twelfth International Conference on Informatics

Embedding and Parsing Combined for Efficient Language Design

Gergely, Dévai; Dániel, Leskó; Máté, Tejfel

Proceedings of International Conference on Software Engineering and Applications, SCITEPRESS Digital Library, 2013.

The EDSL's struggle for their sources

Gergely, Dévai; Dániel, Leskó; Máté, Tejfel

DSL 2013 Summer School, Cluj-Napoca, Romania, 2013.

RefactorErl, a static source code analysis and transformation tool

Tóth, M., Bozó, I.

Talk at the Budapest Erlang User Group Meetup, Budapest, Hungary, December 2013.

Processable Erlang Data in C++

Németh, A., Tóth, M.

Talk and extended abstract On Middle-European Conference on Applied Theoretical Computer Science (MATCOS), Koper, Slovenia, October, 2013.

Identifying Code Clones with RefactorErl

Fördős, V. and Tóth, M.

In Proceedings of the 13th Symposium on Programming Languages and Software Tools, Szeged, Hungary, August, 2013.

Reduction of regression tests for Erlang based on impact analysis

Tóth, M., Bozó, I., Horváth, Z.

In Proceedings of the 25th Symposium on Implementation and Application of Functional Languages. Nijmegen, NL, August 2013.

Intermediate representations of functional programming languages for software quality control

Tóth, M.

Talk at the 13th Workshop on "Software Engineering Education and Reverse Engineering”, DAAD WS, Bansko, Bulgaria, August 2013.

Analysing, Refactoring, and Extending the Language with one Tool!

Tóth, M.

Tutorial at the 8th Erlang User Conference 2013, Stockholm, Sweden, May 2013.

Parallel Functional Programming Using D-Clean

Zsók Viktória

PhD, 101. p.

Static analysis of function calls in Erlang: Refining the static function call graph with dynamic call information by using data-flow analysis

Dániel, Horpácsi; Judit, Kőszegi

Dániel Horpácsi, Judit Kőszegi

LLVM backend for TILE64

Dávid Juhász and Tamás Kozsik

Poster at 2013 European LLVM Conference, Paris, France

Clean up the Web! In The Beauty of Functional Code

László Domoszlai and Tamás Kozsik

Volume 8106 of LNCS, pages 133-150.

Low level conditional move optimization

Artyom Antyipin, Attila Góbi, and Tamás Kozsik

Acta Cybernetica, 21:5-20.

Workflow Description in Cyber-Physical Systems

T. Kozsik, A. Lörincz, D. Juhász, L. Domoszlai, D. Horpácsi, M. Tóth, Z. Horváth

Studia Universitatis Babes-Bolyai Series Informatica, INFORMATICA 2, 20-30 p.

Technical Reports

2012

Improving quality of software analyser and transformer tools using specification based testing

Máté Tejfel, Melinda Tóth, István Bozó, Dániel Horpácsi, Zoltán Horváth

Appearing in ANNALES Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae Sectio Computatorica ISSN: 0138-9491

Extending Little Languages into Big Systems

Gábor Páli

4th Central European Functional Programming Summer School (CEFP), Budapest, Hungary, June 14 -- 24, 2011, Revisited Selected Lectures, Lecture Notes in Computer Science (LNCS), Vol. 7241, pp. 295--312, Springer-Verlag, ISSN: 0302-9743

Declarative Scheduling of Dataflow Networks

Gábor Páli

Annales Universitatis Scientarium Budapestiensis de Rolando Eötvös Nomiatae, Sectio Computatorica, Vol. 36(2012)

Static Analysis of Complex Software Systems Implemented in Erlang

Tóth, M., Bozó, I.

In Central European Functional Programming Summer School – Fourth Summer School, CEFP 2011, Revisited Selected Lectures, Lecture Notes in Computer Science (LNCS), Vol. 7241, pp. 451-514, Springer-Verlag, ISSN: 0302-9743

RefactorErl - Távközlési szoftverek elemzése és átalakítása

Bozó István, Horváth Zoltán, Király Roland, Kitlei Róbert, Kozsik Tamás, Lövei László, Tóth Melinda, Tejfel Máté

Poster at ELTE-IK Open Day (Nyilt Nap), January, 2012

Compile-time advances of the C++ Standard Template Library

Norbert Pataki

Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, Vol. 36, Selected papers of 9th Joint Conference on Mathematics and Computer Science MaCS 2012, pp. 341-353.

Compiling Haskell to JavaScript through Clean's core

László Domoszlai and Rinus Plasmeijer

Annales Universitatis Scientarium Budapestiensis de Rolando Eötvös Nomiatae, Sectio Computatorica, Vol. 36(2012)

A C++ pearl – self-referring streams

Attila Góbi, Zalán Szügyi, Tamás Kozsik

Safe Iterator Framework for the C++ Standard Template Library

Norbert Pataki

Acta Electrotechnica et Informatica 12(1), pp. 17-24.

Task-specific style verification

Norbert Pataki, Tamás Cséri, Zalán Szűgyi

AIP Conf. Proc. Vol. 1479, NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics, pp. 490-493

High-level Multicore Programming with C++11

Zalán Szűgyi, Márk Török, Norbert Pataki, Tamás Kozsik

Computer Science and Information Systems, Vol. 9, No. 3, pp. 1187-1202.

Towards Warning Annotations in C++11

Norbert Pataki, Márk Török

Proceedings of CSE 2012 International Scientific Conference on Computer Scinece and Engineering, pp. 79-86

Rule-based assignment of comments to AST nodes in C++ programs

Cséri, T., Szűgyi, Z., Porkoláb, Z.

In proc. of Conference of 5th Balkan Conference in Informatics (BCI)

Detecting Process Relationships in Erlang Programs,

Melinda Tóth, István Bozó

In Proceedings of the 24th Symposium on Implementation and Application of Functional Languages. Oxford, UK, September 2012.

2011

Proceedings of the Workshop on Generative Technologies 2011, (WGT 2011),

Zoltán Porkoláb, Norbert Pataki

WGT 2011 - ETAPS (European Joint Conferences on Theory and Practice of Software, 2011, Saarbrücken, Germany

A More Efficient and Type-Safe Version of FastFlow

Zalán Szűgyi, Norbert Pataki

Proceedings of Workshop on Generative Technologies (WGT 2011), pp. 24-37

Towards a Multicore C++ Standard Template Library

Zalán Szűgyi, Márk Török, Norbert Pataki

Proceedings of Workshop on Generative Technologies (WGT 2011), pp. 38-48.

Parallization of the Standard Template Library on Multicore Architectures

Norbert Pataki, Zalán Szűgyi, Márk Török

Spring Wind 2011, Tavaszi Szél 2011 Konferenciakötet, pp. 423-428

Advanced Functor Framework for C++ Standard Template Library

Norbert Pataki

Studia Universitatis Babes-Bolyai, Informatica, LVI, 1, pp. 99-113

Static analysis and refactoring towards Erlang multicore programming

Tóth, M., Bozó, I., Horváth, Z., Erdődi, A.

Pre-proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES'11, Saarbrücken, Germany

Using impact analysis based knowledge for validating refactoring steps

Bozó, I., Tóth, M., Tejfel, M., Horpácsi, D., Kitlei, R., Kőszegi, J., Horváth, Z.

In Proceedings of Knowledge Engineering: Principles and Techniques Conference, KEPT 2011, Studia Universitatis Babes-Bolyai Informatica Journal, Kolozsvár, Románia (ISSN 1224- 869x) vol. 61, 2011, pp. 57-64. 2011.

RefactorErl: a source code analyser and transformer tool

Tóth, M., Bozó, I., Horváth, Z., Kitlei, R., Király, R., Horpácsi, D., Kőszegi, J.

Innovation Day, ELTE

Features of C++ Template Metaprograms

Norbert Pataki, József Mihalicza, Zalán Szűgyi, Viktor Májer, Zoltán Porkoláb

Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010), Vol. 2., p. 451

SQL Code Complexity Analysis

Melinda Simon, Norbert Pataki

Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010), Vol. 1., pp. 353-359.

C++ Standard Template Library by Ranges

Norbert Pataki

Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010) Vol. 2., pp. 367-374

Measuring the Overhead of C++ Standard Template Library Safe Variants

Norbert Pataki, Zalán Szűgyi, Gergely Dévai

Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 264(5), pp. 71-83

Proceedings of the Second Workshop on Generative Technologies (WGT) 2010

Zoltán Porkoláb, Norbert Pataki

Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 264(5), pp. 1-122

Advantages of a Multi-Paradigm Programming Language in Agent-Based Model Definition

Richárd O. Legéndi, Attila Szabó

Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010), Vol. 1, pp. 127-134

Extension of Iterator Traits in the C++ Standard Template Library

Norbert Pataki, Zoltán Porkoláb

Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 919-922

Syntax Check of Embedded SQL in C++ with Proto

Zalán Szűgyi, Zoltán Porkoláb

Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010) Vol. 2., pp. 383-390

C++ Standard Template Library by Safe Functors

Norbert Pataki

Proceedings of the 8th Joint Conference on Mathematics and Computer Science, MaCS 2010, Selected Papers, pp. 363-374.

Tools for Large Scale (Distributed) Agent-Based Computational Experiments

László Gulyás, Attila Szabó, Richárd Legéndi, Tamás Máhr, Rajmund Bocsi, George Kampis

Proceedings of 2011 Computational Social Science Society of America Annual Conference

Effects of Time-Dependent Edge Dynamics on Properties of Cumulative Networks

Richard O. Legendi and Laszlo Gulyas

Proceedings of the Satellite Meeting EPNACS 2011 within ECCS'11

Multicore C++ Standard Template Library with C++0x

Zalán Szűgyi, Márk Török, Norbert Pataki, Tamás Kozsik

AIP Conf. Proc. Vol. 1389, NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics, pp. 857-860

Towards More Scalable C++ Concept Maps

Zalán Szűgyi, Norbert Pataki, Zoltán Porkoláb

Proceedings of 12th Symposium on Programming Languages and Software Tools, pp. 8-19

Compiler Support for Profiling C++ Template Metaprograms

József Mihalicza, Norbert Pataki, Zoltán Porkoláb

Proceedings of 12th Symposium on Programming Languages and Software Tools, pp. 32-43

Subtle Methods in C++

Zalán Szűgyi, Norbert Pataki, József Mihalicza

Acta Electrotechnica et Informatica 11(3), pp. 11-16

A Client-Server Model for Editing ODF Documents on Mobile Devices

I. Barna, P. Bauer, K. Bernád, Zs. Hernáth, B. Kőszegi, G. Kovács, T. Kozsik, Z. Lengyel, R. Roth, S. Sike, G. Takács

Acta Electrotecnhica et Informatica, Vol. 11(3), 2011. pp. 17-20.

C++ Standard Template Library by template specialized containers

Norbert Pataki

Acta Universitatis Sapientiae, Informatica, Vol. 3(2), pp. 141-157

Agents in Multicore Realm

Márk Török, Zalán Szűgyi, Norbert Pataki

Proceedings of the Eleventh International Conference on Informatics, Informatics 2011, pp. 213-215

Advanced Safe Iterators for the C++ Standard Template Library

Norbert Pataki

Proceedings of the Eleventh International Conference on Informatics, Informatics 2011, pp. 86-89

Multicore C++ Standard Template Library in a Generative Way

Zalán Szűgyi, Márk Török, Norbert Pataki

Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 63-72

Generative Version of the FastFlow Multicore Library

Zalán Szűgyi, Norbert Pataki

Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 73-84

Proceedings of the Third Workshop on Generative Technologies (WGT) 2011

Zoltán Porkoláb, Norbert Pataki

Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 1-96

C++ Standard Template Library by infinite iterators

Tamás Kozsik, Norbert Pataki, Zalán Szűgyi

Annales Mathematicae et Informaticae, Vol. 38, pp. 75-86

Implementing a non-strict purely functional language in JavaScript

László Domoszlai, Eddy Bruël, Jan Martin Jansen

Acta Univ. Sapientiae, Inform. 3, No. 1, 76-98

Static Analysis Based Support for Program Comprehension in Erlang

Tóth, M., Bozó, I., Kőszegi, J. and Horváth, Z.

In Acta Electrotechnica et Informatica, Volume 11, Number 03, October 2011. Publisher: Versita, Warsaw, ISSN 1335-8243 (print), ISSN 1338-3957 (online), pages 3-10.

Analysing Erlang BEAM files

Karácsonyi, M., Tóth, M.

In Proceedings of the 11th International Conference Informatics'2011, Roznava, Slovakia, November, 2011, ISBN 978-80-89284-94-8, pages 90-95.

Tóth, M., Bozó, I.

Change impact analysis

Talk at the 16th Erlang User Conference 2011, Stockholm, Sweden, November 2011.

RefactorErl - Source Code Analysis and Refactoring in Erlang

Bozó, I., Horpácsi, D., Horváth, Z., Kitlei, R., Köszegi, J., Tejfel. M. and Tóth, M.

In Proceedings of the 12th Symposium on Programming Languages and Software Tools, Tallin, Estonia, October, 2011., ISBN 978-9949-23-178-2, pages 138-148.

Using impact analysis based knowledge for validating refactoring steps

Bozó, I., Tóth, M., Tejfel, M., Horpácsi, D., Kitlei, R., Kőszegi, J., Horváth, Z.

International Conference on Knowledge Engineering, Principles and Techniques, KEPT 2011, Selected papers, Presa Universitara Clujeana, ISSN: 2067-1180, Cluj-Napoca, Romania, Jul 4-6, 2011, pp. 325-336.

Selecting Erlang test cases using impact analysis.

Bozó, I., Tóth, M.

In Proceedings of Symposium on Computer Languages, Implementations and Tools, Kassandra, Halkidiki, Greece, September, 2011. American Institute of Physics Conference Proceedings 1389, ICNAAM 2011 – 7. ISBN: 978-0-7354-0954-5, pages 802-805.

Reverse Engineering of Complex Software Systems via Static Analysis

Tóth, M., Bozó, I., Horváth, Z.

Lecture at Central European Functional Programming School, Budapest, Hungary, June, 2011.

Introduction to a Static Source Code Analyser and Transformer Tool for Erlang

Tóth, M.

Talk at the High Speed Network Workshop 2011, Budapest, Hungary, May 2011

RefactorErl: a source code analyser and transformer tool

Tóth, M., Bozó, I., Horváth, Z., Kitlei, R., Király, R., Horpácsi, D., Kőszegi, J.

Poster at the High Speed Network Workshop 2011, Budapest, Hungary, May 2011

RefactorErl - Távközlési szoftverek elemzése és átalakítása

Bozó István, Horváth Zoltán, Király Roland, Kitlei Róbert, Kozsik Tamás, Lövei László, Tóth Melinda, Tejfel Máté

Poster at ELTE-IK Open Day (Nyilt Nap), January, 2011 & November, 2011

A funkcionális programozás tanulásának támogatása interaktív tanulássegítő eszközzel

Diviánszky Péter, Páli Gábor

Informatikai a felsőoktatásban (IF) 2011, Debrecen, 2011. augusztus 24--26., konferenciakötet, pp. 518--525.

Size analysis of higher-order functions

Attila Góbi, Olha Shkaravska, Marko van Eekelen

Proceedings of the 12th International Symposium on Trends in Functional Programming, pp. 77–91, (2011)

4D Ariadne the Static Debugger of Java Programs

Zalán Szűgyi, István Forgács, Zoltán Porkoláb

Periodica Polytechnica Electrical Engineering and Computer Science

2010

C++ Standard Template Library in a Safer Way

Norbert Pataki, Zalán Szűgyi, Gergely Dévai

Workshop on Generative Technologies 2010 (WGT 2010), pp. 46-55.

Proceedings of the Workshop on Generative Technologies 2010, (WGT 2010)

Zoltán Porkoláb, Norbert Pataki

WGT 2010 - ETAPS (European Joint Conferences on Theory and Practice of Software, 2010, Paphos, Cyprus

Visualization of C++ Template Metaprograms

Zoltán Borók-Nagy, Viktor Májer, József Mihalicza, Norbert Pataki, Zoltán Porkoláb

Proceedings of Tenth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010), pp. 167-176.

Sophisticated Methods in C++

Zalán Szűgyi, Norbert Pataki

Proceedings of International Scientific Conference on Computer Science and Engineering (CSE 2010), pp. 93-100.

C++ Standard Template Libary by safe functors

Norbert Pataki

Abstracts of the 8th Joint Conference on Mathematics and Computer Science (MaCS'10), p.44.

C++ Metastring Library and its Applications

Zalán Szűgyi, Ábel Sinkovics, Norbert Pataki, Zoltán Porkoláb

Proceedings of Generative and Transformational Techniques in Software Engineering 2009, LNCS 6491, pp. 461-480.

Testing by C++ Template Metaprograms

Norbert Pataki

Acta Universitatis Sapientiae, Informatica, 2, 2, pp. 154−167

C++ exam methodology

Norbert Pataki, Zalán Szűgyi

Annales Mathematicae et Informaticae 37, pp.211-223

Software engineering education in cooperation with industrial partners

Zoltán Horváth, Tamás Kozsik, and László Lövei

Teaching Mathematics and Computer Science, 8(1):133-148.

Analysis of preprocessor constructs in Erlang

Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, and Melinda Tóth

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, pages 45-56, New York, NY, USA, 2010. ACM.

Implementatitons of Programming Languages I.

Zoltan, Csörnyei

Universitatis Budapestinensis de Rolando Eötvös, Budapest.

Translation Methods of Programming Languages

Zoltan Csörnyei

Farkas Gyula Szakkollégium, Babes-Bolyai Tudományegyetem, Kolozsvár.

Parallel programming techniques and linear type systems

Gábor Alagi, Zoltán Csörnyei, Katalin Pásztor Varga

Komarno, Slovakia, p. 11, ISBN 978-80-8122-003-6

D-Clean Semantics for Generating Distributed Computation Nodes

Viktória Zsók

Proceedings of the Workshop on Generative Technologies, WGT 2010, Satellite workshop at European Joint Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 77-84.

An Executable Semantics for D-Clean

Zsók V., Koopman P., Plasmeijer R.

Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, Alphen aan den Rijn, September 1-3, 2010, Technical Report UU-CS-2010-020 August, 2010, Utrecht University, The Netherlands

Trends in Functional Programming

Horváth Z., Zsók V., Achten, P., Koopman, P.

Volume 10, Intellect Ltd., United Kingdom, 2010, 192 p.

Central European Functional Programming School

Horváth Z., Plasmeijer R., Zsók V.

CEFP 2009, Komárno, Slovakia, May 24-30, 2009, Revised Selected Lectures, Lecture Notes in Computer Science (ISSN: 0302-9743), 1611-3349

D-Clean Semantics for Distributed Computation

Viktória Zsók

Abstracts of the 8th Joint Conference on Mathematics and Computer Science, MaCS 2010, Komárno, Slovakia, July 14-17, 2010, Selye János University, pp. 62.

Pipelining for Data Parallelization in Theorema

Sinka Zs., Jebelean T., Zsók V.

MaCs 2010, Komárno, Slovakia, July 14-17, 2010, Selye János University, pp. 50.

Functional Semantics of D-Clean

Viktória Zsók

ICAI 2010, Eger, Hungary, January 27-30, 2010.

Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs

Gergely Dévai, Máté Tejfel, Zoltán Gera, Gábor Páli, Gyula Nagy, Zoltán Horváth, Emil Axelsson, Mary Sheeran, András Vajda, Bo Lyckegard and Anders Persson

Proceedings of the ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization

Impact analysis of Erlang programs using behaviour dependency graphs

Tóth, M., Bozó, I., Horváth, Z., Lövei, L., Tejfel, M., and Kozsik, T.

In Central European Functional Programming Summer School, Lecture Notes in Computer Science, 2010

Feldspar – A Functional Embedded Language for Digital Signal Processing

Gergely Dévai, Zoltán Gera, Zoltán Horváth, Gábor Páli, Máté Tejfel

Proceedings of the 8th International Conference on Applied Informatics Eger, Hungary, January 27–30, 2010.

Functional Programming with C++ Template Metaprograms

Zoltán Porkoláb

CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures, LNCS Vol 6299, ISBN 978-3-642-17684-5

Domain-specific Language Integration with Compile-time Parser Generator Library

Zoltan Porkolab, Abel Sinkovics

Proceedings of the 9th International Conference on Generative Programming and Component Engineering, Eindhoven, Netherlands, October 10-13, 2010, ISBN: 978-1-4503-0154-1, pp.137-146.

Semantic User Interfaces

Károly Tilly, Zoltán Porkoláb

International Journal of Enterprise Information Systems, ISSN: 1548-1115, 2010, pp:29-43.

nth order flow analysis for Erlang

Tóth, M., Bozó, I., Horváth, Z., and Tejfel, M.

In 8th Joint Conference on Mathematics and Computer Science

Alternatívák a párhuzamos programozás tanításában

Biró Cs., Geda G., Török M.

Proceedings of Matematika és Informatika Didaktikai Konferencia, Szatmárnémeti, Romania January 28-30

Véletlenszerû programok nyelvtan alapú generálása QuickCheck használatával

Horpácsi, D. and Leskó, D.

Scientific Students' Associations Conference, ELTE, Budapest, Hungary

Implementing structural complexity metrics in Erlang

Király, R. and Kitlei, R.

8th International Conference on Applied Informatics, ICAI 2010

Erlang Semantic Query Language

Lövei, L., Hajós, L., and Tóth, M.

8th International Conference on Applied Informatics, ICAI 2010

Slicing Erlang programs

Bozó, I., Tóth, M., and Horváth, Z.

8th International Conference on Applied Informatics, ICAI 2010

Applying the Query Language to support program comprehension

Tóth, M., Bozó, I., and Horváth, Z.

In International Scientific Conference on Computer Science and Engineering, CSE 2010

Building dependency graph for slicing Erlang programs

Tóth, M. and Bozó, I.

In 7th Conference of PhD Students in Computer Science, CSCS 2010

A Domain Specific Language for Digital Signal Processing algorithms

Emil Axelsson, Koen Claessen, Gergely Devai, Zoltan Horvath, Karin Keijzer,

Chalmers University of Technology, Eotvos Lorand University

Non-monadic Models of Mutable References

Péter Diviánszky

In the programme of the Central European Functional Programming School, Komarno, Slovakia, 25–30 May, Appeared in LNCS 6299, Revised Selected Lectures of CEFP’09, 2010, pp. 147–187

ODF Mobile Edition – Towards the development of a mobile office software

Barna Imre, Bauer Péter, Bernád Kinga (Kolozsvár), Hernáth Zsolt, Horváth Zoltán, Kőszegi Balázs, Kovács Gergely, Kozsik Tamás, Lengyel Zsolt Roth Róbert (Kolozsvár), Sike Sándor, Takács Gábor

8th International Conference on Applied Informatics

A client-server model for editing ODF documents on mobile devices

Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering, pp. 224-230., ISBN 978-80-8086-164-3

Analysis of ODF Document Schema Transformations

Lengyel Zsolt, Sike Sándor

Conference of PhD Students in Computer Science, CSCS 2010

Introducing ODF to Mobile Platforms

OpenOffice.org Conference 2010

Introducing ODF to Mobile Platforms

Horváth, Z.

Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Germany, Oct 20, 2010.

RefactorErl: a source code analyser and transformer tool

Tóth, M. and Horváth, Z.

In Erlang User Conference 2010, Stockholm, Sweden

RefactorErl: a source code analyser and transformer tool

Tóth, M.

In Tutorial Workshop 2010, Stockholm, Sweden

Dependency Graphs for Parallelizing Erlang Programs

Tóth, M., Bozó, I., Horváth, Z., Erdődi, A.

In 22nd Symposium on Implementation and Application of Functional Languages, Alphen aan den Rijn, The Netherlands

1st order flow analysis for Erlang

Tóth, M., Bozó, I., Horváth, Z. and Tejfel, M.

In proceedings of 8th Joint Conference on Mathematics and Computer Science, Komárno, Slovakia

DeepTest the Static Debugger of Java Programs

Zalán Szűgyi, István Forgács, Zoltán Porkoláb

Extended Abstract in proc. of. 7th Conference of PhD Students in Computer Science, CSCS 2010 p. 68.

RefactorErl - Távközlési szoftverek elemzése és átalakítása

Bozó István, Horváth Zoltán, Király Roland, Kitlei Róbert, Kozsik Tamás, Lövei László, Tóth Melinda, Tejfel Máté

Poster at ELTE-IK Open Day (Nyilt Nap), January, 2010 & November, 2010

Measuring Software Complexity by Types

Gábor Páli, Tamás Kozsik

Proceedings of the 8th International Conference on Applied Informatics (ICAI), Eger, Hungary, January 27--30, 2010, Vol. 2., pp. 157--164.

Untangling type inference and scope analysis

Attila Góbi, Tamás Kozsik, Mónika Mészáros, Artyom Antyipin, Dorián Batha, Tamás Kiss

The 8th International Conference on Applied Informatics (ICAI) 2010

Type inference in Gb

Attila Góbi, Tamás Kozsik

8th Joint Conference on Mathematics and Computer Science (8th MaCS) 196–209, 2010

Detaching and reconstructing the documentary structure of source code

Mónika Mészáros, Péter Diviánszky, Attila Góbi, Andrea Kovács, Dániel Leskó, Gábor Páli

The 8th International Conference on Applied Informatics (ICAI), 2010

2009

A Semantic Model for Proving Properties of Clean Object I/O Programs

Tejfel M., Kozsik T., Horváth Z.

Annales Uni. Sci. Budapest de R. Eötvös Nom. Sectio Computatorica, (ISSN 0138-9491), Tomus XXXI. Budapest, Hungary, 2009, pp. 107–147.

A Domain Specific Language for DSP

Karina Bunyik, Gergely Dévai, Zoltán Gera, Zsolt Gyulavári, Zoltán Horváth, Mary Sheeran, Emil Axelsson, András Vajda, Peter Brauer

Poster, ELTE Innovation Day, 2009.

Infrastructure for Analysis of F# Programs

Péter Diviánszky, Zoltán Horváth, Mónika Mészáros, Gábor Páli, Artyom Antyipin, Dorián Batha, Andrea Kovács, Péter Kovács, Judit Kőszegi, Dániel Leskó

Poster, ELTE Innovation Day, 2009.

The HypereiDoc project

Péter Bauer, Tamás Cséri, Zoltán Horváth, Máté Kovács, Zsolt Hernáth, László Horváth, Erika Juhász, Gyula Mayer

Poster. ELTE Innovation Day, 2009

The D-Clean and D-Box Distributed Programming Environment

Zoltán Hernyák, Zoltán Horváth, Viktória Zsók

Poster, ELTE Innovation Day, 2009.

Refactoring in Erlang, a Dynamic Functional Language

László Lövei, Zoltán Horváth, Tamás Kozsik, Melinda Tóth, István Bozó

Poster, ELTE Innovation Day, 2009

Meta programming on the proof level

Gergely Dévai

Acta Universitatis Sapientiae, Informatica, 1(1):15-34

A tool for formally specifying the C++ Standard Template Library

Gergely Dévai, Norbert Pataki

Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 31:147-166

CEEPUS Network for Computer Science Education

Horváth Z., Zsók V.

Keynote talk. In: Bollin, A.-Bouchachia, A. (eds): Proceedings of First Computer Science and Mobility Workshop (CSMW 2009), AAU Klagenfurt, Austria, 9-10 April, 2009., ISBN 978-3-9500593-4-2, pp. 5-9.

Mobility Supported Software Engineering Education in Cooperation with Industrial Partners

Horváth Z., Kozsik T., Lövei L.

In: Bollin, A.-Bouchachia, A. (eds): Proceedings of First Computer Science and Mobility Workshop (CSMW 2009), AAU Klagenfurt, Austria, 9-10 April, 2009., ISBN 978-3-9500593-4-2, 55-61.

Commanding a robot in a safe way

Istenes, Zoltán and Kozsik, Tamás

Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:175-190

Analysis of profiling techniques for C++ template metaprograms

Zoltán Porkoláb, József Mihalicza, Norbert Pataki, Ádám Sipos

Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:97-116 (2009)

Towards detailed trace generation using the profiler in the .NET Framework

Pócza K., Biczó M. and Porkoláb Z.

Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:21-40 (2009)

Runtime access control in C# 3.0 using extension methods

Biczó M., Pócza K. and Porkoláb Z.

Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:41-60 (2009)

Generating Functional Implementations of Finite State Automata in C# 3.0

Biczó, M., Pócza, K.

Electronic Notes in Theoretical Computer Science (ENTCS), Volume 238, Issue 2 (June 2009), pp 3-12

Measuring Complexity of Embedded SQL Code

Norbert Pataki, Zoltán Porkoláb, Melinda Simon, Zoltán Vincellér

Local Proceedings of Advances in Databases and Information Systems (ADBIS 2009), pp. 117-130

Towards More Sophisticated Access Control

József Mihalicza, Norbert Pataki, Zoltán Porkoláb, Ádám Sipos

Proceedings of 11th Symposium on Programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering, pp. 117-131

Proceedings of the First Workshop on Generative Technologies (WGT) 2008

Zoltán Porkoláb, Norbert Pataki

ENTCS Vol. 238, Issue 2, pp. 1-82

Layout Preserving Parser for Refactoring in Erlang

Kitlei, R., Lövei, L., Nagy, T., Horváth, Z., Kozsik, T.

Acta Electrotechnica et Informatica, vol. 9., no. 3., pp. 54-63

C++ Method Utilities

Zalán Szűgyi, Norbert Pataki, József Mihalicza, Zoltán Porkoláb

Proceedings of the Tenth International Conference on Informatics (Informatics 2009), pp. 112-117

Adaptive, safe mobile robot programming in the intelligent space

Laszlo A. Jeni, Zoltan Istenes, Mate Tejfel, Peter Korondi, Hideki Hashimoto

Proceedings of the 2nd conference on Human System Interactions, Catania, Italy, IEEE, Pages: 418-423, ISBN:978-1-4244-3959-1

Modeling Semantic Knowledge in Erlang for Refactoring

Zoltán Horváth, László Lövei, Tamás Kozsik, Róbert Kitlei, Anikó Víg, Tamás Nagy, Melinda Tóth, and Roland Király

Studia Universitatis Informatica, 54:7-16

Szoftverrendszerek fejlesztésének oktatása projektfeladat keretén belül

Zoltán Horváth, Tamás Kozsik, and László Lövei

INFODIDACT 2009 Informatika Szakmódszertani Konferencia, Szombathely, Hungary, 2009. 8 pages, appeared on CD.

Távközlési szoftverek elemzése és átalakítása

Bozó, I., Horváth, Z., Király, R., Kitlei, R., Kozsik, T., Lövei, L., Tóth, M., Tejfel, M.

Poster, Eötvös Loránd University Open Day, Budapest

Refactoring and Analysis with RefactorErl

Lövei, L., Tóth, M., Horváth, Z.

In Property-based Testing Tutorial Workshop 2009, Stockholm, Sweden

Restructuring Erlang programs using function related refactorings

Tóth, M., Bozó, I.

In proceedings of the 11th Symposium on Programming Languages and Software Tools, p. 162-176, Tampere, Finland

Function related refactorings in a functional programming language

Bozó, I., Tóth, M.

National Scientific Students' Associations Conference, Debrecen, Hungary (received first prize)

RefactorErl - Távközlési szoftverek elemzése és átalakítása

Bozó István, Horváth Zoltán, Király Roland, Kitlei Róbert, Kozsik Tamás, Lövei László, Tóth Melinda, Tejfel Máté

Poster at ELTE-IK Open Day (Nyilt Nap), November, 2009

Detaching and Reconstructing the Documentary Structure of Source Code

Péter Diviánszky, Attila Góbi, Dániel Leskó, Mónika Mészáros, Gábor Páli

(Draft) Proceedings of the 10th Symposium on Trends in Functional Programming (TFP), Komarno, Slovakia, June 2--4, 2009, pp. 43--58.

2008

Programming Language Elements for Correctness Proofs

Gergely Dévai

Acta Cybernetica, 18(3):403-425

Speculative scheduling of parameter sweep applications using job behavior descriptions

Ulbert A., Lőrincz L. Cs., Kozsik T., Horváth Z.

International Journal of Grid and High Performance Computing (ISSN: 1938-0259), 2008, Vol. 1. no. 1. pp 22-38.

Central European Functional Programming School, Second Summer School, CEFP 2007. Revised Selected Lectures

Horváth Z., Plasmeijer, R., Soós, A., Zsók V.

Lecture Notes in Computer Science, (ISSN 0302-9743), vol. 5161. Springer 2008.

Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, September, 2007, Revised Selected Papers.

Chitil, O.-Horváth Z.-Zsók V.

Lecture Notes in Computer Science (ISSN 0302-9743) vol. 5083.

Use cases for refactoring in Erlang

Kozsik T., Csörnyei Z., Horváth Z., Király R., Kitlei R., Lövei L., Nagy T., Tóth M., Víg A.

Lecture Notes in Computer Science (ISSN 0302-9743), vol. 5161,pp. 264-298.

HypereiDoc – an XML based framework for supporting cooperative text editions

Bauer P., Hernáth Zs., Horváth Z. Mayer, Gy. Parragi, Zs., Porkoláb, Z., Sztupák Zs

Advances in Databases and Information Systems (ADBIS 2008), Lecture Notes in Computer Science (ISSN 0302-9743), vol. 5207, pp. 14-29., Springer 2008

Layout preserving, automatically generated parser for Erlang refactoring.

Kitlei R., Lövei L., Nagy T., Horváth Z

In Proc. of International Scientific Conference on Computer Science and Engineering, 2008.,pp. 83-90.

Building a refactoring tool for Erlang.

Horváth Z., Lövei L., Kozsik T., Kitlei R., Víg A., Nagy T., Tóth M., Király R.

ECOOP Workshop on Advanced Software Development Tools and Techniques, 2008. (http://smallwiki.unibe.ch/wasdett2008/), 11 pages.

Object Based Multiparadigm Concepts for Verification of Functional Components.

Tejfel M., Kozsik T., Horváth Z.

In Proc. of MPOOL 2008, ECOOP Workshop, 2008., 9 pages.

Call Graph and Data Flow Analysis of a Dynamic Functional Language

Nagy, T., Horváth, Z., Lövei, L., Tóth, M., Nagyné Víg, A.

Conference of PhD Students in Computer Science, CSCS 2008, Volume of extended abstracts, 2008, pp. 42-43.

Preprocessor and whitespace-aware toolset for Erlang source code manipulation.

Kitlei R., Lövei L., Nagy, T., Horváth Z., Kozsik T.

Extended abstract. In: Proceedings of the 19th International Symposium on Implementation and Application of Functional Programming Languages, 2008., 3 pages.

Module Structure Refactoring.

Horváth,Z., Lövei,L., Kozsik,T., Nagyné Víg,A., Nagy,T., Király,R., Tóth,M., Kitlei,R., Horpácsi,D., Köllő,H., Tóth,K., Hoch,Cs.

Report, 160 pages, May 31, 2008.

Erlang'08, Proceedings of the SIGPLAN Erlang Workshop

Horváth Z.

EWS'08, Victoria, British Columbia, Canada, September 27, 2008, ACM, ISBN: 978-1-60558-065-4

Automated syntax manipulation in RefactorErl

Kitlei R., Lövei L., Tóth M., Horváth Z., Kozsik T., Király R., Bozó I., Hoch Cs., Horpácsi D.

In proc. of Erlang User Conference 2007, Nov. 13, Stockholm, 2008., 6 pages

Experiences and Challenges in International Higher Education

Zsók V., Horváth Z.

In CD Proc. of ICERI 2008, Spain, ISBN 978-84-612-5091-2, 8 pages.

Refactoring Module Structure

Lövei, L., Hoch, C., Köllő, H., Nagy, T., Nagyné-Víg, A., Kitlei, R., Király, R.

In Proc. of. 7th ACM SIGPLAN Erlang Workshop, ACM SIGPLAN, pp. 83-89.

Funkcionális programozási nyelvek helyességvizsgálata

Tejfel, M.

PhD thesis

Static rules of variable scoping in Erlang

László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, and Róbert Kitlei

Proceedings of the 7th International Conference on Applied Informatics, volume 2, pages 137-145. 2008

An Operational Semantics of Temporal Properties in Functional Programs

Máté Tejfel and Tamás Kozsik

Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP), pages 396-406, 2008

Languages of Logic and their Applications

K. Pásztor Varga, M. Várterész

Computers and Mathematics with Applications, pp 1660-1669

Java 2 útikalauz programozóknak 5.0

Judit Nyékyné Gaizler and Attila Lakatos (eds)

ELTE TTK Hallgatói Alapítvány, Budapest, Hungary

On the Correctness of Aspect-Oriented Programs

Norbert Pataki, Zalán Szűgyi, Tamás Kozsik

Proc. of CSE 2008 International Scientific Conference on Computer Science and Engineering, pp. 126-132

The AV-graph in SQL-Based Environment

Norbert Pataki, Melinda Simon, Zoltán Porkoláb

Proc. of 12th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2008, pp. 11-20

A Comparative Study of C++ Standard Template Library's Formal Specification

Norbert Pataki, Gergely Dévai

Conference of PhD Students in Computer Science, CSCS 2008, Volume of extended abstracts, 2008, pp. 48

Proceedings of Workshop on Generative Technologies (WGT 2008)

Zoltán Porkoláb, Norbert Pataki

WGT 2008 - ETAPS (European Joint Conferences on Theory and Practice of Software

Towards the Modularization of C++ Concept Maps

Zalán Szűgyi, Ádám Sipos, Zoltán Porkoláb

In proc. of. Workshop on Generative Technologies, 2008

Necessary Test Cases for Decision Coverage and Modified Condition / Decision Coverage

Zalán Szűgyi, Zoltán Porkoláb

Conference of PhD Students in Computer Science, CSCS 2008, Volume of extended abstracts, 2008, pp. 59

Quantitative Comparison of MC/DC and DC Test Methods

Zalán Szűgyi, Zoltán Porkoláb

Proc. of 12th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2008, pp. 1-10

Meta<Fun> - Towards a Functional-Style Interface for C++ Template Metaprograms

Ádám Sipos, Viktória Zsók, Zoltán Porkoláb

In Frentiu et al ed.: Studia Universitatis Babes-Bolyai Informatica LIII, 2008/2, Cluj-Napoca, 2008, pp. 55-66.

Securing Distributed .NET Applications Using Advanced Runtime Access Control

Krisztián Pócza, Mihály Biczó, Zoltán Porkoláb

In Frentiu et al ed.: Studia Universitatis Babes-Bolyai Informatica LIII, 2008/2, Cluj-Napoca, 2008., pp. 39-54.

Recursive and Dynamic Structures in Generic Programming

Ábel Sinkovics, Zoltán Porkoláb

In Frentiu et al ed.: Studia Universitatis Babes-Bolyai Informatica LIII, 2008/2, Cluj-Napoca, 2008., pp. 93-104.

Generating Functional Implementations of Finite State Automata in C# 3.0

Biczó, M., Pócza, K.

Proceedings of the Workshop on Generative Technologies 2008 (WGT 2008), pages 67-75, Budapest (Hungary)

docx2tex: Word 2007 to TEX

Pócza,K., Biczó,M., Porkoláb,Z.

TUGboat, Volume 29, Number 3, 2008 TUG 2008 Conference Proceedings, pages 392-400, Cork (Ireland), 2008

A New Concept of Effective Regression Test Generation in a C++ Specific Environment

Biczó,M., Pócza,K., Forgács, I., Porkoláb, Z.

Acta Cybernetica 18 (2008), pp 481-501

FC#: Designing an Internal Functional DSL to C# 3.0

Pócza,K., Biczó,M., Porkoláb,Z.

Proceedings of the Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Technical Report no. 474 (2008), pages 299-314, Hatfield, Hertfordshire (UK), 2008

Automated syntax manipulation in RefactorErl

Kitlei, R., Lövei, L., Tóth, M., Horváth, Z., Kozsik, T., Király, R., Bozó, I., Hoch, Cs., Horpácsi, D.

In Proceedings of the 13th International Erlang/OTP User Conference, Stockholm, Sweden

Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse

Li, H., Thompson, S., Orosz, G., and Tóth, M.

In proceedings of the Seventh ACM SIGPLAN Erlang Workshop, pages 61-71, ACM Press, Victoria, British Columbia, Canada

Necessary test cases for Decision Coverage and Modified Condition / Decision Coverage

Zalán Szűgyi, Zoltán Porkoláb

Periodica. Polytechnica. Electrical Engineering, 52/3-4

2007