Pavel Herout

21 papers A 2B 1C 1Misc 1Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2023 — conf
Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests.
ICSTW
Matej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout
2023 J jnl
Specialized path-based technique to test Internet of Things system functionality under limited network connectivity.
Internet Things
Matej Klima, Miroslav Bures, Bestoun S. Ahmed, Xavier J. A. Bellekens, Robert C. Atkinson, Christos Tachtatzis, Pavel Herout
2021 A conf
PatrIoT: IoT Automated Interoperability and Integration Testing Framework.
ICST
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
2021 J jnl
PatrIoT: IoT Automated Interoperability and Integration Testing Framework.
CoRR
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
2020 A conf
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing.
ICST
Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
2020 J jnl
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing.
CoRR
Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
2016 — conf
UML-Test Application for Automated Validation of Students' UML Class Diagram.
CSEE&T
Pavel Herout, Premek Brada
2015 — conf
Duck Testing Enhancements for Automated Validation of Student Programmes - How to Automatically Test the Quality of Implementation of Students' Programmes.
CSEDU (1)
Pavel Herout, Premysl Brada
2013 B conf
SimCo - Hybrid Simulator for Testing of Component Based Applications.
SOFSEM
Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout
2013 — conf
Verification of SimCo - Simulation tool for testing of component-based application.
EUROCON
Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout
2012 — conf
Automatic Human Body Parts Detection in a 2D Anthropometric System.
ISVC (2)
Tomás Kohlschütter, Pavel Herout
2012 — conf
Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework.
EUROMICRO-SEAA
Tomas Potuzak, Richard Lipka, Premek Brada, Pavel Herout
2011 — conf
Design of a Component-Based Simulation Framework for Component Testing Using SpringDM.
ECBS-EERC
Tomas Potuzak, Richard Lipka, Jaroslav Snajberk, Premek Brada, Pavel Herout
2011 — conf
Signal Pre-processing Subsystem for the Purpose of Industrial Control.
ICINCO (1)
Ivan Puchr, Pavel Herout
2009 — conf
Parameterization of Samples for Modeling of Laser Burning - Increasing the Lifelikeness of Synthetically Generated Samples.
ICSOFT (1)
Jana Hajková, Pavel Herout
2009 C conf
System For Comparison Of Traffic Control Agents' Performance.
ECMS
Richard Lipka, Pavel Herout
2008 — conf
Implementation of Traffic Lights in JUTS.
UKSim
Richard Lipka, Pavel Herout
2004 J jnl
Dependability Evaluation of Time Triggered Architecture Using Simulation.
Comput. Artif. Intell.
Stanislav Racek, Pavel Herout, Jan Hlavicka
2002 — conf
Fault Tolerance Evaluation Using Two Software Based Fault Injection Methods.
IOLTW
Astrit Ademaj, Petr Grillinger, Pavel Herout, Jan Hlavicka
2002 Misc conf
Model-Based Dependability Evaluation Method for TTP/C Based Systems.
EDCC
Pavel Herout, Stanislav Racek, Jan Hlavicka
2000 J jnl
Evaluation of process controller fault tolerance using simulation.
Simul. Pract. Theory
Jan Hlavicka, Stanislav Racek, Pavel Herout