Michael Paulitsch
Michael Paulitsch
Verified email at intel.com - Homepage
TitleCited byYear
Leveraging multi-core computing architectures in avionics
J Nowotsch, M Paulitsch
2012 Ninth European Dependable Computing Conference, 132-143, 2012
Multi-core interference-sensitive WCET analysis leveraging runtime resource capacity enforcement
J Nowotsch, M Paulitsch, D Bühler, H Theiling, S Wegener, M Schmidt
2014 26th Euromicro Conference on Real-Time Systems, 109-118, 2014
TTEthernet dataflow concept
W Steiner, G Bauer, B Hall, M Paulitsch, S Varadarajan
2009 Eighth IEEE International Symposium on Network Computing and …, 2009
Self-checking pair on a braided ring network
B Hall, KR Driscoll, M Paulitsch
US Patent 7,372,859, 2008
Time-triggered communication
R Obermaisser
CRC Press, 2018
An investigation of membership and clique avoidance in TTP/C
G Bauer, M Paulitsch
Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000 …, 2000
Time-triggered ethernet
W Steiner, G Bauer, B Hall, M Paulitsch
Time-Triggered Communication, 209-248, 2018
Multicore in real-time systems–temporal isolation challenges due to shared resources
O Kotaba, J Nowotsch, M Paulitsch, SM Petters, H Theiling
Workshop on industry-driven approaches for cost-effective certification of …, 2013
Embedded self-checking asynchronous pipelined enforcement (escape)
B Hall, KR Driscoll, M Paulitsch
US Patent 7,783,808, 2010
Coverage and the use of cyclic redundancy codes in ultra-dependable systems
M Paulitsch, J Morris, B Hall, K Driscoll, E Latronico, P Koopman
2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005
The transition from asynchronous to synchronous system operation: An approach for distributed fault-tolerant systems
W Steiner, M Paulitsch
Proceedings 22nd International Conference on Distributed Computing Systems …, 2002
Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems
J Nowotsch, M Paulitsch, A Henrichsen, W Pongratz, A Schacht
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-5, 2014
Self-checking pair-based master/follower clock synchronization
B Hall, M Paulitsch, KR Driscoll
US Patent 7,912,094, 2011
The real byzantine generals
K Driscoll, B Hall, M Paulitsch, P Zumsteg, H Sivencrona
The 23rd Digital Avionics Systems Conference (IEEE Cat. No. 04CH37576) 2, 6 …, 2004
Mixed-Criticality Embedded Systems--A Balance Ensuring Partitioning and Performance
M Paulitsch, OM Duarte, H Karray, K Mueller, D Muench, J Nowotsch
2015 Euromicro Conference on Digital System Design, 453-461, 2015
A performance study of Audio Video Bridging in aeronautic Ethernet networks
E Heidinger, F Geyer, S Schneele, M Paulitsch
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), 67-75, 2012
Hybrid topology ethernet architecture
B Hall, M Paulitsch, DD Benson, P Rose, KR Driscoll
US Patent 8,130,773, 2012
Fault-containment and/or failure detection using encryption
KR Driscoll, B Hall, M Paulitsch
US Patent App. 11/551,539, 2008
Ringing out fault tolerance. a new ring network for superior low-cost dependability
B Hall, K Driscoll, M Paulitsch, S Dajani-Brown
2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005
Model-based development and the implications to design assurance and certification
D Bhatt, B Hall, S Dajani-Brown, S Hickman, M Paulitsch
24th Digital Avionics Systems Conference 2, 13 pp. Vol. 2, 2005
The system can't perform the operation now. Try again later.
Articles 1–20