Graduate theses/projects
Papers published
Citations (h-index 20)
Funded project PI/Co-PI/CoI
Total funds
Current graduate students
Best paper/poster awards
Publications this year
Citations in 2022
Conference/journal committee
Student with awards
From Brno to Waco: On cross-cultural exchange, microservice evolution, and quality assurance.
Read more..
I received my Bachelor and Engineer degrees from the Czech Technical University, FEE, in addition he received M.S. degree from Baylor University. Next, my Ph.D. in Information Science and Computer Engineering is from the Czech Technical University, FEE, which I received in 2016. Soon after graduation, I returned to Baylor University to join the faculty of the School of Engineering and Computer Science and my focus is Software Engineering, Static Analysis and Cloud-computing.
View Full Details CVWe look into cloud-native system analysis meant to reconstruct software architecture. Since each microservices can reside in self-contained codebase, we analyze each and combine the intermediate results. Our tool Prophet does it for Java and Prophet 2 is more universal.
Current students: Amr ElSayed, Abdullah Maruf, Rofiqul Islam, Rokin Maharjan, Md Rahaman
Past students: Dipta Das, Vincent Bushong, Jan Svacina
“Developing a prophet tool for cloud-native system static analysis”
Many others follow conventional system visualization, like UML, or ArchiMate; we seek 3D representation for architectural views of the overall system, we experiemnted with augmented reality as showed here:
Students: Vincent Bushong, Amr ElSayed
“Large Microservice-based cloud systems are decentralized, we want to see the system-centric perspective to reason about the system”
With a mobile app prototype, we collect various contextual information from the environment, with a smart lab environment we can utilize various sort of information and rationalize about the activities.
Current and formal students: Michal Trnka, Filip Rysavy, Vladyslav Gorbunov
“Smart environments need smart solutions to integrate context-awareness for automation or augmented use experience”
System codebase contains a lot of information that can reveal broad details about it. We analyze systems to find errors, improve tests or security, we challenge current gaps like decentralization and language specificity
Current students: Micah Schiewe, Jacob Curtis, Amr ElSayed
Current Bachelor students: Andrew Walker, Ian Laird, Jan Svacina, Jonathan Simmons, Dipta Das, Denton Woods
“Have you ever debugged program for hours to find an error? code analysis can locate the issue in a range of second.. but in current tools there are broad limits which we try to address, such as decentralization, and language specificity“
Extensive size of documents and material in natural language makes it difficult for individuals to assess compliance, knowledge and consistency
Students:Ernesto Caballero
“Automating knowledge extraction and reasoning in natural texts”
What is the right software design approach to build safe system; can we reduce vulnerabilities? Robust static and dynamic analysis can help
Current and formal students: Micah Schiewe, Jacob Curtis, Md Rahaman, Andrew Walker, Dipta Das, Michal Trnka, Filip Sedlinsky
“Enterprise systems have a lot of security concerns, static analysis has a lot to offer”
at Microservices 2022 for
Static analysis tools in the era of cloud-native systems
by Tomas Cerny; Davide Taibi
at IEEE SOSE 2022 for
Monolith to Microservices: VAE-Based GNN Approach with Duplication Consideration
by Korn Sooksatra, Rokin Maharjan, Tomas Cerny
at Closer 2022 for
Semantic Code Clone Detection Method for Distributed Enterprise Systems
by Jan Svacina, Vincent Bushong, Dipta Das and Tomas Cerny
at Microservices 2022 for
Static analysis tools in the era of cloud-native systems
by Tomas Cerny; Davide Taibi
at LXNLP 2022 for
Study of Question Answering on Legal Software Document using BERT based models
by Ernesto Quevedo Caballero, Mushfika Sharmin Rahman, Tomas Cerny, Pablo Rivas, Gissella Bejarano
Aspect-oriented challenges in system integration with microservices, SOA and IoT
Luebeck University of Applied Sciences
Contextual understanding of microservice architecture: current and future directions
Électricité de France (EDF)
Internet of Things: Current Challenges in the Quality Assurance and Testing Methods
South Ural State University
Identity Management of Devices in Internet of Things Environment
Hochschule Ravensburg-Weingarten
Spring/Fall
Fall
Spring
Spring
Spring
Spring/Fall
Spring/Fall
Fall
DefConf, Red Hat developer conference, Online!
Prophet: On holistic analysis of microservice applications - DevConf.CZ 2021
Research on testing automation and quality assurance at the CTU in Prague
Research on testing automation and quality assurance at Red Hat, Brno.
