Contact | Legal | Deutsch German
Zur Startseite der Universität Bremen






Foto Peleska

Mr.
Prof. Dr. Jan Peleska
habil.

Faculty 03
Mathematics/Computer Science Mathematics/Computer Science

E-Mail: peleska@uni-bremen.de

Affiliations | Research Topics | Cooperations | Projects | Scientific Activities | Resources


Affiliations

High-Profile Areas
» Minds Media Machines


Graduate program
» Graduate School System Design (SyDe)


Additional inter-faculty institutions
» Center for Computing and Communication Technologies (TZI)


Affialation to a work group
Code Indication deutsch Indication englisch Faculty Keywords deutsch Keywords englisch
AGBS  Arbeitsgruppe Betriebssysteme/verteilte Systems  Operating systems and distributed systems  F03    Operating systems, distributed systems, embedded systems verification, safety-critical systems,model-based testing 




Research Topics
Engineering
» Computer Science
» Theoretical Computer Science
» Software Engineering and Programming Languages
» Security and Dependability
» Operating, Communication, Database and Distributed Systems
» Computer Architecture and Embedded Systems


Cooperations

Researchers with cooperation
Institution City Category Country of origin
DTU Denmark technical University Lyngby, Kopenhagen University abroad
University of York York University abroad
University of Newcastle Newcastle University abroad
University of Aarhus Aarhus University abroad



Projects

Projects (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agbs/jp/projects_e.html http://www.informatik.uni-bremen.de/agbs/jp/projects_e.html


Agencies that have funded your research during the past five years (public institutions and foundations)
» DFG
» BMBF
» BMWi
» EU (7. FP)


Funding sources during the past five years (enterprises)
Company name Country of origin Term
Siemens Germany 05.2013-04.2016


Expertise
Verification, validation, and testing of safety-critical systems in the following domains: avionic, railways, automotive.
Verification by bounded model checking
Model-based testing
Formal methods in computer science
Real-time operating systems.



Scientific Activities


Publications (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agbs/jp/jp_papers_e.html http://www.informatik.uni-bremen.de/agbs/jp/jp_papers_e.html


Most significant Publications
Finite complete suites for CSP refinement testing
Type
Author(s)Jan Peleska, Wen-ling Huang, and Ana Cavalcanti
Year2019
InScience of Computer Programming
Year175
Pages1-23
Doihttps://doi.org/10.1016/j.scico.2019.04.004
Link zu VolltextLink (extern): https://www.sciencedirect.com/science/article/pii/S0167642319300620?dgcid=author https://www.sciencedirect.com/science/article/pii/S0167642319300620?dgcid=author
Article
 
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
Type
Author(s)Felix Hübner, Wen-ling Huang, and Jan Peleska
Year2019
InSoftware and System Modeling
Year18
Issue1
Pages423-443
Doihttps://doi.org/10.1007/s10270-017-0595-8
Link zu VolltextLink (extern): https://doi.org/10.1007/s10270-017-0595-8 https://doi.org/10.1007/s10270-017-0595-8
Article
 
Complete model-based equivalence class testing for nondeterministic systems
Type
Author(s)Wen-ling Huang and Jan Peleska
Year2017
InFormal Aspects of Computing
Year29
Issue2
Pages335-364
Doi10.1007/s00165-016-0402-2
Link zu VolltextLink (extern): https://link.springer.com/article/10.1007%2Fs00165-016-0402-2 https://link.springer.com/article/10.1007%2Fs00165-016-0402-2
Article
 
Complete model-based equivalence class testing.
Type
Author(s)Wen-ling Huang and Jan Peleska
Year2014
InInt J Softw Tools Technol Transfer.
Year2014
IssueFirst online: 21 November 2014
Pages1-19
Doi DOI 10.1007/s10009-014-0356-8
Link zu VolltextLink (extern): http://link.springer.com/article/10.1007/s10009-014-0356-8 http://link.springer.com/article/10.1007/s10009-014-0356-8
Article
 
Formal Development and Verification of a Distributed Railway Control System
Type
Author(s)Anne E. Haxthausen and Jan Peleska
Year2000
InIEEE Transactions on Software Engineering
Year1999
Issue26, No. 8
Pages687-701
Doihttp://doi.ieeecomputersociety.org/10.1109/32.879808
Link zu VolltextLink (extern): http://www.computer.org/csdl/trans/ts/2000/08/e0687-abs.html http://www.computer.org/csdl/trans/ts/2000/08/e0687-abs.html
Article
 


 

Ph.D. supervision (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agbs/qualifikationsarbeiten/dissertationen_e.html http://www.informatik.uni-bremen.de/agbs/qualifikationsarbeiten/dissertationen_e.html


Habilitations (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agbs/qualifikationsarbeiten/habilitationen_e.html http://www.informatik.uni-bremen.de/agbs/qualifikationsarbeiten/habilitationen_e.html



Resources
 




« back