prof. dr hab. Adam Roman
Jednostki:
- Wydział Matematyki i Informatyki UJ
- Instytut Informatyki i Matematyki Komputerowej
- Zakład Inżynierii Oprogramowania
Doktorat Otwarcie: 2005-11-24, Zamknięcie: 2006-10-26
Profesura Otwarcie: 2023-10-09, Zamknięcie: 2024-07-29
Publikacje:
57.
56.
Matthias Hamburg, Adam Roman
Black-box Testing for Practitioners – a Case of the New ISTQB Test Analyst Syllabus, International Conference on Software Testing, Verification and Validation [ICST], (2025), (accepted)
55.
Lucjan Stapp, Adam Roman, Michael Pilaeten, Werner Henschelchen, Stephan Goericke
ISTQB Certified Tester Foundation Level. Ein Handbuch zum Selbststudium und zur Prüfungsvorbereitung, Springer Verlag (połaczony z Kluwer Academic Publishing), 2025
54.
Adam Roman, Jarosław Hryszko, Rafał Brożek
Enhancing Software Defect Prediction: Exploring the Predictive Power of Two Data Flow Metrics vol. Communications in Computer and Information Science, vol 2028 (2024), "Evaluation of Novel Approaches to Software Engineering. ENASE 2023", Springer
53.
52.
Adam Roman, Lucjan Stapp, Michael Pilaeten
51.
Adam Roman, Lucjan Stapp, Michael Pilaeten
ISTQB Certified Tester Foundation Level. A Self-Study Guide Syllabus v4.0, Springer Verlag (połaczony z Kluwer Academic Publishing), 2024
50.
Adam Roman, Jakub Gomułka
Tractatus 6 Reconsidered: An Algorithmic Alternative to Wittgenstein’s Trade-off, History and Philosophy of Logic vol. 45,3 (2024), 323-340
49.
48.
Empirical Verification of TQED - A New Test Design Heuristic Technique, International Conference on Testing Software and Systems [ICTSS] vol. 14131, Lecture Notes in Computer Science (2023), 1-17
47.
Adam Roman, Rafał Brożek, Jarosław Hryszko
Predictive Power of Two Data Flow Metrics in Software Defect Prediction, International Conference on Evaluation of Novel Approaches to Software Engineering [ENASE], (2023), 114-125
46.
Designing Urban Transit Network using Memetic Algorithm, IEEE Congress on Evolutionary Computation [CEC], (2021), 343-350
45.
44.
Adam Roman, Lucjan Stapp
43.
Variational Auto-Encoders for Generating Feature-Preserving Automata, Proceedings of Ncma 2019, Books@ocg.at (austrian Computer Society) (2019), 171-185
42.
Adam Roman, Vojtech Vorel
41.
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018
40.
39.
Thinking-Driven Testing. The Most Reasonabl Approach to Quality Control, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018
38.
A machine learning approach to synchronization of automata, Expert Systems with Applications vol. 97 (2018), 357-371
37.
Data Validation Using Model-Based Testing and Finite Automata Synchronization, Aip Conference Proceedings 1836 (2017), 020007
36.
Jakub Kowalski, Adam Roman
A New Evolutionary Algorithm for Synchronization vol. LNCS 10199 (2017), "Applications of Evolutionary Computation", Springer Verlag (połaczony z Kluwer Academic Publishing)
35.
34.
33.
Michał Mnich, Adam Roman, Piotr Wawrzyniak
Mutation churn model, Schedae Informaticae vol. 25 (2016), 227-236
32.
Adam Roman, Karolina Zmitrowicz
31.
Rafał Babiarz, Adam Roman
Dynamic Stylometry for Defect Prediction, Advances in Intelligent Systems and Computing (2016), 91-102
30.
Maciej Chmielarz, Adam Roman, Lucjan Stapp
Postgraduate Studies on Software Testing in Poland, Software Engineering: Improving Practice Through Research (2016), 177-186
29.
Programista jako tester, Computerworld (2015), 24-25
28.
Testowanie i analiza mutacyjna, Programista vol. 6(37) (2015), 52-55
27.
Adam Roman, Marek Szykuła
Forward and backward synchronizing algorithms, Expert Systems with Applications vol. 42(24) (2015), 9512-9527
25.
Adam Roman, Vojtech Vorel
Parameterized Complexity of Synchronization and Road Coloring, Discrete Mathematics and Theoretical Computer Science vol. 17(1) (2015), 307-330
24.
Mateusz Drewienkowski, Adam Roman
23.
Adam Roman, Vojtech Vorel
Complexity of Road Coloring with Prescribed Reset Words, Lecture Notes in Computer Science vol. 8977 (2015), 161-172
22.
Testowanie eksploracyjne - cudowny lek czy zwykłe placebo?, Software Developer's Journal (2014), 4-15
21.
Agata Dróżdż, Marzena Frołow, Agata Kowalewska, Adam Roman, Bartosz Zieliński
A new approach to automatic continuous artery diameter measurement , Proceedings of the 2014 Federated Conference On Computer Science and Information Systems vol. 2 (2014), 247–251
20.
Kamil Bartocha, William Beckler, Krzysztof Osiewalski, Adam Roman
lastminute.com’s 12-week geo-experiment reveals a 43% uplift in Google AdWords values, Google Adwords Blog, Adwords.blogspot.com (2013), 3
19.
18.
17.
P--NP threshold for the Synchronizing Road Coloring, Lecture Notes in Computer Science vol. 7183 (2012), 482-492
16.
Dariusz Jędrzejczyk, Igor Podolak, Adam Roman
Application of Hierarchical Classifier to Minimal Synchronizing Word problem, Lecture Notes in Computer Science vol. 7267 (2012), 421-429
15.
Rafał Kudłacik, Adam Roman, Hubert Wagner
Effective synchronizing algorithms, Expert Systems with Applications vol. 39 (2012), 11746-11757
14.
Zbiór zadań z teorii języków formalnych i automatów, Wydawnictwo Uniwersytetu Jagiellońskiego, 2011
13.
Krzysztof Chmiel, Adam Roman
COMPAS - a computing package for synchronization, Lecture Notes in Computer Science vol. 6482 (2011), 79-86
12.
11.
NP-completeness of the Road Coloring Problem, Information Processing Letters vol. 111 (2011), 342-347
10.
Risk estimation for hierarchical classifier, Lecture Notes in Artificial Intelligence vol. 6678 (2011), 156-163
9.
Risk function estimation for subproblems in a hierarchical classifier, Pattern Recognition Letters vol. 32(15) (2011), 2136-2142
8.
7.
Experiments on synchronizing automata, Schedae Informaticae vol. 19 (2010), 35-51
6.
Genetic Algorithm for Synchronization, Lecture Notes in Computer Science vol. 5457 (2009), 684-695
5.
Synchronizing Finite Automaton with Short Reset Words, Applied Mathematics and Computation vol. 209 (2009), 125-136
4.
A new notion of weakness in classification theory vol. 57 (2009), "Advances in Intelligent and Soft Computing", Springer Verlag (połaczony z Kluwer Academic Publishing)
3.
Decision Version of the Road Coloring Problem is NP-complete, Lecture Notes in Computer Science vol. 5699 (2009), 287-297
2.
Wit Foryś, Adam Roman
Lower bound for the length of synchronizing words in partially-synchronizing automata, Lecture Notes in Computer Science vol. 4910 (2008), 448 - 459
1.
Algorithm for intelligent prediction of requests in business systems, Lecture Notes in Computer Science vol. 4910 (2008), 696-707
Konferencje:
10.
44th International Wittgenstein Symposium 2023, Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria, 2023-08-06 - 2023-08-12
9.
International Conference on Evaluation of Novel Approaches to Software Engineering [ENASE], INSTICC, Praga, Czechy, 2023-04-24 - 2023-04-25
8.
IEEE Congress on Evolutionary Computation [CEC], IEEE, Kraków, Polska, 2021-06-28 - 2021-07-01
7.
NCMA 2019, Department of Information Systems and Computation of the Universitat Politècnica de València, Valencia, Hiszpania, 2019-07-02 - 2019-07-03
6.
International Conference on Applied Mathematics and Computer Science ICAMCS 2017, --, Rzym, Włochy, 2017-01-27 - 2017-01-29
5.
Krajowa Konferencja Inżynierii Oprogramowania KKIO 2016, Politechnika Wrocławska, Wrocław, Polska, 2016-09-15 - 2016-09-17
4.
Data Validation Using Model-Based Testing and Finite Automata Synchronization, Politechnika Wrocławska, Wrocław, Polska, 2016-09-15 - 2016-09-17
3.
LATA 2015, 9th Int. Conf. on Language and Autoamta Theory and Applications, CNRS, GRLMC, Nice, France, 2015-03-02 - 2015-03-06
2.
FedCSIS 2014, Federated Conference on Computer Science and Information Systems, Warsaw University, Warsaw, Poland, 2014-09-07 - 2014-09-10
1.
ICAICS 2012, International Conference on Artificial Intelligence and Soft Computing, Polish Neural Network Society, Zakopane, Poland, 2014-06-01 - 2014-06-06
Doktoranci (po 27 października 2003 roku)
| Doktorant | Otwarcie | Zakonczenie |
|---|---|---|
| Piotr Wawrzyniak | 2016-11-24 | |
| Michał Mnich | 2016-09-29 | 2020-09-24 |
Recenzje (po 27 października 2003 roku)
| Recenzowany | Jednostka | Treść recenzji |
|---|---|---|
| Doktorat: Piotr Brendel | Katedra Matematyki Obliczeniowej |
Granty (realizowane po maju 2009 roku)
| Tytuł | Rola | Rozpoczęcie | Zakończenie |
|---|---|---|---|
| Synchronizacja automatów skończonych - teoria, algorytmy, narzędzia i zastosowania | Kierownik | 2013-07-04 | 2017-07-03 |
| Algorytmiczne aspekty synchronizacji | Kierownik | 2016-02-02 | 2019-02-01 |