Groups
Sign in
Groups
comp.doc.techreports
Conversations
About
Send feedback
Help
info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Learn more
comp.doc.techreports
Contact owners and managers
1–30 of 2510
Mark all as read
Report group
0 selected
Jera Hensel
3/31/17
AIB 2017-02: Analyzing Runtime Complexity via Innermost Runtime Complexity
The following technical report is available from http://aib.informatik.rwth-aachen.de: Analyzing
unread,
AIB 2017-02: Analyzing Runtime Complexity via Innermost Runtime Complexity
The following technical report is available from http://aib.informatik.rwth-aachen.de: Analyzing
3/31/17
Jera Hensel
12/20/16
AIB 2016-10: Towards Privacy-Preserving Multi-Party Bartering
The following technical report is available from http://aib.informatik.rwth-aachen.de: Towards
unread,
AIB 2016-10: Towards Privacy-Preserving Multi-Party Bartering
The following technical report is available from http://aib.informatik.rwth-aachen.de: Towards
12/20/16
Jera Hensel
11/22/16
AIB 2016-07: Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
The following technical report is available from http://aib.informatik.rwth-aachen.de: Verification
unread,
AIB 2016-07: Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
The following technical report is available from http://aib.informatik.rwth-aachen.de: Verification
11/22/16
Jera Hensel
9/28/16
AIB 2016-09: Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
The following technical report is available from http://aib.informatik.rwth-aachen.de: Automatically
unread,
AIB 2016-09: Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
The following technical report is available from http://aib.informatik.rwth-aachen.de: Automatically
9/28/16
Jera Hensel
7/20/16
AIB 2016-05: Proceedings of the 2nd KuVS Expert Talk on Localization
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proceedings of
unread,
AIB 2016-05: Proceedings of the 2nd KuVS Expert Talk on Localization
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proceedings of
7/20/16
Jera Hensel
7/13/16
AIB 2016-06: The SensorCloud Protocol: Securely Outsourcing Sensor Data to the Cloud
The following technical report is available from http://aib.informatik.rwth-aachen.de: The
unread,
AIB 2016-06: The SensorCloud Protocol: Securely Outsourcing Sensor Data to the Cloud
The following technical report is available from http://aib.informatik.rwth-aachen.de: The
7/13/16
Jera Hensel
4/25/16
AIB 2016-04: Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proving
unread,
AIB 2016-04: Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proving
4/25/16
Jera Hensel
4/13/16
AIB 2016-03: Lower Runtime Bounds for Integer Programs
The following technical report is available from http://aib.informatik.rwth-aachen.de: Lower Runtime
unread,
AIB 2016-03: Lower Runtime Bounds for Integer Programs
The following technical report is available from http://aib.informatik.rwth-aachen.de: Lower Runtime
4/13/16
Jera Hensel
4/3/16
AIB 2016-02: Comparative Evaluation and Improvement of Computational Approaches to,Reachability Analysis of Linear Hybrid Systems
The following technical report is available from http://aib.informatik.rwth-aachen.de: Comparative
unread,
AIB 2016-02: Comparative Evaluation and Improvement of Computational Approaches to,Reachability Analysis of Linear Hybrid Systems
The following technical report is available from http://aib.informatik.rwth-aachen.de: Comparative
4/3/16
Jera Hensel
12/11/15
AIB 2015-13: Ansatz zur variantenreichen und modellbasierten Entwicklung von eingebetteten Systemen unter Berücksichtigung regelungs- und softwaretechnischer Anforderungen
The following technical report is available from http://aib.informatik.rwth-aachen.de: Ansatz zur
unread,
AIB 2015-13: Ansatz zur variantenreichen und modellbasierten Entwicklung von eingebetteten Systemen unter Berücksichtigung regelungs- und softwaretechnischer Anforderungen
The following technical report is available from http://aib.informatik.rwth-aachen.de: Ansatz zur
12/11/15
Jera Hensel
11/11/15
AIB 2015-14: Symbolic vs. Algorithmic Differentiation of GSL Integration Routines
The following technical report is available from http://aib.informatik.rwth-aachen.de: Symbolic vs.
unread,
AIB 2015-14: Symbolic vs. Algorithmic Differentiation of GSL Integration Routines
The following technical report is available from http://aib.informatik.rwth-aachen.de: Symbolic vs.
11/11/15
Thomas Ströder
9/23/15
AIB 2015-12: Tree-like Grammars and Separation Logic
The following technical report is available from http://aib.informatik.rwth-aachen.de: Tree-like
unread,
AIB 2015-12: Tree-like Grammars and Separation Logic
The following technical report is available from http://aib.informatik.rwth-aachen.de: Tree-like
9/23/15
Thomas Ströder
6/15/15
AIB 2015-11: Information Hiding in the Public RSA Modulus
The following technical report is available from http://aib.informatik.rwth-aachen.de: Information
unread,
AIB 2015-11: Information Hiding in the Public RSA Modulus
The following technical report is available from http://aib.informatik.rwth-aachen.de: Information
6/15/15
Thomas Ströder
5/10/15
AIB 2015-02: Testing Life Cycle-related Properties of Mobile Applications
The following technical report is available from http://aib.informatik.rwth-aachen.de: Testing Life
unread,
AIB 2015-02: Testing Life Cycle-related Properties of Mobile Applications
The following technical report is available from http://aib.informatik.rwth-aachen.de: Testing Life
5/10/15
Thomas Ströder
5/6/15
AIB 2015-08: Proceedings of the 1st KuVS Expert Talk on Localization
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proceedings of
unread,
AIB 2015-08: Proceedings of the 1st KuVS Expert Talk on Localization
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proceedings of
5/6/15
Thomas Ströder
4/15/15
AIB 2015-07: Experimental Validation and Mathematical Analysis of Cooperative Vehicles in a Platoon
The following technical report is available from http://aib.informatik.rwth-aachen.de: Experimental
unread,
AIB 2015-07: Experimental Validation and Mathematical Analysis of Cooperative Vehicles in a Platoon
The following technical report is available from http://aib.informatik.rwth-aachen.de: Experimental
4/15/15
Thomas Ströder
4/8/15
AIB 2015-09: Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
The following technical report is available from http://aib.informatik.rwth-aachen.de: Reachability
unread,
AIB 2015-09: Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
The following technical report is available from http://aib.informatik.rwth-aachen.de: Reachability
4/8/15
Thomas Ströder
3/25/15
AIB 2013-16: Java Program Analysis by Symbolic Execution
The following technical report is available from http://aib.informatik.rwth-aachen.de: Java Program
unread,
AIB 2013-16: Java Program Analysis by Symbolic Execution
The following technical report is available from http://aib.informatik.rwth-aachen.de: Java Program
3/25/15
Thomas Ströder
2/19/15
AIB 2015-06: Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods"
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proceedings of
unread,
AIB 2015-06: Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods"
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proceedings of
2/19/15
Thomas Ströder
2/14/15
AIB 2015-05: Inferring Lower Bounds for Runtime Complexity
The following technical report is available from http://aib.informatik.rwth-aachen.de: Inferring
unread,
AIB 2015-05: Inferring Lower Bounds for Runtime Complexity
The following technical report is available from http://aib.informatik.rwth-aachen.de: Inferring
2/14/15
Thomas Ströder
12/7/14
AIB 2014-15: Synthesis of State Space Generators for Model Checking Microcontroller Code
The following technical report is available from http://aib.informatik.rwth-aachen.de: Synthesis of
unread,
AIB 2014-15: Synthesis of State Space Generators for Model Checking Microcontroller Code
The following technical report is available from http://aib.informatik.rwth-aachen.de: Synthesis of
12/7/14
Thomas Ströder
12/4/14
AIB 2014-14: HotBox: Testing Temperature Effects in Sensor Networks
The following technical report is available from http://aib.informatik.rwth-aachen.de: HotBox:
unread,
AIB 2014-14: HotBox: Testing Temperature Effects in Sensor Networks
The following technical report is available from http://aib.informatik.rwth-aachen.de: HotBox:
12/4/14
Thomas Ströder
12/4/14
AIB 2014-16: Verifying Probabilistic Systems: New Algorithms and Complexity Results
The following technical report is available from http://aib.informatik.rwth-aachen.de: Verifying
unread,
AIB 2014-16: Verifying Probabilistic Systems: New Algorithms and Complexity Results
The following technical report is available from http://aib.informatik.rwth-aachen.de: Verifying
12/4/14
Thomas Ströder
6/8/14
AIB 2014-09: Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proceedings of
unread,
AIB 2014-09: Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
The following technical report is available from http://aib.informatik.rwth-aachen.de: Proceedings of
6/8/14
Thomas Ströder
5/26/14
AIB 2014-08: Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs
The following technical report is available from http://aib.informatik.rwth-aachen.de: Generating
unread,
AIB 2014-08: Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs
The following technical report is available from http://aib.informatik.rwth-aachen.de: Generating
5/26/14
Thomas Ströder
5/20/14
AIB 2014-07: Algorithmic Differentiation of Numerical Methods: Second-Order Tangent and Adjoint Solvers for Systems of Parametrized Nonlinear Equations
The following technical report is available from http://aib.informatik.rwth-aachen.de: Algorithmic
unread,
AIB 2014-07: Algorithmic Differentiation of Numerical Methods: Second-Order Tangent and Adjoint Solvers for Systems of Parametrized Nonlinear Equations
The following technical report is available from http://aib.informatik.rwth-aachen.de: Algorithmic
5/20/14
Thomas Ströder
5/12/14
AIB 2014-03: dco/c++ User Guide
The following technical report is available from http://aib.informatik.rwth-aachen.de: dco/c++ User
unread,
AIB 2014-03: dco/c++ User Guide
The following technical report is available from http://aib.informatik.rwth-aachen.de: dco/c++ User
5/12/14
Thomas Ströder
3/31/14
AIB 2014-06: Sequence Level Salient Object Proposals for Generic Object Detection in Video
The following technical report is available from http://aib.informatik.rwth-aachen.de: Sequence Level
unread,
AIB 2014-06: Sequence Level Salient Object Proposals for Generic Object Detection in Video
The following technical report is available from http://aib.informatik.rwth-aachen.de: Sequence Level
3/31/14
Thomas Ströder
3/29/14
AIB 2014-02: Integration und Analyse von Artefakten in der modellbasierten Entwicklung eingebetteter Software
The following technical report is available from http://aib.informatik.rwth-aachen.de: Integration
unread,
AIB 2014-02: Integration und Analyse von Artefakten in der modellbasierten Entwicklung eingebetteter Software
The following technical report is available from http://aib.informatik.rwth-aachen.de: Integration
3/29/14
Thomas Ströder
2/20/14
AIB 2013-20: Time-Continuous Behaviour Comparison Based on Abstract Models
The following technical report is available from http://aib.informatik.rwth-aachen.de: Time-
unread,
AIB 2013-20: Time-Continuous Behaviour Comparison Based on Abstract Models
The following technical report is available from http://aib.informatik.rwth-aachen.de: Time-
2/20/14