Pavel Herout

According to our database, Pavel Herout authored at least 19 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Specialized path-based technique to test Internet of Things system functionality under limited network connectivity.

Matej Klima, Miroslav Bures, Bestoun S. Ahmed, Xavier J. A. Bellekens, Robert C. Atkinson, Christos Tachtatzis, Pavel Herout

Internet Things, July, 2023

Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests.

Matej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2021

PatrIoT: IoT Automated Interoperability and Integration Testing Framework.

Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing.

Miroslav Bures, Pavel Herout, Bestoun S. Ahmed

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2016

UML-Test Application for Automated Validation of Students' UML Class Diagram.

Pavel Herout, Premek Brada

Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

2015

Duck Testing Enhancements for Automated Validation of Student Programmes - How to Automatically Test the Quality of Implementation of Students' Programmes.

Pavel Herout, Premysl Brada

Proceedings of the CSEDU 2015, 2015

2013

SimCo - Hybrid Simulator for Testing of Component Based Applications.

Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Verification of SimCo - Simulation tool for testing of component-based application.

Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout

Proceedings of Eurocon 2013, 2013

2012

Automatic Human Body Parts Detection in a 2D Anthropometric System.

Tomás Kohlschütter, Pavel Herout

Proceedings of the Advances in Visual Computing - 8th International Symposium, 2012

Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework.

Tomas Potuzak, Richard Lipka, Premek Brada, Pavel Herout

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011

Signal Pre-processing Subsystem for the Purpose of Industrial Control.

Ivan Puchr, Pavel Herout

Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011

Design of a Component-Based Simulation Framework for Component Testing Using SpringDM.

Tomas Potuzak, Richard Lipka, Jaroslav Snajberk, Premek Brada, Pavel Herout

Proceedings of the Second Eastern European Regional Conference on the Engineering of Computer Based Systems, 2011

2009

Parameterization of Samples for Modeling of Laser Burning - Increasing the Lifelikeness of Synthetically Generated Samples.

Jana Hajková, Pavel Herout

Proceedings of the ICSOFT 2009, 2009

System For Comparison Of Traffic Control Agents' Performance.

Richard Lipka, Pavel Herout

Proceedings of the European Conference on Modelling and Simulation, 2009

2008

Implementation of Traffic Lights in JUTS.

Richard Lipka, Pavel Herout

Proceedings of the 10th EUROS/UKSim International Conference on Computer Modelling and Simulation, 2008

2004

Dependability Evaluation of Time Triggered Architecture Using Simulation.

Stanislav Racek, Pavel Herout, Jan Hlavicka

Comput. Artif. Intell., 2004

2002

Fault Tolerance Evaluation Using Two Software Based Fault Injection Methods.

Astrit Ademaj, Petr Grillinger, Pavel Herout, Jan Hlavicka

Proceedings of the 8th IEEE International On-Line Testing Workshop (IOLTW 2002), 2002

Model-Based Dependability Evaluation Method for TTP/C Based Systems.

Pavel Herout, Stanislav Racek, Jan Hlavicka

Proceedings of the Dependable Computing, 2002

2000

Evaluation of process controller fault tolerance using simulation.

Jan Hlavicka, Stanislav Racek, Pavel Herout

Simul. Pract. Theory, 2000