ELLIIT: the Linköping-Lund initiative on IT and mobile communication
51 – 60 of 3884
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Fully Declarative Specification of Static Code Checkers
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Activity Report 2024
2025) In TFRT-4052(
- Book/Report › Report
-
Mark
Formal Analysis of Julia Key Agreement Protocol
2025) 26th International Conference on Information and Communications Security, ICICS 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15057 LNCS. p.171-190(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer(
- Contribution to journal › Article
-
Mark
Model-Based State Estimation for Euler–Lagrange Systems and Rigid-Body Robot Control
(
- Contribution to journal › Article
-
Mark
Towards Out-of-Distribution Detection for Breast Cancer Classification in Point-of-Care Ultrasound Imaging
2025) 27th International Conference on Pattern Recognition, ICPR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15313 LNCS. p.49-63(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ray-tracing-assisted High-Resolution Parameter Estimation for Dynamic Millimeter-Wave Channels
2025) 19th European Conference on Antennas and Propagation (EuCAP) 2025(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Support, not automation : towards AI-supported code review for code quality and beyond
2025) 33rd ACM International Conference on the Foundations of Software(
Engineering- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
What questions do developers ask during code review?
2025) WASP Winter Conference 2025(
- Contribution to conference › Poster
-
Mark
A unified framework for real-time failure handling in robotics using vision-language models, reactive planner and behavior trees
2025)(
- Book/Report › Conference proceeding (editor)