Kontakt | Impressum | English Englisch
Zur Startseite der Universität Bremen






Foto Peleska

 Herr
Prof. Dr. Jan Peleska
habil.

Fachbereich 03
Mathematik/Informatik Mathematik/Informatik

E-Mail: peleska@uni-bremen.de
Zugehörigkeiten | Forschungsthemen | Kooperationen | Projekte | Wissenschaftliche Aktivitäten | Ressourcen


Zugehörigkeiten

Zugehörigkeit zu einem Wissenschaftsschwerpunkt der Universität Bremen		 » Minds Media Machines


Graduiertenprogramme		 » Graduiertenkolleg System Design (SyDe)


Weitere fachbereichsübergreifende Einrichtungen		 » Technologie-Zentrum Informatik und Informationstechnik (TZI)


Zugehörigkeit zur Arbeitsgruppe/zur Professur
Kürzel Bezeichnung deutsch Bezeichnung englisch Fachbereich Schlagwörter deutsch Schlagwörter englisch
AGBS  Arbeitsgruppe Betriebssysteme/verteilte Systems  Operating systems and distributed systems  FB03    Operating systems, distributed systems, embedded systems verification, safety-critical systems,model-based testing 




Forschungsthemen
Ingenieurwissenschaften
 » Informatik
» Theoretische Informatik
» Softwaretechnik und Programmiersprachen
» Sicherheit und Verlässlichkeit
» Betriebs-, Kommunikations-, Datenbank- und verteilte Systeme
» Rechnerarchitekturen und eingebettete Systeme


Kooperationen

WissenschaftlerInnen mit Kooperation
Institution Stadt Kategorie Herkunftsland
DTU Denmark technical University Lyngby, Kopenhagen Hochschule Ausland
University of York York Hochschule Ausland
University of Newcastle Newcastle Hochschule Ausland
University of Aarhus Aarhus Hochschule Ausland



Projekte

Projekte (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


Mittelgeber der letzten fünf Jahre (Öffentliche Einrichtungen und Stiftungen)		 » DFG
» BMBF
» BMWi
» EU (7. RP)


Mittelgeber der letzten fünf Jahre (Unternehmen)
Firmenname Herkunftsland Laufzeit
Siemens Deutschland 05.2013-04.2016


Expertise		 Diese Information ist nur auf Englisch verfügbar 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.



Wissenschaftliche Aktivitäten


Publikationen (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


Bedeutendste Publikationen
Finite complete suites for CSP refinement testing
Art
Autor/enJan Peleska, Wen-ling Huang, and Ana Cavalcanti
Jahr2019
InScience of Computer Programming
Jahrgang175
Seiten1-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
 Zeitschriftenaufsatz
 
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
Art
Autor/enFelix Hübner, Wen-ling Huang, and Jan Peleska
Jahr2019
InSoftware and System Modeling
Jahrgang18
Heft1
Seiten423-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
 Zeitschriftenaufsatz
 
Complete model-based equivalence class testing for nondeterministic systems
Art
Autor/enWen-ling Huang and Jan Peleska
Jahr2017
InFormal Aspects of Computing
Jahrgang29
Heft2
Seiten335-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
 Zeitschriftenaufsatz
 
Complete model-based equivalence class testing.
Art
Autor/enWen-ling Huang and Jan Peleska
Jahr2014
InInt J Softw Tools Technol Transfer.
Jahrgang2014
HeftFirst online: 21 November 2014
Seiten1-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
 Zeitschriftenaufsatz
 
Formal Development and Verification of a Distributed Railway Control System
Art
Autor/enAnne E. Haxthausen and Jan Peleska
Jahr2000
InIEEE Transactions on Software Engineering
Jahrgang1999
Heft26, No. 8
Seiten687-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
 Zeitschriftenaufsatz
 


 

Promotionen (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


Habilitationen (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



Ressourcen
 




« zurück