Tomasz Mistrzyk

According to our database, Tomasz Mistrzyk authored at least 7 papers between 2007 and 2010.

Collaborative distances:

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

2010

Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen.

Tomasz Mistrzyk

PhD thesis, 2010

2009

Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking.

Florian Frische, Tomasz Mistrzyk, Andreas Lüdtke

Proceedings of the Human-Computer Interaction, 2009

Practical Use of Task Models for Building and Modeling Operations Chart in the Industrial Production.

Tomasz Mistrzyk, Alexander Redenius

Proceedings of the Human Interface and the Management of Information. Designing Information Environments, 2009

2008

Modellierung sicherheitskritischer Kommunikation in Aufgabenmodellen (Modelling Safety-Critical Communication within Task Models).

Tomasz Mistrzyk, Gerd Szwillus

i-com, 2008

AMBOSS: A Task Modeling Approach for Safety-Critical Systems.

Matthias Giese, Tomasz Mistrzyk, Andreas Pfau, Gerd Szwillus, Michael von Detten

Proceedings of the Engineering Interactive Systems, 2008

Modellierung und Analyse von Kommunikation in sicherheitskritischen Systemen basierend auf erweiterten Aufgabenmodellen.

Tomasz Mistrzyk, Gerd Szwillus

Proceedings of the Workshop Proceedings der Tagungen Mensch & Computer 2008, 2008

2007

On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing.

David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk

Proceedings of the Task Models and Diagrams for User Interface Design, 2007