VLDB 2026 Research / reviewers in the wild / expert
Serge Autexier
dblp:11/4930
· DBLP profile ↗
25ranked-venue papers
15as first author
7since 2021 · last 2026
0000-0002-0769-0732ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 10 · 6 first-author · 3 since 2021Theory of computation · 9 · 9 first-authorSoftware engineering, systems software and programming languages · 8 · 7 first-author · 2 since 2021Human-computer interaction and ubiquitous computing · 3 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 1 first-author · 2 since 2021Databases, data management, data science and information retrieval · 2 · 1 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | KiMeKo: A Collaborative AI Platform for Medical Device DevelopmentabstractKiMeKo (KI-Med-Kollaborationsplattform) is a publically funded collaborative research project that develops a sustainable AI-Med ecosystem for AI-based medical device development. The project runs from July 2024 to December 2027 and joins seven Northern German research institutions. KiMeKo addresses the complete development trajectory, from concept and data acquisition to validation, regulatory evidence generation, and approval-oriented documentation. The project contributes a practical toolchain and platform capabilities for non-experts and experts, including structured innovation support, uncertaintyaware sensor-data fusion, hybrid expert-system modeling, and workflow-guided data acquisition and anonymization. This paper summarizes project objectives, expected outputs, relevance to IEEE COMPSAC 2026 themes, and current progress. In particular, KiMeKo aligns with Applied AI and Smart & Connected Health by combining AI engineering, privacy-conscious data processing, and regulation-aware medical software development. Serge Autexier, Nihat Ay, Stefan Fischer 0001, Lars Kaderali, Thomas Kirste, Martin Leucker, Christoph Lüth, Thomas Martinetz, Philipp Rostalski, Alexander Schlaefer, Frank Ückert |
COMPSAC | 1 |
| 2024 | On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice
Serge Autexier |
ISoLA (4) | 1 |
| 2023 | Quality medical data management within an open AI architecture - cancer patients caseabstractIn contemporary society people constantly are facing situations that influence appearance of serious diseases. For the development of intelligent decision support systems and services in medical and health domains, it is necessary to collect huge amount of patients’ complex data. Patient’s multimodal data must be properly prepared for intelligent processing and obtained results should be presented in a friendly way to the physicians/caregivers to recommend tailored actions that will improve patients’ quality of life. Advanced artificial intelligence approaches like machine/deep learning, federated learning, explainable artificial intelligence open new paths for more quality use of medical and health data in future. In this paper, we will focus on presentation of a part of a novel Open AI Architecture for cancer patients that is devoted to intelligent medical data management. Essential activities are data collection, proper design and preparation of data to be used for training machine learning predictive models. Another key aspect is oriented towards intelligent interpretation and visualisation of results about patient’s quality of life obtained from machine learning models. The Architecture has been developed as a part of complex project in which 15 institutions from 8 European countries have been participated. Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis, Johannes Rust |
Connect. Sci. | 2 |
| 2022 | AI Approaches in Processing and Using Data in Personalized Medicine
Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis |
ADBIS | 2 |
| 2022 | Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning ModelsabstractWe propose a causal machine learning inference pipeline that combines a given predictive machine learning model with analytical estimations of average treatment effects. It enables to utilize any predictive model for causal inference, which makes it easy to adapt the approach to existing systems. By first estimating the average treatment effect of an intervention on predictors instead of the outcome variable, a causal relationship between an intervention and a wide range of variables is determined. Next, artificial samples are created that are evaluated using the given predictive model to link interventions and outcomes and also allows inferring measurements of uncertainty. Finally, simulations using again the given predictive model are performed to compute measurements of confidence and that allow to compare – according to the given predictive model – the effect of specific treatments. We furthermore demonstrate how this inference engine can be adapted to a privacy-preserving federated learning environment where training data is horizontally distributed across multiple datasets without compromising on our approach’s accuracy. The approach has been evaluated on a use case with a predictive model for the quality of life score of cancer patients, to determine medical interventions to improve their individual quality of life score. Johannes Rust, Serge Autexier |
ICMLA | 2 |
| 2022 | Iterative User-Centric Development of Mobile Robotic Systems with Intuitive Multimodal Human-Robot Interaction in a Clinic EnvironmentabstractDeploying robots with the ability to autonomously navigate in the environment of a clinic necessitates carefully designing their verbal and non-verbal behaviour in order to avoid irritating, worrying or even endangering users, bystanders and passersby. We describe a user-centred approach used to design, implement and evaluate an interaction concept for mobile robotic assistants for a clinic environment, resulting in two robotic assistant prototypes and a generalized multimodal interaction framework applicable to a variety of autonomously navigating robotic agents. We present the steps of the design process and intermediate findings, the final system components and experiment results showing good acceptance of the interaction concept. A clip of the two robots in action can be found under https://short.dfki.de/ro-man. Hanns-Peter Horn, Matthias Nadig, Johannes Hackbarth, Christian Willms, Caspar Jacob, Serge Autexier, Tim Schwartz, Ivana Kruijff-Korbayová |
RO-MAN | 6 |
| 2021 | Analysis of Machine Learning Models Predicting Quality of Life for Cancer PatientsabstractQuality of life (QoL) is one of the major issues for cancer patients. With the advent of medical databases containing large amounts of relevant QoL information it becomes possible to train predictive QoL models by machine learning (ML) techniques. However, the training of predictive QoL models poses several challenges mostly due to data privacy concerns and missing values in patient data. In this paper, we analyze several classification and regression ML models predicting QoL indicators for breast and prostate cancer patients. Two different approaches are employed for imputing missing values. The examined ML models are trained on datasets formed from two databases containing a large number of anonymized medical records of cancer patients from Sweden. Two learning scenarios are considered: centralized and federated learning. In the centralized learning scenario all patient data coming from different data sources is collected at a central location prior to model training. On the other hand, federated learning enables collective training of machine learning models without data sharing. The results of our experimental evaluation show that the predictive power of federated models is comparable to that of centrally trained models for short-term QoL predictions, whereas for long-term periods centralized models provide more accurate QoL predictions. Milos Savic 0001, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis |
MEDES | 7 |
| 2020 | Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and AttitudesabstractIn computer programming education, learning to program tangible objects has become a common way to introduce programming to young students. In an effort to address this intervention, scientific research has been done on the effectiveness of using tangible hardware platforms such as robots and wearable products to teach basic programming concepts to children. However, there is a lack of research on how young students' attitudes and programming skills are influenced over time, when they learn to program tangible objects and make them smart. In this paper, we investigate the impacts of using a tangible everyday object and making it smart on young female students' attitudes towards programming and the acquisition of basic programming skills. During a 4-day non-formal programming workshop with 12 6th grade students, they were introduced to basic programming concepts, and learned how to apply them to turn a houseplant into a smart object. In a pilot study, we employed a block-based programming environment and analyzed the students' trajectories of attitudes towards programming and performance based on repeated open-ended qualitative questionnaires and programming questions throughout the workshop. The results show that all students had high confidence regarding programming skills, regardless of creating smart objects. Furthermore, it indicates that experienced students highly valued the programming of tangible everyday objects compared with inexperienced students. The findings of this work contribute to our understanding of how making tangible everyday objects smart can support the development of a positive attitude and keep up of interest throughout a programming workshop among girls. Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler |
SIGCSE | 3 |
| 2019 | Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young LearnersabstractIn light of the complexity of introductory programming for young learners, visual programming has become more and more popular. In particular, block-based educational programming systems have emerged as an area of active research. This paper introduces an educational block-based programming application, enabling young learners to learn and make programs in the context of smart homes. In this application, smart objects have a set of primitive behaviors which can be integrated in the general features of programming languages like variables, conditionals, loops, and functions. The programming language is shown in a graphical interface to enable young students to program with the application. The development and implementation of this application, along with helping features for the students are described. In a pilot study with 20 7th grade students, the application's effectiveness and ease of use are evaluated. The results show that students can fairly solve programming problems and make real programs in the context of smart homes. Feedback of the learners is presented and discussed. Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler |
IDC | 3 |
| 2016 | People Tracking in Ambient Assisted Living Environments Using Low-Cost Thermal Image Cameras
Christian Mandel, Serge Autexier |
ICOST | 2 |
| 2015 | SHIP - A Logic-Based Language and Tool to Program Smart Environments
Serge Autexier, Dieter Hutter |
LOPSTR | 1 |
| 2015 | Structure Formation in Large Theories
Serge Autexier, Dieter Hutter |
CICM | 1 |
| 2012 | SmartTies - Management of Safety-Critical Developments
Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder |
ISoLA (1) | 1 |
| 2010 | Semantics-based change impact analysis for heterogeneous collections of documentsabstractAn overwhelming amount of documents is produced and changed every day in most areas of our everyday life, such as, for instance, business, education, research or administration. The documents are seldom isolated artifacts but are related to other documents. Therefore changing one document possibly requires adaptations to other documents. Serge Autexier, Normen Müller |
ACM Symposium on Document Engineering | 1 |
| 2010 | Adding Change Impact Analysis to the Formal Verification of C Programs
Serge Autexier, Christoph Lüth |
IFM | 1 |
| 2010 | A Tactic Language for Declarative Proofs
Serge Autexier, Dominik Dietrich |
ITP | 1 |
| 2008 | Preface
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow |
J. Autom. Reason. | 1 |
| 2005 | The CoRe Calculus
Serge Autexier |
CADE | 1 |
| 2005 | On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic
Serge Autexier |
TABLEAUX | 1 |
| 2003 | Assertion Application in Theorem Proving and Proof Planning
Quoc Bao Vo, Christoph Benzmüller, Serge Autexier |
IJCAI | 3 |
| 2003 | Disproving False Conjectures
Serge Autexier |
LPAR | 1 |
| 2002 | Maintenance of Formal Software Developments by Stratified Verification
Serge Autexier, Dieter Hutter |
LPAR | 1 |
| 2001 | Extending Development Graphs with Hiding
Till Mossakowski, Serge Autexier, Dieter Hutter |
FASE | 2 |
| 2000 | VSE: formal methods meet industrial needs
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan 0001, Roland Vogt, Andreas Wolpers |
Int. J. Softw. Tools Technol. Transf. | 1 |
| 1999 | System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer |
CADE | 1 |