Can we put concurrency back into redundant multithreading?
Dobe, Bjorn, Hartig, Hermann
Published in 2014 International Conference on Embedded Software (EMSOFT) (01.10.2014)
Published in 2014 International Conference on Embedded Software (EMSOFT) (01.10.2014)
Get full text
Conference Proceeding
Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints
Axer, Philip, Quinton, Sophie, Neukirchner, Moritz, Ernst, Rolf, Dobel, Bjorn, Hartig, Hermann
Published in 2013 25th Euromicro Conference on Real-Time Systems (01.07.2013)
Published in 2013 25th Euromicro Conference on Real-Time Systems (01.07.2013)
Get full text
Conference Proceeding
Using model checking tools to triage the severity of security bugs in the Xen hypervisor
Cook, Byron, Dobel, Bjorn, Kroening, Daniel, Manthey, Norbert, Pohlack, Martin, Polgreen, Elizabeth, Tautschnig, Michael, Wieczorkiewicz, Pawel
Published in 2020 Formal Methods in Computer Aided Design (FMCAD) (21.09.2020)
Published in 2020 Formal Methods in Computer Aided Design (FMCAD) (21.09.2020)
Get full text
Conference Proceeding
The Potential of Energy/Utility-Accrual Scheduling
Hahnel, M., Volp, M., Dobel, B., Hartig, H.
Published in 2013 27th International Conference on Advanced Information Networking and Applications Workshops (01.03.2013)
Published in 2013 27th International Conference on Advanced Information Networking and Applications Workshops (01.03.2013)
Get full text
Conference Proceeding
Multi-layer software reliability for unreliable hardware
Shafique, Muhammad, Axer, Philip, Borchert, Christoph, Chen, Jian-Jia, Chen, Kuan-Hsun, Döbel, Björn, Ernst, Rolf, Härtig, Hermann, Heinig, Andreas, Kapitza, Rüdiger, Kriebel, Florian, Lohmann, Daniel, Marwedel, Peter, Rehman, Semeen, Schmoll, Florian, Spinczyk, Olaf
Published in Information technology (Munich, Germany) (28.06.2015)
Published in Information technology (Munich, Germany) (28.06.2015)
Get full text
Journal Article