Results 1-20 of 48 (Show all)

TitleYear of publicationAuthor(s)
A linear-time branching-time perspective on interface automata uniba/501502020Vogler, Walter; Lüttgen, Gerald  
Learning Data Structure Shapes from Memory Graphs uniba/501532020Boockmann, Jan  ; Lüttgen, Gerald  
Shape Inference from Memory Graphs (Extended Abstract) uniba/503602019Boockmann, Jan  ; Lüttgen, Gerald  
Lightweight Semantics-Preserving Communication for Real-Time Automotive Software uniba/486592019Yip, Eugene ; Lalo, Erjola; Lüttgen, Gerald  ; Sailer, Andreas
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification uniba/503622018Boockmann, Jan  ; Lüttgen, Gerald  ; Mühlberg, Jan Tobias
A generalised theory of Interface Automata, component compatibility and error uniba/447982018Fendrich, Sascha; Lüttgen, Gerald  
A Note on Refinement in Hierarchical Transition Systems uniba/447992018Lüttgen, Gerald  
Optimized Buffering of Time-Triggered Automotive Software uniba/444632018Yip, Eugene ; Lalo, Erjola; Lüttgen, Gerald  ; Deubzer, Michael; Sailer, Andreas
DSIbin: identifying dynamic data structures in C/C++ binaries uniba/429672017Rupprecht, Thomas; Chen, Xi; White, David H.; Boockmann, Jan  ; Lüttgen, Gerald  ; Bos, Herbert
DSI: Automated detection of dynamic data structures in C programs and binary code uniba/448062017Rupprecht, Thomas; Boockmann, Jan  ; White, David H.; Lüttgen, Gerald  
Comparing trace recordings of automotive real-time software uniba/430062017Sailer, Andreas; Deubzer, Michael; Lüttgen, Gerald  ; Mottok, Jürgen
A Generalised Theory of Interface Automata, Component Compatibility and Error uniba/402872016Fendrich, Sascha; Lüttgen, Gerald  
A Generalised Theory of Interface Automata, Component Compatibility and Error uniba/412432016Fendrich, Sascha; Lüttgen, Gerald  
DSI : an evidence-based approach to identify dynamic data structures in C programs uniba/413142016White, David H.; Rupprecht, Thomas; Lüttgen, Gerald  
Nondeterministic Modal Interfaces uniba/413662016Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald  ; Vogler, Walter
POSTER: Identifying Dynamic Data Structures in Malware uniba/413772016Rupprecht, Thomas; Chen, Xi; White, David H.; Mühlberg, Jan Tobias; Bos, Herbert; Lüttgen, Gerald  
CoreTAna : A Trace Analyzer for Reverse Engineering Real-Time Software uniba/419472016Sailer, Andreas; Deubzer, Michael; Lüttgen, Gerald  ; Mottok, Jürgen
Nondeterministic Modal Interfaces uniba/219302015Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald  ; Vogler, Walter
Richer interface automata with optimistic and pessimistic compatibility uniba/219742015Lüttgen, Gerald  ; Vogler, Walter; Fendrich, Sascha
Learning assertions to verify linked-list programs uniba/413062015Mühlberg, Jan Tobias; White, David H.; Dodds, Mike; Lüttgen, Gerald  ; Piessens, Frank