Research
Research Interests
- Database Technology
- Data management on modern hardware
- Co-processor-accelerated query optimization
- Efficient algorithms for query (co-)processing on heterogeneous hardware (e.g., GPUs, Intel Xeon Phi, NUMA Systems)
- Genome data analysis using main-memory databases
- Multi-dimensional index structures for main-memory databases
- Graph database management systems
- Large-scale and cloud data management
- NoSQL databases
- Transaction management in the cloud
- Data integrity in the cloud
- Parallel entity resolution
- Self-tuning for cloud storage clusters
- Data management on modern hardware
- Feature-Oriented Software Development (FOSD)
- Product-line configuration recommender systems
- Prioritization for software product line testing
- Migration of cloned product variants to a software product line
- Variability-aware refactoring
- Variability-aware code smells
- Formal specification and verification of software product lines
- Analysis of variability models
- Multi software product lines
- Variability in Embedded Systems / Heterogenous Hardware
- Composition and adaptation of software product lines at runtime
- Syntactical and semanticle interoperability in heterogeneous (embedded) systems
- Data management in embedded systems and sensor networks
Current Funded Projects
- SPL Testing
- Southeast Asia Research Network: Digital Engineering
- Supporting Advanced Data Management Features for the Cloud Environment (Clustering the Cloud, Consistent data management for cloud gaming)
- Nachhaltiges Variabilitätsmanagement von Feature-orientierten Software-Produktlinien (NaVaS)
- EXtracting Product Lines from vAriaNTs (EXPLANT)
- Secure Data Outsourcing to Untrusted Clouds See also here
Other Research Projects
- Modern Data Management Technologies for Genome Analysis
- Software Product Line Languages and Tools (FeatureIDE, SPL2go)
- Load-balanced Index Structures for Self-tuning DBMS
- Model-Based Refinement of Product Lines
- GPU-accelerated Join-Order Optimization
- On the Impact of Hardware on Relational Query Processing
- Variability in service-oriented computing
- Reliable and Reproducible Evaluation of High-Dimensional Index Structures (QuEval)
Completed Projects
- Minimal-invasive integration of the provenance concern into data-intensive systems
- MultiPLe - Multi Software Product Lines
- A Hybrid Query Optimization Engine for GPU accelerated Database Query Processing (HyPE-Library, CoGaDB)
- ViERforES-II (Dependable systems, Interoperability)
- Analysis Strategies for Software Product Lines
- Automotive - Virtual Engineering
- Automotive - IT Security and Data Management
- ViERforES - Virtual and augmented reality for safety, security, and reliability of embedded systems
- Digi-Dak (Digital Fingerprints)
- Reflective and Adaptive Middleware for Software Evolution of Non-Stopping Information Systems Duration
- FAME-DBMS
- Adaptive Replikation von Daten in heterogenen mobilen Kommunikationsnetzen
- Informationsfusion
- MuSofT - Multimedia in der SoftwareTechnik
- GlobalInfo
- Lost Art Internet-Datenbank
- Föderierung heterogener Datenbanksysteme und lokaler Datenmanagementkomponenten zur systemübergreifenden Integritätssicherung
- Formale objektorientierte Methodiken zur Spezifikation, Verifikation und Operationalisierung von komplexen Kommunikationssystemen für offene verteilte Automatisierungssysteme
- ESPRIT BRA Working Group FIREworks (Feature Integration in Requirements Engineering)
- ESPRIT BRA Working Group ASPIRE
- Spezifikation flexibel anpaßbarer Abläufe in ingenieurwissenschaftlichen Anwendungen
- ESPRIT BRA Working Group ModelAge (A Common Formal Model for Cooperating Intelligent Agents)
- ESPRIT BRA Working Group IS-CORE II
- Implementierung von Informationssystemen
- Untersuchungen zum dynamischen Netzwerkmanagement in Bündelfunksystemen mittels objektorientierter Modellierung
Analysis Strategies for Software Product Lines
Software-product-line engineering has gained considerable momentum in recent years, both in industry and in academia. A software product line is a set of software products that share a common set of features. Software product lines challenge traditional analysis techniques, such as type checking, testing, and formal verification, in their quest of ensuring correctness and reliability of software. Simply creating and analyzing all products of a product line is usually not feasible, due to the potentially exponential number of valid feature combinations. Recently, researchers began to develop analysis techniques that take the distinguishing properties of software product lines into account, for example, by checking feature-related code in isolation or by exploiting variability information during analysis.
The emerging field of product-line analysis techniques is both broad and diverse such that it is difficult for researchers and practitioners to understand their similarities and differences (e.g., with regard to variability awareness or scalability), which hinders systematic research and application. We classify the corpus of existing and ongoing work in this field, we compare techniques based on our classification, and we infer a research agenda. A short-term benefit of our endeavor is that our classification can guide research in product-line analysis and, to this end, make it more systematic and efficient. A long-term goal is to empower developers to choose the right analysis technique for their needs out of a pool of techniques with different strengths and weaknesses.
Website: | Project-Website |
Manager: | Thomas Thüm |
Type: | Haushalt |
Members: | Thomas Thüm; Sven Apel; Christian Kästner; Ina Schaefer; Gunter Saake |
Keywords: | Product-line analysis, software product lines, program families, deductive verification, theorem proving, model checking, type checking |
Past Conference
Database Systems for Business, Technology, and Web (BTW)
The 15th BTW conference on "Database Systems for Business, Technology, and Web" (BTW 2013) of the Gesellschaft für Informatik (GI) will take place from March 11th to March 15th, 2013 at the Otto-von-Guericke-University of Magdeburg, Germany.
Website: | Conference-Website |
Past Workshops
- Joint Workshop on Data Management for Science
Hamburg, 03.03.2015 - GI-Workshop Grundlagen von Datenbanken
Magdeburg, 26.-29.5.2015 - Second Workshop on Databases in Biometrics, Forensics and Security Applications (DBforBFS 2015)
Hamburg, Germany, March 2, 2015 - First Workshop on Databases in Biometrics, Forensics and Security Applications (DBforBFS 2013)
Magdeburg, Germany, March 11-12, 2013 - Workshop on Situation-Aware Assistant Systems Engineering: Requirements, Methods, and Challenges (SeASE 2012)
Braunschweig, Germany, September 16, 2012 - Third International Workshop on Digital Engineering (IWDE 2012)
Magdeburg, Germany, September 25, 2012 - Workshop on Safety and Security in Automotive
Keiserslautern, Germany, December 8, 2011 - Second International Workshop on Digital Engineering (IWDE 2011)
Magdeburg, Germany, November 21-22, 2011 - First International Workshop on Digital Engineering (IWDE 2010)
Magdeburg, Germany, June 14, 2010 - RAM-SE'10: 7th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution
June 21st/22nd, 2010 in Maribor - RAM-SE'09: 6th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution
July 7th, 2009 in Genova, Italy - DEXA Workshop on Data Management in Virtual Engineering (DMVE '08)
Turin, Italy, September 1, 2008 - RAM-SE'08: 5th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution
Paphos, Cyprus, July 7, 2008 - Dagstuhl Seminar: Software Engineering for Tailor-made Data Management
July 6th - July 11th 2008 - EDBT Workshop on Software Engineering for Tailor-made Data Management (SETMDM)
Nantes, France, 29th of March 2008 - RAM-SE'07: 4th ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution
31st of July 2007, Berlin - BTW Workshop - Tailor-made Data Management
6th of March 2007, RWTH Aachen - RAM-SE'06, 3rd ECOOP'2006 Workshop on Reflection, AOP and Meta-Data for Software Evolution
Nantes, France, 3rd of July 2006 - RAM-SE'05, 2nd ECOOP'2005 Workshop on Reflection, AOP and Meta-Data for Software Evolution
Glasgow, Scotland, 25th of July 2006 - Studierendenprogramm bei der 11. BTW 2005
Karlsruhe, 1. März 2005 - RAM-SE'04 ECOOP'2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution
Oslo, Norway, 15th of June 2004 - MMIS-Workshop 2003
Otto-von-Guericke-University Magdeburg, 9-10 October 2003 - 15. Workshop über Grundlagen von Datenbanken
Tangermünde, 10.-13. June 2003 - Studierendenprogramm bei der 10. BTW 2003
Leipzig, 25. Februar 2003 - Workshop "Mobile Datenbanken und Informationsysteme - Datenbanktechnologie überall und jederzeit"
Magdeburg, 21.-22.3.2002 - DBFusion - 1st Int. Workshop on Databases, Documents and Information Fusion
Magdeburg, 3.-4.5.2001 - 13. Workshop Grundlagen von Datenbanken
Gommern, 5.-8.6.2001 - PKDD-Workshop Database Support for KDD
Freiberg, 3.-5.9.2001 - Logics for Emerging Applications of Databases
Dagstuhl-Seminar (00291): 16.07.2000-21.07.2000 - Internet-Datenbanken
Workshop der GI-Fachgruppe Datenbanken (FG 2.5.1) im Rahmen der GI-Jahrestagung 2000, Berlin, September 2000 - 3. Workshop "Föderierte Datenbanken"
Magdeburg, 10./11. Dezember 1998 - Integrity in Databases 1996
6. International Workshop on Foundations of Models and Languages of Data and Objects, Schloß Dagstuhl, September 16-20, 1996 - DOOD Post-Conference Workshop on
Temporal Reasoning in Deductive and Object-Oriented Databases
Singapore, December 8, 1995