Travelled to:1 × Denmark
1 × Italy
1 × Turkey
1 × United Kingdom
2 × Germany
3 × France
Collaborated with:∅ W.Huang H.Löding A.E.Haxthausen M.Siegel F.Hübner J.Brauer U.Schulze T.Mende R.Koschke B.Krieg-Brückner E.Olderog A.Baer N.Przigoda C.Hilken R.Wille R.Drechsler A.Honisch F.Lapschies H.Schmid P.Smuda E.Vorobev C.Zahlten
Talks about:test (10) model (6) develop (3) system (3) equival (2) concurr (2) integr (2) formal (2) class (2) check (2)
Person: Jan Peleska
DBLP: Peleska:Jan
Contributed to:
2015
2015
20132012
20112011
20102002
19991996Wrote 12 papers:
- MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml
- Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
- TAP-2015-HubnerHP #equivalence #evaluation #novel #testing
- Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy (FH, WlH, JP), pp. 155–172.
- ICTSS-2013-HuangP #equivalence #modelling #testing
- Exhaustive Model-Based Equivalence Class Testing (WlH, JP), pp. 49–64.
- ICTSS-2012-BrauerPS #modelling #performance #testing #tool support
- Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
- CSMR-2011-MendeKP #case study #fault #integration #on the #predict #testing
- On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study (TM, RK, JP), pp. 259–268.
- ICTSS-2011-PeleskaHLLSSVZ #benchmark #concurrent #metric #realtime #testing
- A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain (JP, AH, FL, HL, HS, PS, EV, CZ), pp. 146–161.
- ICST-2010-LodingP #automaton #generative #model checking #testing
- Timed Moore Automata: Test Data Generation and Model Checking (HL, JP), pp. 449–458.
- TestCom-2002-Peleska #hardware #integration #product line #testing
- Hardware/Software Integration Testing for the new Airbus Aircraft Families (JP), p. 335–?.
- FM-v2-1999-HaxthausenP #development #distributed #verification
- Formal Development and Verification of a Distributed Railway Control System (AEH, JP), pp. 1546–1563.
- FM-v2-1999-Krieg-BrucknerPOB #development #formal method
- The UniForM Workbench, a Universal Development Environment for Formal Methods (BKB, JP, ERO, AB), pp. 1186–1205.
- FME-1996-Peleska #automation #industrial #safety #testing
- Test Automation for Safety-Critical Systems: Industrial Application and Future Developments (JP), pp. 39–59.
- FME-1996-PeleskaS #implementation #testing
- From Testing Theory to Test Driver Implementation (JP, MS), pp. 538–556.