This is an example of a RIS entry highlighted by the custom Prism.js plugin.
TY - BOOK
AU - Smith, John
AU - Doe, Jane
T1 - The Art of Coding
PB - Tech Publications
CY - New York
DA - 2023
ER -
TY - JOUR
AU - Heck, Linus
AU - Gelbrecht, Maximilian
AU - Schaub, Michael T.
AU - Boers, Niklas
PY - 2025
DA - 2025/06/
TI - Improving the (2θ) = cos² θ - sin² θ’ noise estimation of latent neural stochastic differential equations
JO - Chaos: An Interdisciplinary Journal of Nonlinear Science
SP - 063139
VL - 35
IS - 6
SN - 1054-1500
UR - https://doi.org/10.1063/5.0257224
DO - 10.1063/5.0257224
ID - 10.1063/5.0257224
ER -
TY - JOUR
AU - Peldszus, Sven
AU - Brugali, Davide
AU - Strüber, Daniel
AU - Pelliccione, Patrizio
AU - Berger, Thorsten
PY - 2025
DA - 2025//
TI - Software reconfiguration in robotics
JO - Empir. Softw. Eng.
SP - 94
VL - 30
IS - 3
UR - https://doi.org/10.1007/s10664-024-10596-9
DO - 10.1007/s10664-024-10596-9
ID - DBLP:journals/ese/PeldszusBSPB25
ER -
TY - JOUR
AU - Andriushchenko, Roman
AU - Ceska, Milan
AU - Macák, Filip
AU - Junges, Sebastian
AU - Katoen, Joost-Pieter
PY - 2025
DA - 2025//
TI - An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty
JO - J. Artif. Intell. Res.
SP - 433
EP - 469
VL - 82
UR - https://doi.org/10.1613/jair.1.16593
DO - 10.1613/jair.1.16593
ID - DBLP:journals/jair/AndriushchenkoCMJK25
ER -
TY - JOUR
AU - Campanello, Victor
AU - Shahbaz, Shariq
AU - Indykov, Vladislav
AU - Strüber, Daniel
PY - 2025
DA - 2025//
TI - On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
JO - J. Object Technol.
SP - 2
VL - 24
IS - 2
UR - https://doi.org/10.5381/jot.2025.24.2.a14
DO - 10.5381/jot.2025.24.2.a14
ID - DBLP:journals/jot/CampanelloSIS25a
ER -
TY - JOUR
AU - Campanello, Victor
AU - Shahbaz, Shariq
AU - Indykov, Vladislav
AU - Strüber, Daniel
PY - 2025
DA - 2025//
TI - On the Use of GPT-4 in the Reverse Engineering of Classessss Diagrams
JO - J. Object Technol.
SP - 2
VL - 24
IS - 2
UR - https://doi.org/10.5381/jot.2025.24.2.a14
DO - 10.5381/jot.2025.24.2.a14
ID - DBLP:journals/jot/CampanelloSIS25b
ER -
TY - JOUR
AU - Campanello, Victor
AU - Shahbaz, Shariq
AU - Indykov, Vladislav
AU - Strüber, Daniel
PY - 2025
DA - 2025//
TI - On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
JO - J. Object Technol.
SP - 2
VL - 24
IS - 2
UR - https://doi.org/10.5381/jot.2025.24.2.a14
DO - 10.5381/jot.2025.24.2.a14
ID - DBLP:journals/jot/CampanelloSIS25c
ER -
TY - JOUR
AU - Campanello, Victor
AU - Shahbaz, Shariq
AU - Indykov, Vladislav
AU - Strüber, Daniel
PY - 2025
DA - 2025//
TI - On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
JO - J. Object Technol.
SP - 2
VL - 24
IS - 2
UR - https://doi.org/10.5381/JOT.2025.24.2.A14
DO - 10.5381/JOT.2025.24.2.A14
ID - DBLP:journals/jot/CampanelloSIS25d
ER -
TY - JOUR
AU - Campanello, Victor
AU - Shahbaz, Shariq
AU - Indykov, Vladislav
AU - Strüber, Daniel
PY - 2025
DA - 2025//
TI - On the Use of GPT-4 in the Reverse Engineering of Class Diagrams
JO - J. Object Technol.
SP - 2
VL - 24
IS - 2
UR - https://doi.org/10.5381/JOT.2025.24.2.A14
DO - 10.5381/JOT.2025.24.2.A14
ID - DBLP:journals/jot/CampanelloSIS25e
ER -
TY - JOUR
AU - Indykov, Vladislav
AU - Strüber, Daniel
AU - Wohlrab, Rebekka
PY - 2025
DA - 2025//
TI - Architectural tactics to achieve quality attributes of machine-learning-enabled systems: a systematic literature review
JO - J. Syst. Softw.
SP - 112373
VL - 223
UR - https://doi.org/10.1016/j.jss.2025.112373
DO - 10.1016/j.jss.2025.112373
ID - DBLP:journals/jss/IndykovSW25
ER -
TY - JOUR
AU - Jacobs, Jules
AU - Foster, Nate
AU - Kappé, Tobias
AU - Kozen, Dexter
AU - Saada, Lily
AU - Silva, Alexandra
AU - Wagemaker, Jana
PY - 2025
DA - 2025//
TI - StacKAT: Infinite State Network Verification
JO - Proc. ACM Program. Lang.
SP - 277
EP - 300
VL - 9
IS - PLDI
UR - https://doi.org/10.1145/3729257
DO - 10.1145/3729257
ID - DBLP:journals/pacmpl/JacobsFKKSSW25
ER -
TY - CONF
AU - Andriushchenko, Roman
AU - Ceska, Milan
AU - Junges, Sebastian
AU - Macák, Filip
ED - Piskac, Ruzica
ED - Rakamaric, Zvonimir
PY - 2025
DA - 2025//
TI - Small Decision Trees for MDPs with Deductive Synthesis
BT - Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
T3 - Lecture Notes in Computer Science
SP - 169
EP - 192
VL - 15932
PB - Springer
UR - https://doi.org/10.1007/978-3-031-98679-6\_8
DO - 10.1007/978-3-031-98679-6\_8
ID - DBLP:conf/cav/AndriushchenkoCJM25
ER -
TY - CONF
AU - Gerlach, Lina
AU - Winkler, Tobias
AU - Ábrahám, Erika
AU - Bonakdarpour, Borzoo
AU - Junges, Sebastian
ED - Piskac, Ruzica
ED - Rakamaric, Zvonimir
PY - 2025
DA - 2025//
TI - Efficient Probabilistic Model Checking for Relational Reachability
BT - Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
T3 - Lecture Notes in Computer Science
SP - 127
EP - 147
VL - 15931
PB - Springer
UR - https://doi.org/10.1007/978-3-031-98668-0\_6
DO - 10.1007/978-3-031-98668-0\_6
ID - DBLP:conf/cav/GerlachWABJ25
ER -
TY - CONF
AU - Indykov, Vladislav
AU - Wohlrab, Rebekka
AU - Strüber, Daniel
ED - Hong, Jiman
ED - Battiato, Sebastiano
ED - Esposito, Christian
ED - Park, Juw Won
ED - Przybylek, Adam
PY - 2025
DA - 2025//
TI - Quality trade-offs in ML-enabled systems: a multiple-case study
BT - Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025
SP - 1730
EP - 1737
PB - ACM
UR - https://doi.org/10.1145/3672608.3707754
DO - 10.1145/3672608.3707754
ID - DBLP:conf/sac/IndykovW025
ER -
TY - CONF
AU - Peldszus, Sven
AU - Brugali, Davide
AU - Strüber, Daniel
AU - Pelliccione, Patrizio
AU - Berger, Thorsten
ED - Koziolek, Anne
ED - Lamprecht, Anna-Lena
ED - Thüm, Thomas
ED - Burger, Erik
PY - 2025
DA - 2025//
TI - Software Reconfiguration in Robotics
BT - Software Engineering 2025, Fachtagung des GI-Fachbereichs Softwaretechnik, Karlsruhe, Germany, February 24-28, 2025
T3 - LNI
SP - 46
VL - P-360
PB - Gesellschaft für Informatik e.V.
UR - https://doi.org/10.18420/se2025-46
DO - 10.18420/se2025-46
ID - DBLP:conf/se/PeldszusB0PB25
ER -
TY - CONF
AU - Andriushchenko, Roman
AU - Ceska, Milan
AU - Chakraborty, Debraj
AU - Junges, Sebastian
AU - Kretínský, Jan
AU - Macák, Filip
ED - Chiappa, Silvia
ED - Magliacane, Sara
PY - 2025
DA - 2025//
TI - Symbiotic Local Search for Small Decision Tree Policies in MDPs
BT - Conference on Uncertainty in Artificial Intelligence, Rio Othon Palace, Rio de Janeiro, Brazil, 21-25 July 2025
T3 - Proceedings of Machine Learning Research
SP - 132
EP - 148
VL - 286
PB - PMLR
UR - https://proceedings.mlr.press/v286/andriushchenko25a.html
ID - DBLP:conf/uai/AndriushchenkoCCJKM25
ER -
TY - CONF
AU - Doesburg, Job
AU - van Gastel, Pascal
AU - van Gastel, Bernard
AU - Poll, Erik
ED - Bieker, Felix
ED - Conca, Silvia De
ED - del Álamo, José M.
ED - Martín, Yod Samuel
PY - 2025
DA - 2025//
TI - Data Processing Diagrams - A Modeling Technique for Privacy in Complex Data Processing Systems
BT - Privacy and Identity Management. Generating Futures - 19th IFIP WG 9.6/11.7 and IFIP WG 11.6 International Summer School, Privacy and Identity 2024, Madrid, Spain, September 10-13, 2024, Revised Selected Papers
T3 - IFIP Advances in Information and Communication Technology
SP - 115
EP - 131
VL - 705
PB - Springer
UR - https://doi.org/10.1007/978-3-031-91054-8\_6
DO - 10.1007/978-3-031-91054-8\_6
ID - DBLP:conf/primelife/DoesburgGGP24
ER -
TY - JOUR
AU - de Kraker, Wesley
AU - Vranken, Harald
AU - Hommersom, Arjen
PY - 2025
DA - 2025//
TI - MultiGLICE: Combining Graph Neural Networks and Program Slicing for Multiclass Software Vulnerability Detection
JO - Comput.
SP - 98
VL - 14
IS - 3
UR - https://doi.org/10.3390/computers14030098
DO - 10.3390/computers14030098
ID - DBLP:journals/computers/KrakerVH25
ER -
TY - JOUR
AU - Dardha, Ornela
AU - Pérez, Jorge A.
AU - Rot, Jurriaan
PY - 2025
DA - 2025//
TI - Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020
JO - Inf. Comput.
SP - 105154
VL - 302
UR - https://doi.org/10.1016/j.ic.2024.105154
DO - 10.1016/j.ic.2024.105154
ID - DBLP:journals/iandc/Dardha0R25
ER -
TY - JOUR
AU - Gunasekaran, Raghavendran
AU - Haverkort, Boudewijn
AU - Kruger, Loes
PY - 2025
DA - 2025//
TI - Behavioral analysis of a digital twin using logging and model learning
JO - J. Object Technol.
SP - 2
VL - 24
IS - 2
UR - https://doi.org/10.5381/jot.2025.24.2.a7
DO - 10.5381/jot.2025.24.2.a7
ID - DBLP:journals/jot/GunasekaranHK25
ER -
TY - JOUR
AU - van den Bos, Petra
AU - Stoelinga, Mariëlle
PY - 2025
DA - 2025//
TI - With a little help from your friends: semi-cooperative games via Joker moves
JO - Log. Methods Comput. Sci.
VL - 21
IS - 1
UR - https://doi.org/10.46298/lmcs-21(1:26)2025
DO - 10.46298/lmcs-21(1:26)2025
ID - DBLP:journals/lmcs/BosS25
ER -
TY - JOUR
AU - van der Weide, Niels
PY - 2025
DA - 2025//
TI - The Formal Theory of Monads, Univalently
JO - Log. Methods Comput. Sci.
VL - 21
IS - 1
UR - https://doi.org/10.46298/lmcs-21(1:16)2025
DO - 10.46298/lmcs-21(1:16)2025
ID - DBLP:journals/lmcs/Weide25
ER -
TY - JOUR
AU - Bukhsh, Zaharah Allah
AU - Molegraaf, Hajo
AU - Jansen, Nils
PY - 2025
DA - 2025//
TI - A maintenance planning framework using online and offline deep reinforcement learning
JO - Neural Comput. Appl.
SP - 13209
EP - 13220
VL - 37
IS - 19
UR - https://doi.org/10.1007/s00521-023-08560-7
DO - 10.1007/s00521-023-08560-7
ID - DBLP:journals/nca/BukhshMJ25
ER -
TY - JOUR
AU - van Rooij, Orpheas
AU - Krebbers, Robbert
PY - 2025
DA - 2025//
TI - Affect: An Affine Type and Effect System
JO - Proc. ACM Program. Lang.
SP - 126
EP - 154
VL - 9
IS - POPL
UR - https://doi.org/10.1145/3704841
DO - 10.1145/3704841
ID - DBLP:journals/pacmpl/RooijK25
ER -
TY - JOUR
AU - Watanabe, Kazuki
AU - Junges, Sebastian
AU - Rot, Jurriaan
AU - Hasuo, Ichiro
PY - 2025
DA - 2025//
TI - A Unifying Approach to Product Constructions for Quantitative Temporal Inference
JO - Proc. ACM Program. Lang.
SP - 1575
EP - 1603
VL - 9
IS - OOPSLA1
UR - https://doi.org/10.1145/3720501
DO - 10.1145/3720501
ID - DBLP:journals/pacmpl/WatanabeJRH25
ER -
TY - JOUR
AU - Soltani, Reza
AU - Volk, Matthias
AU - Diamonte, Leonardo
AU - Lopuhaä-Zwakenberg, Milan
AU - Stoelinga, Mariëlle
PY - 2025
DA - 2025//
TI - Optimal spare management via statistical model checking: a case study in research reactors
JO - Int. J. Softw. Tools Technol. Transf.
SP - 361
EP - 376
VL - 27
IS - 3
UR - https://doi.org/10.1007/s10009-025-00791-4
DO - 10.1007/s10009-025-00791-4
ID - DBLP:journals/sttt/SoltaniVDLS25
ER -
TY - JOUR
AU - van der Wal, Djurre
AU - Gerhold, Marcus
AU - Stoelinga, Mariëlle
AU - Rensink, Arend
PY - 2025
DA - 2025//
TI - Conformance in the railway industry: Single-Input-Change testing a EULYNX controller
JO - Int. J. Softw. Tools Technol. Transf.
SP - 377
EP - 395
VL - 27
IS - 3
UR - https://doi.org/10.1007/s10009-025-00790-5
DO - 10.1007/s10009-025-00790-5
ID - DBLP:journals/sttt/WalGSR25
ER -
TY - CONF
AU - Richards, Jonan
AU - Wessel, Mairieli
PY - 2025
DA - 2025//
TI - Bridging HCI and AI Research for the Evaluation of Conversational SE Assistants
BT - IEEE/ACM International Workshop on Bots in Software Engineering, BotSE@ICSE 2025, Ottawa, ON, Canada, April 27, 2025
SP - 6
EP - 10
PB - IEEE
UR - https://doi.org/10.1109/BotSE67031.2025.00009
DO - 10.1109/BotSE67031.2025.00009
ID - DBLP:conf/botse-ws/RichardsW25
ER -
TY - CONF
AU - Nicoletti, Stefano M.
AU - Hahn, Ernst Moritz
AU - Fumagalli, Mattia
AU - Guizzardi, Giancarlo
AU - Stoelinga, Mariëlle
ED - Krogstie, John
ED - Rinderle-Ma, Stefanie
ED - Kappel, Gerti
ED - Proper, Henderik A.
PY - 2025
DA - 2025//
TI - WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
BT - Advanced Information Systems Engineering - 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
T3 - Lecture Notes in Computer Science
SP - 314
EP - 331
VL - 15702
PB - Springer
UR - https://doi.org/10.1007/978-3-031-94571-7\_18
DO - 10.1007/978-3-031-94571-7\_18
ID - DBLP:conf/caise/NicolettiHFGS25
ER -
TY - CONF
AU - Wißmann, Thorsten
AU - Kocsis, Bálint
AU - Rot, Jurriaan
AU - Turkenburg, Ruben
ED - Cîrstea, Corina
ED - Knapp, Alexander
PY - 2025
DA - 2025//
TI - Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl)
BT - 11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, June 16-18, 2025, University of Strathclyde, UK
T3 - LIPIcs
SP - 15:1
EP - 15:18
VL - 342
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
UR - https://doi.org/10.4230/LIPIcs.CALCO.2025.15
DO - 10.4230/LIPIcs.CALCO.2025.15
ID - DBLP:conf/calco/WissmannKRT25
ER -
TY - CONF
AU - Badings, Thom S.
AU - Koops, Wietze
AU - Junges, Sebastian
AU - Jansen, Nils
ED - Piskac, Ruzica
ED - Rakamaric, Zvonimir
PY - 2025
DA - 2025//
TI - Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
BT - Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
T3 - Lecture Notes in Computer Science
SP - 349
EP - 375
VL - 15932
PB - Springer
UR - https://doi.org/10.1007/978-3-031-98679-6\_16
DO - 10.1007/978-3-031-98679-6\_16
ID - DBLP:conf/cav/BadingsKJJ25
ER -
TY - CONF
AU - Chen, Hanyue
AU - Zhang, Miaomiao
AU - Vaandrager, Frits W.
ED - Piskac, Ruzica
ED - Rakamaric, Zvonimir
PY - 2025
DA - 2025//
TI - Compositional Abstraction for Timed Systems with Broadcast Synchronization
BT - Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
T3 - Lecture Notes in Computer Science
SP - 162
EP - 184
VL - 15931
PB - Springer
UR - https://doi.org/10.1007/978-3-031-98668-0\_8
DO - 10.1007/978-3-031-98668-0\_8
ID - DBLP:conf/cav/ChenZV25
ER -
TY - CONF
AU - Vaandrager, Frits W.
AU - Melse, Ivo
ED - Bouyer, Patricia
ED - van de Pol, Jaco
PY - 2025
DA - 2025//
TI - New Fault Domains for Conformance Testing of Finite State Machines
BT - 36th International Conference on Concurrency Theory, CONCUR 2025, August 26-29, 2025, Aarhus, Denmark
T3 - LIPIcs
SP - 34:1
EP - 34:22
VL - 348
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
UR - https://doi.org/10.4230/LIPIcs.CONCUR.2025.34
DO - 10.4230/LIPIcs.CONCUR.2025.34
ID - DBLP:conf/concur/VaandragerM25
ER -
TY - CONF
AU - Alexandru, Cass
AU - Choudhury, Vikraman
AU - Rot, Jurriaan
AU - van der Weide, Niels
ED - Stark, Kathrin
ED - Timany, Amin
ED - Blazy, Sandrine
ED - Tabareau, Nicolas
PY - 2025
DA - 2025//
TI - Intrinsically Correct Sorting in Cubical Agda
BT - Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025
SP - 34
EP - 49
PB - ACM
UR - https://doi.org/10.1145/3703595.3705873
DO - 10.1145/3703595.3705873
ID - DBLP:conf/cpp/AlexandruCRW25
ER -
TY - CONF
AU - Humeau, Samuel
AU - Petrisan, Daniela
AU - Rot, Jurriaan
ED - Endrullis, Jörg
ED - Schmitz, Sylvain
PY - 2025
DA - 2025//
TI - Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach
BT - 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands
T3 - LIPIcs
SP - 29:1
EP - 29:18
VL - 326
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
UR - https://doi.org/10.4230/LIPIcs.CSL.2025.29
DO - 10.4230/LIPIcs.CSL.2025.29
ID - DBLP:conf/csl/0002PR25
ER -
TY - CONF
AU - Rasekh, Nima
AU - van der Weide, Niels
AU - Ahrens, Benedikt
AU - North, Paige Randall
ED - Endrullis, Jörg
ED - Schmitz, Sylvain
PY - 2025
DA - 2025//
TI - Insights from Univalent Foundations: A Case Study Using Double Categories
BT - 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands
T3 - LIPIcs
SP - 45:1
EP - 45:18
VL - 326
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
UR - https://doi.org/10.4230/LIPIcs.CSL.2025.45
DO - 10.4230/LIPIcs.CSL.2025.45
ID - DBLP:conf/csl/RasekhWAN25
ER -
TY - CONF
AU - Kocsis, Bálint
AU - Rot, Jurriaan
ED - Abdulla, Parosh Aziz
ED - Kesner, Delia
PY - 2025
DA - 2025//
TI - Complete Test Suites for Automata in Monoidal Closed Categories
BT - Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
T3 - Lecture Notes in Computer Science
SP - 198
EP - 219
VL - 15691
PB - Springer
UR - https://doi.org/10.1007/978-3-031-90897-2\_10
DO - 10.1007/978-3-031-90897-2\_10
ID - DBLP:conf/fossacs/KocsisR25
ER -
TY - CONF
AU - Nora, Pedro
AU - Rot, Jurriaan
AU - Schröder, Lutz
AU - Wild, Paul
ED - Abdulla, Parosh Aziz
ED - Kesner, Delia
PY - 2025
DA - 2025//
TI - Relational Connectors and Heterogeneous Simulations
BT - Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
T3 - Lecture Notes in Computer Science
SP - 111
EP - 132
VL - 15691
PB - Springer
UR - https://doi.org/10.1007/978-3-031-90897-2\_6
DO - 10.1007/978-3-031-90897-2\_6
ID - DBLP:conf/fossacs/NoraRSW25
ER -
TY - CONF
AU - Bronsveld, Steven
AU - Geuvers, Herman
AU - van der Weide, Niels
ED - Fernández, Maribel
PY - 2025
DA - 2025//
TI - Impredicative Encodings of Inductive and Coinductive Types
BT - 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK
T3 - LIPIcs
SP - 11:1
EP - 11:22
VL - 337
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
UR - https://doi.org/10.4230/LIPIcs.FSCD.2025.11
DO - 10.4230/LIPIcs.FSCD.2025.11
ID - DBLP:conf/fscd/BronsveldGW25
ER -
TY - CONF
AU - Fuhs, Carsten
AU - Guo, Liye
AU - Kop, Cynthia
ED - Fernández, Maribel
PY - 2025
DA - 2025//
TI - An Innermost DP Framework for Constrained Higher-Order Rewriting
BT - 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK
T3 - LIPIcs
SP - 20:1
EP - 20:24
VL - 337
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
UR - https://doi.org/10.4230/LIPIcs.FSCD.2025.20
DO - 10.4230/LIPIcs.FSCD.2025.20
ID - DBLP:conf/fscd/FuhsGK25
ER -
TY - CONF
AU - Köprülü, Cevahir
AU - Simão, Thiago D.
AU - Jansen, Nils
AU - Topcu, Ufuk
PY - 2025
DA - 2025//
TI - Safety-Prioritizing Curricula for Constrained Reinforcement Learning
BT - The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025
PB - OpenReview.net
UR - https://openreview.net/forum?id=f3QR9TEERH
ID - DBLP:conf/iclr/KopruluS0T25
ER -
TY - CONF
AU - Zubia, Markel
AU - Simão, Thiago D.
AU - Jansen, Nils
PY - 2025
DA - 2025//
TI - Robust Transfer of Safety-Constrained Reinforcement Learning Agents
BT - The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025
PB - OpenReview.net
UR - https://openreview.net/forum?id=rvXdGL4pCJ
ID - DBLP:conf/iclr/ZubiaS025
ER -
TY - CONF
AU - Krale, Merlijn
AU - Koops, Wietze
AU - Junges, Sebastian
AU - Simão, Thiago D.
AU - Jansen, Nils
ED - Das, Sanmay
ED - Nowé, Ann
ED - Vorobeychik, Yevgeniy
PY - 2025
DA - 2025//
TI - Tighter Value-Function Approximations for POMDPs
BT - Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025
SP - 1200
EP - 1208
PB - International Foundation for Autonomous Agents and Multiagent Systems / ACM
UR - https://dl.acm.org/doi/10.5555/3709347.3743641
UR - https://doi.org/10.5555/3709347.3743641
DO - 10.5555/3709347.3743641
ID - DBLP:conf/ifaamas/KraleKJS025
ER -
TY - CONF
AU - Huang, Jiangnan
AU - Lin, Bin
PY - 2025
DA - 2025//
TI - Revisiting Security Practices for Github Actions Workflows
BT - 33rd IEEE/ACM International Conference on Program Comprehension, ICPC@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
SP - 73
EP - 77
PB - IEEE
UR - https://doi.org/10.1109/ICPC66645.2025.00016
DO - 10.1109/ICPC66645.2025.00016
ID - DBLP:conf/iwpc/0001L25
ER -
TY - CONF
AU - Yonekura, Miki
AU - Kashiwa, Yutaro
AU - Lin, Bin
AU - Fujiwara, Kenji
AU - Iida, Hajimu
PY - 2025
DA - 2025//
TI - Leveraging Context Information for Self-Admitted Technical Debt Detection
BT - 33rd IEEE/ACM International Conference on Program Comprehension, ICPC@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
SP - 1
EP - 12
PB - IEEE
UR - https://doi.org/10.1109/ICPC66645.2025.00018
DO - 10.1109/ICPC66645.2025.00018
ID - DBLP:conf/iwpc/YonekuraK0FI25
ER -
TY - CONF
AU - Oortwijn, Wytse
AU - Blankenstein, Yuri
AU - Hegge, Jos
AU - Hendriks, Dennis
AU - van de Laar, Piërre
AU - van der Sanden, Bram
AU - van Veen, Laura
AU - Yang, Nan
ED - Ciccozzi, Federico
ED - Pires, Luís Ferreira
ED - Bordeleau, Francis
PY - 2025
DA - 2025//
TI - Towards Synthesis-Based Engineering for Cyber-Physical Production Systems
BT - Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2025, Porto, Portugal, February 26-28, 2025
SP - 158
EP - 168
PB - SCITEPRESS
UR - https://doi.org/10.5220/0013103300003896
DO - 10.5220/0013103300003896
ID - DBLP:conf/modelsward/OortwijnBHHLSV025
ER -
TY - CONF
AU - Suwanachote, Nabhan
AU - Shakizada, Yagut
AU - Kashiwa, Yutaro
AU - Lin, Bin
AU - Iida, Hajimu
PY - 2025
DA - 2025//
TI - On the Evolution of Unused Dependencies in Java Project Releases: An Empirical Study
BT - 22nd IEEE/ACM International Conference on Mining Software Repositories, MSR@ICSE 2025, Ottawa, ON, Canada, April 28-29, 2025
SP - 324
EP - 328
PB - IEEE
UR - https://doi.org/10.1109/MSR66628.2025.00059
DO - 10.1109/MSR66628.2025.00059
ID - DBLP:conf/msr/SuwanachoteSK0I25
ER -
TY - CONF
ED - Scholz, Sven-Bodo
ED - Sinkarovs, Artjoms
PY - 2025
DA - 2025//
TI - Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2025, Seoul, Republic of Korea, 17 June 2025
PB - ACM
SN - 979-8-4007-1927-1
UR - https://doi.org/10.1145/3736112
DO - 10.1145/3736112
ID - DBLP:conf/array/2025
ER -