STS Papers
Accepted papers
-
Engeln, Ulrike. Code Smell Detection using Features from Version History.
25. Workshop Software-Reengineering & -Evolution (WSRE 20+2+3)
Published papers
2023
-
Computer aided design and grading for an electronic functional programming exam
12th International Workshop on Trends in Functional Programming in Education (TFPIE 2023)
Open Access | Publisher DOI -
Bounded DBM-based clock state construction for timed automata in Uppaal
International journal on software tools for technology transfer 25 (1): 19-47 (2023-02)
Open Access | Publisher DOI -
noSAT-MaxSATv2
MaxSAT Evaluation (2023)
Open Access
2022
-
Meeting Strangers Online: Feature Models for Trustworthiness Assessment
9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022)
Publisher DOI -
Vul4J: A Dataset of Reproducible Java Vulnerabilities Geared Towards the Study of Program Repair Techniques
Mining Software Repositories Conference (MSR 2022)
Publisher DOI -
Modeling ℝ³ needle steering in Uppaal
Electronic proceedings in theoretical computer science 355: 40-59 (2022)
Open Access | Publisher DOI -
A process calculus for privacy-preserving protocols in location-based service systems
Journal of Logical and Algebraic Methods in Programming 125: 100735 (2022-02)
Publisher DOI -
The σ-calculus : a process calculus for privacy-preserving protocols in location-based service systems
Technische Universität Hamburg (2022)
Open Access -
noSAT-MaxSAT
Bacchus, F., Berg, J., Järvisalo, M., Martins, R., & Niskanen, A. (Eds.) (2022). MaxSAT Evaluation 2022: Solver and Benchmark Descriptions. (Department of Computer Science Series of Publications B; Vol. B-2022-2). Department of Computer Science, University of Helsinki. - Seite 29-30 (2022)
Open Access
2021
-
Online strategy synthesis for safe and optimized control of steerable needles
Electronic proceedings in theoretical computer science 348: 128-135 (2021)
Open Access | Publisher DOI -
WCET-aware reachability for verified simplex design: work-in-progress
ACM SIGBED International Conference on Embedded Software (EMSOFT 2021)
Publisher DOI
2020
-
Designing and analyzing open application-oriented labs in software-verification education
Annual Conference University of Twente (SEFI 2020)
-
Teaching machine learning and data literacy to students of logistics using Jupyter Notebooks
Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. (DELFI 2020)
Open Access -
Provably privacy-preserving distributed data aggregation in smart grids
IFIP Annual Conference on Data and Applications Security and Privacy (2020)
Publisher DOI -
Synthesizing strategies for needle steering in gelatin phantoms
Workshop on Models for Formal Analysis of Real Systems (MARS 2020)
Publisher DOI -
Modelling and verification in GDPR's data protection impact assessment : a case study on the AccuWeather/Reveal Mobile Case
in Data protection and privacy: Data protection and democracy. Hart Publishing (2020)
Publisher DOI
2019
-
Guaranteeing privacy policies using lightweight type systems
Computer Law and Security Review 6 (35): 105337 (2019-11)
Publisher DOI -
Towards self-explainable cyber-physical systems
International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C: 8904796 (2019-09)
Publisher DOI -
Static Analysis for Worst-Case Battery Utilization
IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 : 8807517 (2019-05)
Publisher DOI -
A quantitative metric temporal logic for execution-time constrained verification
Lecture Notes in Computer Science (11615 LNCS): 170-189 (2019)
Publisher DOI -
An online model checking approach to soft-tissue detection for rupture
CURAC 2019 - Tagungsband : 18. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie e.V. ; 19.-21. September 2019, Reutlingen, Seite 83 - 88 (2019)
-
Automatically proving purpose limitation in software architectures
IFIP Advances in Information and Communication Technology (562): 345-358 (2019)
Publisher DOI -
Do we need real data? Testing and training algorithms with artificial geolocation data
In: David, K., Geihs, K., Lange, M. & Stumme, G. (Hrsg.), INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft. Bonn: Gesellschaft für Informatik e.V.. (S. 205-218).
Open Access | Publisher DOI
2018
-
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI
International Journal of Computer Assisted Radiology and Surgery 11 (13): 1755-1766 (2018-11-01)
Publisher DOI -
Privacy-Preserving Architectures with Probabilistic Guaranties
2018 16th Annual Conference on Privacy, Security and Trust, PST 2018: 1-10 (2018-10-29)
Publisher DOI -
Analytical solution for long battery lifetime prediction in nonadaptive systems
International Conference on Quantitative Evaluation of Systems (QEST 2018)
Publisher DOI -
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (11294 LNCS): 196-214 (2018-01-01)
Publisher DOI -
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
In: Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S. & Steghöfer, J.-P. (Hrsg.), Software Engineering und Software Management 2018. Bonn: Gesellschaft für Informatik. (S. 209-210).
Open Access -
Translating Law into Code - Why Computer Scientists and Lawyers Must Join Forces
encore : The annual magazine on internet and society research: 76-78 (2018)
2017
-
BDD-based value analysis for X86 executables
Open Access -
Structural and differential analysis for program comprehension of executables
Open Access
2016
-
Variability mining of state charts
International Workshop on Feature-Oriented Software Development (FOSD 2016)
Publisher DOI -
Synchronizing software variants with VariantSync
ACM International Conference Proceeding Series (16-23-September-2016): 329-332 (2016-09-16)
Publisher DOI -
Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy
International Journal of Computer Assisted Radiology and Surgery 11 (11): 2085-2096 (2016)
Publisher DOI -
Aligning coevolving artifacts between software product lines and products
ACM International Conference Proceeding Series : 9-16 (2016)
Publisher DOI -
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching
ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering : 578-589 (2016)
Publisher DOI -
Identifying variability in object-oriented code using model-based code mining
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, Lecture Notes in Computer Science (9953): 547-562 (2016)
Publisher DOI -
Reducing false discovery rates for on-line model checking based detection of respiratory motion artifacts
SE-WS 2016, software engineering workshops 2016, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering, CEUR Workshop Proceedings (1559): 182-186 (2016)
2015
-
Matching machine-code functions in executables within one product line via bioinformatic sequence alignment
2015 IEEE 5th Workshop on Mining Unstructured Data, MUD 2015 - Proceedings: 7327962, 1-5 (2015-11-11)
Publisher DOI -
A non-convex abstract domain for the value analysis of binaries
IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings: 7081837, 271-280 (2015-04-08)
Publisher DOI -
Comparing model-free motion prediction and on-line model checking for respiratory motion management
CEUR Workshop Proceedings (1337): 15-18 (2015-03)
-
An online model-checking framework for timed automata
Open Access -
Dealing efficiently with ontology-enhanced linked data for multimedia
CEUR Workshop Proceedings 1447 (): 28-41 (2015)
2014
-
A stream-temporal query language for ontology based data access
37th Annual German Conference on AI (2014)
Publisher DOI -
Component-based mechanisation of programming languages in embedded settings
Open Access -
Flood modeling in spatial data and grid infrastructures
Open Access
2013
-
CASAM : Collaborative human-machine annotation of multimedia
Multimedia Tools and Applications 70 (2): 1277-1308 (2014)
Publisher DOI -
Addressing streaming and historical data in OBDA systems : optique's approach (statement of interest)
CEUR Workshop Proceedings (992): Seite 33-40 (2013)
-
Advances in accessing big data with expressive ontologies
CEUR Workshop Proceedings (1014): 842-853 (2013)
-
Applying Markov logics for controlling abox abduction
Open Access -
BOEMIE : reasoning-based information extraction
Natural language processing and automated reasoning 2013 : NLPAR 2013 ; proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), A Corunna, Spain, September 15th, 2013 / ed. by Chitta Baral ... - Aachen : RWTH, 2013. - (CEUR Workshop Proceedings ; 1044). - Seite 60-75
-
Driving a sound static software analyzer with branch-and-bound
2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM 2013) : Eindhoven, Netherlands, 22 - 23 September 2013 / [sponsors: IEEE Computer Society Technical Council on Software Engineering ... Ed.: Bram Adams ...]. - Piscataway, NJ : IEEE, 2013. - Art.-Nr. 6648185, i.e. Seite 63-68
Publisher DOI -
Just-in-Time Teaching für Software-Engineering [Just-in-time teaching for software engineering]
13. Workshop "Software Engineering im Unterricht der Hochschulen", SEUH 2013 : RWTH Aachen, Aachen, Germany, 28 February 2013 through 1 March 2013 / RWTH Aachen. - Aachen, Germany : RWTH Aachen, 2013. - (CEUR workshop proceedings ; 956). - Seite 9-15
-
Mathematical specification of an agend-based model of exchange
Do-form: enabling domain experts to use formalised reasoning : AISB convention 2013 ; University of Exeter, 3rd - 5th April, 2013 ; [... proceedings of one of eight co-located symposia held at the AISB convention 2013 ...] / Manfred Kerber ... (ed.). - New York, NY : Curran, 2013. - Seite 38-48
-
Reusable components for lightweight mechanisation of programming languages
Binder W., Bodden E., Löwe W. (eds) Software Composition. SC 2013. Lecture Notes in Computer Science, vol 8088. Springer, Berlin, Heidelberg
Publisher DOI -
Spatial semantics for concepts?
CEUR Workshop Proceedings (1014): 816-828 (2013)
-
State space reconstruction for on-line model checking with UPPAAL
VALID 201 : the Fifth International Conference on Advances in System Testing and Validation Lifecycle : October 27-November 1, 2013, Venice, Italy / IARIA ; VALID 2013 editors: Jos van Rooyen ... - Red Hook, NY : Curran, 2013. - Seite 21-26
-
The optique project : towards OBDA systems for industry
CEUR Workshop Proceedings ; Vol. 1080 (2013): Seite ?
2012
-
A transformational approach to generic software development based on higher-order, typed functional signatures
Open Access -
Type-Based Software-Implemented Hardware Fault Tolerance
TU Hamburg, Magazin, Signatur 2131-6155 (2012)
2011
-
Gibbs sampling with deterministic dependencies
5th international workshop, MIWAI 2011, Hyderabad, India, December 7 - 9, 2011 ; proceedings. - (Lecture Notes in Computer Science ; Vol. 7080 LNAI). - Seite 418-427 (2011)
Publisher DOI -
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution. - Berlin. - (Lecture Notes in Computer Science ; vol. 6050). - Seite 110-133 (2011)
Publisher DOI -
A logic-based approach to multimedia interpretation
Open Access -
Content management and knowledge management : two faces of ontology-based deep-level interpretation of text
Open Access -
Efficient instance retrieval over semi-expressive ontologies
Open Access -
Islands and query answering for Alchi-ontologies
Knowledge Discovery, Knowlege Engineering and Knowledge Management : First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers. - Berlin, 2011. - (Communications in Computer and Information Science ; 128). - Seite 224-236
Publisher DOI -
Relaxed abduction : robust information interpretation for incomplete models
CEUR Workshop Proceedings 745 (): 180-190 (2011)
2010
-
Extending scala with database query capability
Journal of Object Technology 4 (9): 45-68 (2010)
Publisher DOI
2009
-
Flexible software architectures for ontology-based information systems
Journal of Applied Logic 1 (7): 75-99 (2009)
Publisher DOI
2008
-
Mapping validation by probabilistic reasoning
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (5021 LNCS): 170-184 (2008)
Publisher DOI -
Efficient integrity checking for essential MOF + OCL in software repositories
Journal of Object Technology 6 (7): 101-119 (2008)
Publisher DOI -
Flexible und konfigurierbare Software-Architekturen für datenintensive ontologiebasierte Informationssysteme
Open Access