@article{Javed2026_2,

title = {A trust framework for real-time web communications},

author = {Ibrahim Tariq Javed},

url = {https://doi.org/10.70675/86f2aa7bz046bz4aecz8d24zc147a405cec2},

doi = {10.70675/86f2aa7bz046bz4aecz8d24zc147a405cec2},

year  = {2026},

date = {2026-01-01},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Krallmann2026,

title = {Electric energy usage measurements in offices during field trials of GEMS - Gamified Energy Monitoring as a Service},

author = {Mark Joachim Krallmann and Julian Haubold and Fynn Metzlaff and Amr Metwally and Alexander Lupatsiy and Philipp Knaak and Jakob Buballik and Tim Hartmann and Mathis Villalta and Julian Adler and Stefan Naujokat and Dominic Wirkner and Arn Baudzus and Emmanuel Müller and Falk Howar},

url = {https://data.tu-dortmund.de/citation?persistentId=doi:10.17877/TUDODATA-2025-MCLYISW9},

doi = {10.17877/tudodata-2025-mclyisw9},

year  = {2026},

date = {2026-01-01},

journal = {TUDOdata},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Hoare2026_3,

title = {Using Formal Methods to Help Explain Real-Time Operator Support in Metal Additive Manufacturing},

author = {Cathal Hoare and Denis Dowling and Tiziana Margaria},

url = {https://doi.org/10.1109/mitp.2026.3655853},

doi = {10.1109/mitp.2026.3655853},

year  = {2026},

date = {2026-01-01},

journal = {IT Professional},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Valentini2026_3,

title = {Formal Verification of Decentralized Autonomous Organizations},

author = {Simone Valentini and Sowelu Avanzo and Elvinia Riccobene},

url = {https://doi.org/10.1007/978-3-032-26752-8_17},

doi = {10.1007/978-3-032-26752-8_17},

year  = {2026},

date = {2026-01-01},

journal = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Javed2026,

title = {Blockchain applications in AI renewable energy systems},

author = {Ibrahim Tariq Javed and Chang Lu and Prabhkirat Batra},

url = {https://doi.org/10.1016/b978-0-443-40618-8.00011-5},

doi = {10.1016/b978-0-443-40618-8.00011-5},

year  = {2026},

date = {2026-01-01},

journal = {Artificial Intelligence-Based Renewable Energy Systems},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ahmed2026,

title = {Contributors},

author = {Jawad Ahmed and Mahad Ahmed and Muhammad Ahmed and Saqib Ali and Muhammad Saidu Aliero and Hamda Amin and Muhammad Anwar and Raja Waseem Anwar and Ayesha Aslam and Prabhkirat Batra and Umer Farooq and Gwangil Geon and Adil Hussain and Ayaz Hussain and Majid Hussain and Amna Iqbal and Noman Iqbal and Ibrahim Tariq Javed and Amna Khatoon and Chang Lu and Abubakar Atiku Muslim and Shahid Naseem and Kashif Naseer Qureshi and Ashina Sadiq and Rundong Wang},

url = {https://doi.org/10.1016/b978-0-443-40618-8.01002-0},

doi = {10.1016/b978-0-443-40618-8.01002-0},

year  = {2026},

date = {2026-01-01},

journal = {Artificial Intelligence-Based Renewable Energy Systems},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Khalique2026,

title = {A Structured Knowledge Model Linking Healthcare Privacy Risks to Privacy-Enhancing Technologies for AI-Enabled Health Systems},

author = {Fatima Khalique and Ibrahim Javed and Katie Crowley},

url = {https://doi.org/10.5220/0014715600004052},

doi = {10.5220/0014715600004052},

year  = {2026},

date = {2026-01-01},

journal = {Proceedings of the 18th International Conference on Agents and Artificial Intelligence},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Fissore2026,

title = {Unlocking Educators’ Potential with Practices Concerning Artificial Intelligence: From Theory to Application},

author = {Cecilia Fissore and Francesco Floris and Valeria Fradiante and Marina Marchisio Conte and Matteo Sacchet},

url = {https://doi.org/10.1007/978-3-032-21997-8_27},

doi = {10.1007/978-3-032-21997-8_27},

year  = {2026},

date = {2026-01-01},

journal = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Saay2026_2,

title = {Design and Development of the Conceptual and External Layers for Secure Healthcare Data Transmission: A Blockchain-Based Broker Architecture Pranav Parge (ID: 24213934)},

author = {Salim Saay and undefined},

url = {https://www.researchgate.net/doi/10.13140/RG.2.2.17407.88489},

doi = {10.13140/rg.2.2.17407.88489},

year  = {2026},

date = {2026-01-01},

journal = {Unpublished},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Lembhe2026,

title = {Secure Data Communication Between Cross Border Systems using Kafka Broker Architecture and Hyper ledger Fabric},

author = {Ashutosh Sanjay Lembhe and Salim Saay},

url = {https://www.researchgate.net/doi/10.13140/RG.2.2.25443.00800},

doi = {10.13140/rg.2.2.25443.00800},

year  = {2026},

date = {2026-01-01},

journal = {Unpublished},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Alvarado2026,

title = {SOMA: From Surface Observations to Muscle Anatomy},

author = {Eduardo Alvarado and Emily Kim and Gerrit Nolte and Friedemann Runte and Mario Botsch and Marc Habermann and Christian Theobalt},

url = {https://doi.org/10.1007/978-3-032-37359-5_28},

doi = {10.1007/978-3-032-37359-5_28},

year  = {2026},

date = {2026-01-01},

journal = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Busch2026,

title = {Hybrid code generation},

author = {Daniel Busch},

url = {https://eldorado.tu-dortmund.de/handle/2003/44928},

doi = {10.17877/de290r-26694},

year  = {2026},

date = {2026-01-01},

journal = {TU Dortmund},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Nicol2026_2,

title = {Deconstructing Subset Construction},

author = {John Nicol and Markus Frohme},

url = {https://doi.org/10.1007/978-3-032-22749-2_20},

doi = {10.1007/978-3-032-22749-2_20},

year  = {2026},

date = {2026-01-01},

journal = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{undefined2026_3,

title = {SLλ: A Scalable Algorithm for Register Automata Learning},

author = {undefined and undefined and undefined and undefined and undefined and undefined and undefined},

url = {https://publica.fraunhofer.de/handle/publica/522808},

doi = {10.24406/publica-9992},

year  = {2026},

date = {2026-01-01},

journal = {Fraunhofer-Gesellschaft},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Dierl2026_2,

title = {Learning Probabilistic Automata from Single Continuous-Valued System Logs},

author = {Simon Dierl and Nastaran Kianersi and Falk Howar and Sean Kauffman},

url = {https://doi.org/10.1007/978-3-032-28079-4_8},

doi = {10.1007/978-3-032-28079-4_8},

year  = {2026},

date = {2026-01-01},

journal = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Westhofen2026_2,

title = {Test Coverage of Automated Robotic Systems in Open World Environments},

author = {Lukas Westhofen and Till Schallau and Dominik Schmid and Stefan Naujokat and Falk Howar and Daniel Neider},

url = {https://doi.org/10.1007/978-3-032-26204-2_7},

doi = {10.1007/978-3-032-26204-2_7},

year  = {2026},

date = {2026-01-01},

journal = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Jahnke2026_4,

title = {GMB-ECC: Guided Measuring and Benchmarking of the Edge Cloud Continuum},

author = {Brian-Frederik Jahnke and Rebecca Schmook and Falk Howar},

url = {https://doi.org/10.1109/access.2026.3685833},

doi = {10.1109/access.2026.3685833},

year  = {2026},

date = {2026-01-01},

journal = {IEEE Access},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Krumrey2026,

title = {Formal Methods Meet AI Guidance for Correct Software Development},

author = {Marco Krumrey and Tiziana Margaria and Bernhard Steffen},

url = {https://doi.org/10.1007/978-3-032-12484-5_7},

doi = {10.1007/978-3-032-12484-5_7},

year  = {2026},

date = {2026-01-01},

journal = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Nicol2026,

title = {Artifact for the TACAS 2026 paper "Deconstructing Subset Construction: Reducing While Determinizing"},

author = {John Nicol and Markus Frohme},

url = {https://zenodo.org/doi/10.5281/zenodo.18163402},

doi = {10.5281/zenodo.18163402},

year  = {2026},

date = {2026-01-01},

journal = {Zenodo},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Golder2026,

title = {Automated detection, shape classification, and counting of leaves and fruits from bunch leaf and fruit image using deep learning models for smart agriculture and forestry},

author = {Swajan Golder and Hafsa Sultana and Abdullah Al Noman and Rafflesia Khan and Anupam Kumar Bairagi and Rameswar Debnath},

url = {https://doi.org/10.1007/s11042-026-21350-2},

doi = {10.1007/s11042-026-21350-2},

year  = {2026},

date = {2026-01-01},

journal = {Multimedia Tools and Applications},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Fortz2026,

title = {A research agenda for active automata learning},

author = {Sophie Fortz and Fatemeh Ghassemi and Léo Henry and Falk Howar and Thomas Neele and Jurriaan Rot and Marnix Suilen},

url = {https://doi.org/10.1007/s10009-026-00839-z},

doi = {10.1007/s10009-026-00839-z},

year  = {2026},

date = {2026-01-01},

journal = {International Journal on Software Tools for Technology Transfer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Natarajan2026_2,

title = {The continuous testing practice: A two-year action research study to streamline software quality in scrum teams},

author = {Thamizhiniyan Natarajan and Shanmugavadivu Pichai and Kumar Perumal and Anitha TR},

url = {https://doi.org/10.1016/j.jss.2026.112829},

doi = {10.1016/j.jss.2026.112829},

year  = {2026},

date = {2026-01-01},

journal = {Journal of Systems and Software},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Westhofen2026,

title = {Supplementary Material to 'Test Coverage of Automated Robotic Systems in Open World Environments'},

author = {Lukas Westhofen and Till Schallau and Dominik Schmid and Stefan Naujokat and Falk Howar and Daniel Neider},

url = {https://zenodo.org/doi/10.5281/zenodo.18803837},

doi = {10.5281/zenodo.18803837},

year  = {2026},

date = {2026-01-01},

journal = {Zenodo},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Natarajan2026,

title = {The continuous testing practice: A two-year action research study to streamline software quality in scrum teams},

author = {Thamizhiniyan Natarajan and Shanmugavadivu Pichai and Kumar Perumal and Anitha TR},

url = {https://researchrepository.ul.ie/handle/10344/31650},

doi = {10.34961/19287},

year  = {2026},

date = {2026-01-01},

journal = {Elsevier},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{undefined2026_2,

title = {A Structured knowledge model linking healthcare privacy risks to privacy-enhancing technologies for AI-enabled health systems},

author = {undefined and undefined and undefined},

url = {https://researchrepository.ul.ie/handle/10344/31921},

doi = {10.34961/19524},

year  = {2026},

date = {2026-01-01},

journal = {Science and Technology Publications, Lda},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ghadimi2026,

title = {A systematic literature review of environmental performance optimisation in metal additive manufacturing},

author = {Pezhman Ghadimi and Douglas Eddy and Danial Pazoki and Cathal Hoare and Simos Gerasimidis and Xian Du and David Schmidt and Denis Dowling},

url = {https://doi.org/10.1007/s00170-026-17836-w},

doi = {10.1007/s00170-026-17836-w},

year  = {2026},

date = {2026-01-01},

journal = {The International Journal of Advanced Manufacturing Technology},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Hoare2026_2,

title = {Integrating Machine Learning into Additive Manufacturing through Service-Oriented and Low-Code Architectures},

author = {Cathal Hoare and Stephen Ryan},

url = {https://doi.org/10.1145/3786179.3788324},

doi = {10.1145/3786179.3788324},

year  = {2026},

date = {2026-01-01},

journal = {Proceedings of the 2026 2nd International Workshop on Low-Code Development and Software Architecture},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Teumert2026,

title = {Unifying Executable (Process-) Models inside the WAVE Platform},

author = {Sebastian Teumert and Daniel Sami Mitwalli},

url = {https://doi.org/10.1145/3786179.3788322},

doi = {10.1145/3786179.3788322},

year  = {2026},

date = {2026-01-01},

journal = {Proceedings of the 2026 2nd International Workshop on Low-Code Development and Software Architecture},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Smyth2026,

title = {AI-Assisted Modeling: DSL-Driven AI Interactions},

author = {Steven Smyth and Daniel Busch and Moez Ben Haj Hmida and Edward A. Lee and Bernhard Steffen},

url = {https://doi.org/10.1145/3786179.3788326},

doi = {10.1145/3786179.3788326},

year  = {2026},

date = {2026-01-01},

journal = {Proceedings of the 2026 2nd International Workshop on Low-Code Development and Software Architecture},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Nolte2026,

title = {Skeletal‐Driven Animation of Anatomical Humans via Neural Deformation Gradients},

author = {G. Nolte and F. Kemper and U. Schwanecke and M. Botsch},

url = {https://doi.org/10.1111/cgf.70388},

doi = {10.1111/cgf.70388},

year  = {2026},

date = {2026-01-01},

journal = {Computer Graphics Forum},

keywords = {},

pubstate = {published},

tppubtype = {article}

}