Authority and Level of Automation: Lessons to Be Learned in Design of In-vehicle Assistance Systems
Jansson, Anders, Stensson, Patrik, Bodin, Ida, Axelsson, Anton, Tschirner, Simon
Published in Human-Computer Interaction (2014)
Published in Human-Computer Interaction (2014)
Get full text
Book Chapter
Conference Proceeding
Solutions to the problem of inconsistent plans in railway traffic operation
Tschirner, Simon, Sandblad, Bengt, Andersson, Arne W.
Published in Journal of rail transport planning & management (01.12.2014)
Published in Journal of rail transport planning & management (01.12.2014)
Get full text
Journal Article
Security in Distributed Systems by Verifiable Location-Based Identities
Tschirner, Simon, Zeuch, Katharina, Kaven, Sascha, Bornholdt, Lorenz, Skwarek, Volker
Year of Publication 28.02.2023
Year of Publication 28.02.2023
Get full text
Journal Article
All or nothing: Deployment must also be user-centred
Isaksson-Lutteman, Gunnika, Sandblad, Bengt, Andersson, Arne W., Tschirner, Simon
Published in The ergonomics open journal (2012)
Get full text
Published in The ergonomics open journal (2012)
Journal Article
Moving Smart Contracts -- A Privacy Preserving Method for Off-Chain Data Trust
Tschirner, Simon, Tripathi, Shashank Shekher, Roeper, Mathias, Becker, Markus M, Skwarek, Volker
Year of Publication 17.05.2022
Year of Publication 17.05.2022
Get full text
Journal Article
Improved railway service by shared traffic information
Tschirner, Simon, Andersson, Arne W, Sandblad, Bengt
Published in 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings (01.08.2013)
Published in 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings (01.08.2013)
Get full text
Conference Proceeding
Credo Methodology
Grabe, Immo, Jaghoori, Mohammad Mahdi, Aichernig, Bernhard, Baier, Christel, Blechmann, Tobias, de Boer, Frank, Griesmayer, Andreas, Broch Johnsen, Einar, Klein, Joachim, Klüppelholz, Sascha, Kyas, Marcel, Leister, Wolfgang, Schlatte, Rudolf, Stam, Andries, Steffen, Martin, Tschirner, Simon, Xuedong, Liang, Yi, Wang
Published in Electronic notes in theoretical computer science (12.10.2010)
Published in Electronic notes in theoretical computer science (12.10.2010)
Get full text
Journal Article
The Credo Methodology: Extended Version
Grabe, Immo, Jaghoori, Mohammad Mahdi, Klein, Joachim, Klüppelholz, Sascha, Stam, Andries, Baier, Christel, Blechmann, Tobias, Aichernig, Bernhard K., de Boer, Frank, Griesmayer, Andreas, Johnsen, Einar Broch, Kyas, Marcel, Leister, Wolfgang, Schlatte, Rudolf, Steffen, Martin, Tschirner, Simon, Xuedong, Liang, Yi, Wang
Published in Formal Methods for Components and Objects
Published in Formal Methods for Components and Objects
Get full text
Book Chapter