SAS

Publications

2023

Aleksandar S. Dimovski
Error Invariants for Fault Localization via Abstract Interpretation. SAS (2023)
Philippe Masson, Bruce Wallace, James Green, Rafik Goubran
Comparison of Spatial Coverage of LiDAR Systems for In Home Activity of Daily Living Applications. SAS (2023)
Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS (2023)
Robert F. H. Hunter, Mohamadreza Pashazanoosi, Steve Hranilovic, Costel Flueraru, Antony Orth, Oliver J. Pitts
Experimental Point Spread Function Imaging of Turbulent Wavefronts Using Compressive Sensing. SAS (2023)
Veysi Adin, Yuxuan Zhang, Bruno Andò, Bengt Oelmann, Sebastian Bader
Tiny Machine Learning for Real-Time Postural Stability Analysis. SAS (2023)
Rosa Abbasi, Eva Darulova
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. SAS (2023)
Yanbin Chen, Yannick Stade
Quantum Constant Propagation. SAS (2023)
Michael Schwarz, Helmut Seidl
Octagons Revisited - Elegant Proofs and Simplified Algorithms. SAS (2023)
Isabella Mastroeni, Michele Pasqua
Domain Precision in Galois Connection-Less Abstract Interpretation. SAS (2023)
Loris D'Antoni
Verifying Infinitely Many Programs at Once. SAS (2023)
Rinku Basak, Khan A. Wahid
Assessment of Leaf Phosphorus for Multiple Crop Species Using an Electrical Impedance Spectroscopy Sensor. SAS (2023)
Davide Botturi, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Simone Pasinetti, Matteo Soprani, Emiliano Sisinni
LoRaVine: Using LoRaWAN for Smart Vineyards Microclimate Monitoring. SAS (2023)
Jason Abounader, Kwangtaek Kim, Bryan D. Caldwell, Mark A. Hardy
An Initial Study of Ingrown Toenail Removal Simulation in Virtual Reality with Bimanual Haptic Feedback for Podiatric Surgical Training. SAS (2023)
Georgios Papangelakis, Han Liu, Bhashyam Balaji, Phillip Blakey, Amr S. Helmy
Receiver Operator Characteristic Enhancement by Overcomming the Hardware Temporal Resolution Limit Using Nonlocal Effects in LiDAR. SAS (2023)
Francesca Schenkel, Christoph Baer, Ilona Rolfes, Christian Schulz
Flame-Millimeter-Wave-Interactions: A Radar-Based Sensor Concept. SAS (2023)
Luciano S. Martínez Rau, Veysi Adin, Leonardo Luis Giovanini, Bengt Oelmann, Sebastian Bader
Real-Time Acoustic Monitoring of Foraging Behavior of Grazing Cattle Using Low-Power Embedded Devices. SAS (2023)
Xuezhou Tang, Ye Zheng, Jiaxiang Liu
Boosting Multi-neuron Convex Relaxation for Neural Network Verification. SAS (2023)
Tatsunori Matsumoto, Chinthaka Premachandra
Depth Sensor Application in Ground Unevenness Estimation for UAV Emergency Landing. SAS (2023)
Anastasia Isychev, Eva Darulova
Scaling up Roundoff Analysis of Functional Data Structure Programs. SAS (2023)
Florian Frohn, Jürgen Giesl
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses. SAS (2023)
Josselin Giet, Félix Ridoux, Xavier Rival
A Product of Shape and Sequence Abstractions. SAS (2023)
Aleksandar S. Dimovski
Generalized Program Sketching by Abstract Interpretation and Logical Abduction. SAS (2023)
Shuo Ding, Qirun Zhang
Mutual Refinements of Context-Free Language Reachability. SAS (2023)
Jérôme Boillot, Jérôme Feret
Symbolic Transformation of Expressions in Modular Arithmetic. SAS (2023)
Xin Qiao, Weimin Huang
Spectral-Spatial-Frequency Transformer Network for Hyperspectral Image Classification. SAS (2023)
Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand
Abstract Interpretation in Industry - Experience and Lessons Learned. SAS (2023)
Nick Torenvliet, Yizhe Liu, John Zelek
Automating Safety Critical Ultrasonic Data Analysis with a Variational Auto-Encoder. SAS (2023)
Francesco Maccantelli, Giacomo Peruzzi, Alessandro Pozzebon
Traffic Level Monitoring in Urban Scenarios with Virtual Sensing Techniques Enabled by Embedded Machine Learning. SAS (2023)
Neel Kanth Kundu, Matthew R. McKay, Bhashyam Balaji
Quantum Enhanced Sensing Using Gaussian Quantum States. SAS (2023)
Carl Brander, Cristian Cioflan, Vlad Niculescu, Hanna Müller, Tommaso Polonelli, Michele Magno, Luca Benini
Improving Data-Scarce Image Classification Through Multimodal Synthetic Data Pretraining. SAS (2023)
Mohamed Yassine Bouhamidi, Dmytro Lomovtsev, Gengyang Mu, Martin Charron, Matthew Waugh, Vincent Tabard-Cossa
Characterizing Surface Charge Density of Solid-State Nanopore Sensors for Improved Biosensing Applications. SAS (2023)
Gerrit Maus, Dieter Brückmann
Matching Pursuit Based Joint Angle and Delay Estimation for Bluetooth Direction Finding. SAS (2023)
Reyhaneh Banihabib, Fredrik Skaug Fadnes, Mohsen Assadi
Optimizing Building Heating Efficiency: A Data-Driven Approach for Cost and Energy Savings. SAS (2023)
Zhenyu Zhang, Yichun Shen, Julio J. Valdés, Saiful Huq, Bruce Wallace, James Green, Pengcheng Xi, Rafik Goubran
Domestic Sound Classification with Deep Learning. SAS (2023)
Ankita Dey, Yann Cabanes, Sreeraman Rajan, Bhashyam Balaji, Anthony Damini, Rajkumar Chanchlani
Radar-Based Drone Detection Using Complex-Valued Convolutional Neural Network. SAS (2023)
Bhaskar Anand, Pachamuthu Rajalakshmi
Pipeline for Automation of LiDAR Data Annotation. SAS (2023)
Y. Lu, Aranee Balachandran, Ratnasingham Tharmarasa, Sunil Chomal
Detection Level and Target Level Road User Classification with Radar Point Cloud. SAS (2023)
Thomas Seed, Chris Coppins, Andy King, Neil Evans
Polynomial Analysis of Modular Arithmetic. SAS (2023)
Matthieu Lemerre
Reverse Template Processing Using Abstract Interpretation. SAS (2023)
Gagandeep Singh
Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. SAS (2023)
Ana Soladado, José Manuel Costa-Fernández, Candela Melendreras, Patricia Lozano Fernández, Juan Carlos Campo Rodriguez, Marta Valledor, Alberto López, Francisco Ferrero
A Performance Comparison of Two Portable NIRS Technologies for Olive Oil Adulteration. SAS (2023)
Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang
BREWasm: A General Static Binary Rewriting Framework for WebAssembly. SAS (2023)
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
Lifting On-Demand Analysis to Higher-Order Languages. SAS (2023)
Ebrahim Ali Nehary, Sreeraman Rajan, Carlos Rossa
Comparison of COVID-19 Classification via Imagenet-Based and RadImagenet-Based Transfer Learning Models with Random Frame Selection. SAS (2023)
Jona Cappelle, Bert Cox, Liesbet Van der Perre
Automated and Interference-Free Inventory Solution Using Energy-Neutral BLE Tags. SAS (2023)
Alessandro Brighente, Mauro Conti, Giacomo Peruzzi, Alessandro Pozzebon
ADASS: Anti-Drone Audio Surveillance Sentinel via Embedded Machine Learning. SAS (2023)
Colin S. Gordon, Chaewon Yun
Error Localization for Sequential Effect Systems. SAS (2023)
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
How Fitting is Your Abstract Domain? SAS (2023)
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
Unconstrained Variable Oracles for Faster Numeric Static Analyses. SAS (2023)

volume 14284, 2023

Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings SAS 14284 (2023)