Specification‚ Implementation and Verification of Refactorings by Schäfer, M

Specifying and Implementing Refactorings by Schäfer, M, de Moor, O

Formalising and Verifying Reference Attribute Grammars in Coq. by Schäfer, M, Ekman, T, Moor, O

Experimental Analysis of Attacks on Next Generation Air Traffic Communication by Schäfer, M, Lenders, V, Martinovic, I

Information flow analysis for a dynamically typed language with staged metaprogramming by Lester, M, Ong, L, Schäfer, M

Invited Poster: Challenges in NextGen Air Traffic Management by Strohmeier, M, Schäfer, M, Martinovic, I

Sound and Extensible Renaming for Java by Schäfer, M, Ekman, T, de Moor, O

Formalising and Verifying Reference Attribute Grammars in Coq by Schäfer, M, Ekman, T, de Moor, O

Stepping Stones over the Refactoring Rubicon. by Schäfer, M, Verbaere, M, Ekman, T, Moor, O

Stepping Stones over the Refactoring Rubicon – Lightweight Language Extensions to Easily Realise Refactorings by Schäfer, M, Verbaere, M, Ekman, T, de Moor, O

Realities and Challenges of NextGen Air Traffic Management: The Case of ADS−B by Strohmeier, M, Schäfer, M, Lenders, V, Martinovic, I

Refactoring Java Programs for Flexible Locking by Schäfer, M, Sridharan, M, Dolby, J, Tip, F

Realities and Challenges of NextGen Air Traffic Management: The Case of ADS−B by Strohmeier, M, Schäfer, M, Lenders, V, Martinovic, I

Calculations of η-nuclear quasi-bound states in few-body systems by Schäfer M., Barnea N., Friedman E., Gal A., Mareš J.

Get full text

On perception and reality in wireless air traffic communication security by Strohmeier, M, Schäfer, M, Pinheiro, R, Lenders, V, Martinovic, I

Bringing Up OpenSky: A Large−scale ADS−B Sensor Network for Research by Schäfer, M, Strohmeier, M, Lenders, V, Martinovic, I, Wilhelm, M

Demonstration Abstract − OpenSky: A Large−scale ADS−B Sensor Network for Research by Schäfer, M, Strohmeier, M, Lenders, V, Martinovic, I, Wilhelm, M

Bringing Up OpenSky: A Large−scale ADS−B Sensor Network for Research by Schäfer, M, Strohmeier, M, Lenders, V, Martinovic, I, Wilhelm, M

Assessing the impact of aviation security on cyber power by Strohmeier, M, Schafer, M, Smith, M, Lenders, V, Martinovic, I

Correct Refactoring of Concurrent Java Code by Schäfer, M, Dolby, J, Sridharan, M, Tip, F, Torlak, E