Search results for "SAS"

Hits ?▲	Authors	Title	Venue	Year	Link
32	Mahmoud Altrabolsi, Chafic Labaki, Imad H. Elhajj, Daniel C. Asmar	Detection and Thickness Estimation of Oil under Saline Ice Using Machine Learning.	SAS	2022	DBLP DOI BibTeX RDF
32	Tommaso Addabbo, Federico Carli, Ada Fort, Federico Micheletti, Enza Panzardi, Valerio Vignoli	Telemetric QCM-D based sensing system with adaptive excitation frequency.	SAS	2022	DBLP DOI BibTeX RDF
32	Lixing Yu, Atsutake Kosuge, Mototsugu Hamada, Tadahiro Kuroda	An Anomaly Detection System for Transparent Objects Using Polarized-Image Fusion Technique.	SAS	2022	DBLP DOI BibTeX RDF
32	Jeanette Ortega, Thomas Gries	Particle doped fiber based sensors for the monitoring of structures.	SAS	2022	DBLP DOI BibTeX RDF
32	Harald Gietler, Christoph Böhm 0004, Stefan Ainetter, Christian Schöffmann, Friedrich Fraundorfer, Stephan Weiss 0002, Hubert Zangl	Forestry Crane Automation using Learning-based Visual Grasping Point Prediction.	SAS	2022	DBLP DOI BibTeX RDF
32	Florian Rittweger, Philipp Schiepel, Jonas Ernsting, Karl-Ragmar Riemschneider	Sensor Data Communication via Light Guide Body for Monitoring Vehicle Batteries.	SAS	2022	DBLP DOI BibTeX RDF
32	Yuxuan Zhang 0005, Sebastian Bader 0002, Bengt Oelmann	A Lightweight Convolutional Neural Network Model for Concrete Damage Classification using Acoustic Emissions.	SAS	2022	DBLP DOI BibTeX RDF
32	An-Tai Hsiao, Chun-Hsien Liu, Po-Hsuan Chen, Yao-Lun Liu, Wei-Chi Wang, Tzu-Hsien Sang, Chia-Ming Tsai, Gray Lin, Jiun-In Guo, Sheng-Di Lin	Real-time LiDAR module with 64x128-pixel CMOS SPAD array and 940-nm PCSEL.	SAS	2022	DBLP DOI BibTeX RDF
32	Kane C. Williams, Michael D. O'Toole, Liam A. Marsh, Anthony J. Peyton	Classification of batteries in waste streams using magnetic induction spectroscopy.	SAS	2022	DBLP DOI BibTeX RDF
32	Carla Amatetti, Tommaso Polonelli, Enea Masina, Charles Moatti, Denis Mikhaylov, Davide Amato, Alessandro Vanelli-Coralli, Michele Magno, Luca Benini	Towards the Future Generation of Railway Localization and Signaling Exploiting sub-meter RTK GNSS.	SAS	2022	DBLP DOI BibTeX RDF
32	Tommaso Polonelli, Simon Schläpfer, Michele Magno	Performance Comparison between Decawave DW1000 and DW3000 in low-power double side ranging applications.	SAS	2022	DBLP DOI BibTeX RDF
32	Andrés Rico, Suparnamaaya Prasad, Kent Larson	A low-cost, open-source, and distributed ocean profiling sensor node.	SAS	2022	DBLP DOI BibTeX RDF
32	Nunzio Cennamo, Francesco Arcadio, Vincenzo Marletta, Domenico Del Prete, Bruno Andò, Luigi Zeni, Mario Cesaro, Alfredo De Matteis	A simple and highly sensitive Force Sensor based on modified plastic optical fibers and cantilevers.	SAS	2022	DBLP DOI BibTeX RDF
32	Thorben Schuthe, Karl-Ragmar Riemschneider, Andreas Meyer-Eschenbach	Magnetic Sensor Array for Determining the Assembly Torsion and Preload of a Bolted Joint.	SAS	2022	DBLP DOI BibTeX RDF
32	Poojitha Makireddy, Prashanth Vooka	A three-electrode capacitive based sensing system to determine the direction of motion of humans.	SAS	2022	DBLP DOI BibTeX RDF
32	Christian Brunner, Rainer Hagl	High accuracy torque measurement with position measuring devices.	SAS	2022	DBLP DOI BibTeX RDF
32	Sanghyun Park, Dongheon Lee, Jisoo Choi, Dohyeon Ko, Minji Lee, Zack Murphy, Nowf Binhowidy, Anthony Smith	Feasibility of Measuring Shot Group Using LoRa Technology and YOLO V5.	SAS	2022	DBLP DOI BibTeX RDF
32	Soley Hafthorsdottir, Sergei Vostrikov, Andrea Cossettini, Michael Rieder, Christoph Leitner, Michele Magno, Luca Benini	Automatic Extraction of Muscle Fascicle Pennation Angle from Raw Ultrasound Data.	SAS	2022	DBLP DOI BibTeX RDF
32	Gernot Fiala, Zhenyu Ye, Christian Steger	Pupil Detection for Augmented and Virtual Reality based on Images with Reduced Bit Depths.	SAS	2022	DBLP DOI BibTeX RDF
32	Emiliano Sisinni, Alessandro Depari, Paolo Bellagente, Paolo Ferrari, Alessandra Flammini, Marco Pasetti, Stefano Rinaldi	On feature selection in automatic detection of fitness exercises using LSTM models.	SAS	2022	DBLP DOI BibTeX RDF
32	Paolo Bellagente	Assessment of UWB RTLS for Proximity Hazards Management in Construction Sites.	SAS	2022	DBLP DOI BibTeX RDF
32	Verónica Ojeda, Juan C. Aviles	Rx position effect on Device Free Indoor Localization in the 28 GHz band.	SAS	2022	DBLP DOI BibTeX RDF
32	S. Tagger, Markus Neumayer, Gabriel Gruber, Hannes Wegleiter	Metrological Analysis of a Contactless Inductive Position Measurement System.	SAS	2022	DBLP DOI BibTeX RDF
32	Oleksandr Makeyev, Yiyao Ye-Lin, Gema Prats-Boluda, Javier Garcia-Casado	Comparing Optimal and Commercially Available Bipolar and Tripolar Concentric Ring Electrode Configurations Using Finite Element Method Modeling Based on Their Finite Dimensions Models.	SAS	2022	DBLP DOI BibTeX RDF
32	Francesco Paissan, Velu Prabhakar Kumaravel, Elisabetta Farella	Interpretable CNN for Single-Channel Artifacts Detection in Raw EEG Signals.	SAS	2022	DBLP DOI BibTeX RDF
32	Taehyeon Kim, Minwoo Kang, Sumin Kang, Donghan Kim 0001	Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator.	SAS	2022	DBLP DOI BibTeX RDF
32	Saif Almhairat, Bruce Wallace 0001, Julien Larivière-Chartier, Ali El-Haraki, Rafik Goubran, Frank Knoefel	Maintaining Synchrony of Dual Machine Learning: A Phase-Locked Loop Approach.	SAS	2022	DBLP DOI BibTeX RDF
32	Om Prakash Maurya, Parasuraman Sumathi	Design Considerations of Capacitive Sensors for Micro-Droplet Detection.	SAS	2022	DBLP DOI BibTeX RDF
32	Tommaso Polonelli, Andrea Bentivogli, Guido Comai, Michele Magno	Self-sustainable IoT Wireless Sensor Node for Predictive Maintenance on Electric Motors.	SAS	2022	DBLP DOI BibTeX RDF
32	Leen Yassin Kassab, Andrew Law, Bruce Wallace 0001, Julien Larivière-Chartier, Rafik Goubran, Frank Knoefel	Effects of Lighting and Window Length on Heart Rate Assessment through Video Magnification.	SAS	2022	DBLP DOI BibTeX RDF
32	Gianluca Cicala, Francesco Arcadio, Luigi Zeni, Lorena Saitta, Claudio Tosto, Maria Elena Fragala, Domenico Del Prete, Nunzio Cennamo	Plasmonic Sensors based on 3D-printed polymer waveguides covered by a metals bilayer.	SAS	2022	DBLP DOI BibTeX RDF
32	Adduru U. G. Sankararao, P. Rajalakshmi, Sivasakthi Kaliamoorthy, Sunitha Choudhary	Water Stress Detection in Pearl Millet Canopy with Selected Wavebands using UAV Based Hyperspectral Imaging and Machine Learning.	SAS	2022	DBLP DOI BibTeX RDF
32	Idan Shem Tov, Anwesha Mukherjee, Joseph Hayon, Laura Hargreaves, Alexander L. Shluger, Yossi Rosenwaks	Hydrogen Induced Dipole Layer in Pd-SiO2 Based Gas Sensors.	SAS	2022	DBLP DOI BibTeX RDF
32	Sareh Soleimani Gilakjani, Hussein Al Osman	Emotion Classification from Electroencephalogram Signals Using a Cascade of Convolutional and Block-Based Residual Recurrent Neural Networks.	SAS	2022	DBLP DOI BibTeX RDF
32	Marina Terlau, Axel von Freyberg, Dirk Stöbener, Andreas Fischer 0005	In-Process Tool Deflection Measurement in Incremental Sheet Metal Forming.	SAS	2022	DBLP DOI BibTeX RDF
32	Jona Cappelle, Geoffrey Ottoy, Sarah Goossens, Hanne Deprez, Jarne Van Mulders, Guus Leenders, Gilles Callebaut, Ku Leuven	IoT with a Soft Touch: A Modular Remote Sensing Platform for STE(A)M Applications.	SAS	2022	DBLP DOI BibTeX RDF
32	Karim Habashy, Julio J. Valdés, Madison Cohen-McFarlane, Pengcheng Xi, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel	Cough Classification Using Audio Spectrogram Transformer.	SAS	2022	DBLP DOI BibTeX RDF
32	Shilpa Susan George, Jagadeesh Kumar V	Three-Coil Sensor for Liquid Level Measurement.	SAS	2022	DBLP DOI BibTeX RDF
32	Karsten Husby, Arild Saasen, Jan David Ytrehus, Magnus Hjelstuen, Tor Jan Eriksen, Alessandro Liberale	Active magnetic ranging while drilling: A down-hole surroundings mapping.	SAS	2022	DBLP DOI BibTeX RDF
32	Ru Yan, Håkon Viumdal, Kjetil Fjalestad, Saba Mylvaganam	Ensemble learning in the estimation of flow types and velocities of individual phases in multiphase flow using non-intrusive accelerometers' and process pressure data.	SAS	2022	DBLP DOI BibTeX RDF
32	Riccardo Caponetto, Andrea Cincotta, Giovanna Di Pasquale, Salvatore Graziani, Antonino Pollicino, Carlo Trigona	Modeling of a Bacterial Cellulose-based Composite in Bending Configuration.	SAS	2022	DBLP DOI BibTeX RDF
32	Sanzhar Shakarim, Daniele Tosi, Gulsim Kulsharova	Integration of fiber optic sensors in organ-on-a-chip devices towards label-free cell viability assays.	SAS	2022	DBLP DOI BibTeX RDF
32	Madison Cohen-McFarlane, Fatima Hassan, Pengcheng Xi, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel	Impact of face covering models on respiratory sound classification applications.	SAS	2022	DBLP DOI BibTeX RDF
32	Ashi Agarwal, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel, Neil W. Thomas	Method to Improve Gait Speed Assessment for Low Frame Rate AI Enabled Visual Sensor.	SAS	2022	DBLP DOI BibTeX RDF
32	Debasrita Kar, Boby George, K. Sridharan 0001	A Bending Angle Sensor Based on Magnetic Coupling Suitable for Soft Robotic Finger.	SAS	2022	DBLP DOI BibTeX RDF
32	Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi (eds.)	Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings	SAS	2021	DBLP DOI BibTeX RDF
32	Julien Braine, Laure Gonnord, David Monniaux	Data Abstraction: A General Framework to Handle Program Verification of Data Structures.	SAS	2021	DBLP DOI BibTeX RDF
32	Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel	Compositional Verification of Smart Contracts Through Communication Abstraction.	SAS	2021	DBLP DOI BibTeX RDF
32	Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001	Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.	SAS	2021	DBLP DOI BibTeX RDF
32	Marek Chalupa, Jan Strejcek	Backward Symbolic Execution with Loop Folding.	SAS	2021	DBLP DOI BibTeX RDF
32	Jingbo Lu, Dongjie He, Jingling Xue	Selective Context-Sensitivity for k-CFA with CFL-Reachability.	SAS	2021	DBLP DOI BibTeX RDF
32	Divyanjali Sharma, Subodh Sharma 0001	Thread-Modular Analysis of Release-Acquire Concurrency.	SAS	2021	DBLP DOI BibTeX RDF
32	David Delmas, Abdelraouf Ouadjaout, Antoine Miné	Static Analysis of Endian Portability by Abstract Interpretation.	SAS	2021	DBLP DOI BibTeX RDF
32	Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey	Disjunctive Interval Analysis.	SAS	2021	DBLP DOI BibTeX RDF
32	Xuezheng Xu, Xudong Wang, Jingling Xue	Automatic Synthesis of Data-Flow Analyzers.	SAS	2021	DBLP DOI BibTeX RDF
32	Naoki Kobayashi 0001, Taro Sekiyama, Issei Sato, Hiroshi Unno 0001	Toward Neural-Network-Guided Program Synthesis and Verification.	SAS	2021	DBLP DOI BibTeX RDF
32	Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001	Selectively-Amortized Resource Bounding.	SAS	2021	DBLP DOI BibTeX RDF
32	Kai Jia, Martin C. Rinard	Verifying Low-Dimensional Input Neural Networks via Input Quantization.	SAS	2021	DBLP DOI BibTeX RDF
32	Denis Mazzucato, Caterina Urban	Reduced Products of Abstract Domains for Fairness Certification of Neural Networks.	SAS	2021	DBLP DOI BibTeX RDF
32	Mohamad Barbar, Yulei Sui	Hash Consed Points-To Sets.	SAS	2021	DBLP DOI BibTeX RDF
32	Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel	Fast and Efficient Bit-Level Precision Tuning.	SAS	2021	DBLP DOI BibTeX RDF
32	Mohsen Safari, Wytse Oortwijn, Marieke Huisman	Automated Verification of the Parallel Bellman-Ford Algorithm.	SAS	2021	DBLP DOI BibTeX RDF
32	Michael Schwarz 0007, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani	Improving Thread-Modular Abstract Interpretation.	SAS	2021	DBLP DOI BibTeX RDF
32	Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan 0001	Static Analysis of ReLU Neural Networks with Tropical Polyhedra.	SAS	2021	DBLP DOI BibTeX RDF
32	Lucas Franceschino, David Pichardie, Jean-Pierre Talpin	Verified Functional Programming of an Abstract Interpreter.	SAS	2021	DBLP DOI BibTeX RDF
32	Kai Jia, Martin C. Rinard	Exploiting Verified Neural Networks via Floating Point Numerical Error.	SAS	2021	DBLP DOI BibTeX RDF
32	Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné	A Multilanguage Static Analysis of Python Programs with Native C Extensions.	SAS	2021	DBLP DOI BibTeX RDF
32	Yifan Chen, Chenyang Yang 0002, Xin Zhang, Yingfei Xiong 0001, Hao Tang, Xiaoyin Wang, Lu Zhang 0023	Accelerating Program Analyses in Datalog by Merging Library Facts.	SAS	2021	DBLP DOI BibTeX RDF
32	David Pichardie, Mihaela Sighireanu (eds.)	Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings	SAS	2020	DBLP DOI BibTeX RDF
32	Florian Frohn, Marcel Hark, Jürgen Giesl	Termination of Polynomial Loops.	SAS	2020	DBLP DOI BibTeX RDF
32	Abu Naser Masud	Simple and Efficient Computation of Minimal Weak Control Closure.	SAS	2020	DBLP DOI BibTeX RDF
32	Matthew Sotoudeh, Aditya V. Thakur	Abstract Neural Networks.	SAS	2020	DBLP DOI BibTeX RDF
32	Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso	Probabilistic Lipschitz Analysis of Neural Networks.	SAS	2020	DBLP DOI BibTeX RDF
32	Abdelraouf Ouadjaout, Antoine Miné	A Library Modeling Language for the Static Analysis of C Programs.	SAS	2020	DBLP DOI BibTeX RDF
32	Naoki Iwayama, Naoki Kobayashi 0001, Ryota Suzuki 0002, Takeshi Tsukada	Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking.	SAS	2020	DBLP DOI BibTeX RDF
32	Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur	Memory-Efficient Fixpoint Computation.	SAS	2020	DBLP DOI BibTeX RDF
32	Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García 0001, José Francisco Morales 0001, Manuel V. Hermenegildo	Cost Analysis of Smart Contracts Via Parametric Resource Analysis.	SAS	2020	DBLP DOI BibTeX RDF
32	Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina	Farkas-Based Tree Interpolation.	SAS	2020	DBLP DOI BibTeX RDF
32	Hugo Illous, Matthieu Lemerre, Xavier Rival	Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.	SAS	2020	DBLP DOI BibTeX RDF
32	Anastasiia Izycheva, Eva Darulova, Helmut Seidl	Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.	SAS	2020	DBLP DOI BibTeX RDF
32	Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni	Formal Framework for Reasoning About the Precision of Dynamic Analysis.	SAS	2020	DBLP DOI BibTeX RDF
32	Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano	Static Resource Analysis at Scale (Extended Abstract).	SAS	2020	DBLP DOI BibTeX RDF
32	Samuele Buro, Roy L. Crole, Isabella Mastroeni	On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs.	SAS	2020	DBLP DOI BibTeX RDF
32	Ankush Das, Shaz Qadeer	Exact and Linear-Time Gas-Cost Analysis.	SAS	2020	DBLP DOI BibTeX RDF
32	Christan Müller, Helmut Seidl	Stratified Guarded First-Order Transition Systems.	SAS	2020	DBLP DOI BibTeX RDF
32	Bor-Yuh Evan Chang (eds.)	Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings	SAS	2019	DBLP DOI BibTeX RDF
32		IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019	SAS	2019	DBLP BibTeX RDF
32	Marcus Völker, Stefan Kowalewski	A Change-Based Heuristic for Static Analysis with Policy Iteration.	SAS	2019	DBLP DOI BibTeX RDF
32	Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni	Direct Manipulation for Imperative Programs.	SAS	2019	DBLP DOI BibTeX RDF
32	Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang 0001, Patrick Cousot	Verifying Numerical Programs via Iterative Abstract Testing.	SAS	2019	DBLP DOI BibTeX RDF
32	Patrick Cousot	Syntactic and Semantic Soundness of Structural Dataflow Analysis.	SAS	2019	DBLP DOI BibTeX RDF
32	Daniel Neider, Shambwaditya Saha, Pranav Garg 0001, P. Madhusudan	Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.	SAS	2019	DBLP DOI BibTeX RDF
32	Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.	SAS	2019	DBLP DOI BibTeX RDF
32	Yuxiang Lei, Yulei Sui	Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis.	SAS	2019	DBLP DOI BibTeX RDF
32	David Delmas, Antoine Miné	Analysis of Software Patches Using Numerical Abstract Interpretation.	SAS	2019	DBLP DOI BibTeX RDF
32	Hang Yu 0005, David Monniaux	An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection.	SAS	2019	DBLP DOI BibTeX RDF
32	Caterina Urban	Static Analysis of Data Science Software.	SAS	2019	DBLP DOI BibTeX RDF
32	Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi 0001	A Temporal Logic for Higher-Order Functional Programs.	SAS	2019	DBLP DOI BibTeX RDF
32	Pierre Ganty, Francesco Ranzato, Pedro Valero 0001	Language Inclusion Algorithms as Complete Abstract Interpretations.	SAS	2019	DBLP DOI BibTeX RDF
32	Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim	Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets.	SAS	2019	DBLP DOI BibTeX RDF