Search results for "SAS"

Hits ?▲	Authors	Title	Venue	Year	Link
32	N. A. Djuzhev, D. V. Novikov, G. D. Demin, A. I. Ovodov, V. T. Ryabov	An experimental study on MEMS-based gas flow sensor for wide range flow measurements.	SAS	2018	DBLP DOI BibTeX RDF
32	Asri Setyaningrum, Ahmad Zatnika Purwalaksana, Hendro	Instrumentation system design for milk quality degradation detector with surface plasmon resonance method.	SAS	2018	DBLP DOI BibTeX RDF
32	Angkoon Phinyomark, Erik J. Scheme	A feature extraction issue for myoelectric control based on wearable EMG sensors.	SAS	2018	DBLP DOI BibTeX RDF
32	Paolo Bellagente, Claudio Crema, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Giovanni Lanfranchi, Giovanni Lenzi, Marco Maddiona, Stefano Rinaldi, Emiliano Sisinni, Giacomo Ziliani	Remote and non-invasive monitoring of elderly in a smart city context.	SAS	2018	DBLP DOI BibTeX RDF
32	Johan Bhurny Bathilde, Yi Lung Then, Rajith Chameera, Fei Siang Tay, Dyg Norkhairunnisa Abang Zaidel	Continuous heart rate monitoring system as an IoT edge device.	SAS	2018	DBLP DOI BibTeX RDF
32	Hilda Azimi, Sareh Soleimani Gilakjani, Martin Bouchard 0001, Rafik A. Goubran, Frank Knoefel	Automatic apnea-hypopnea events detection using an alternative sensor.	SAS	2018	DBLP DOI BibTeX RDF
32	Brian Dixon, George D. Lecakes, Paul K. Moon, John L. Schmalzel	SEDS: Expanding TEDS to include physical structures.	SAS	2018	DBLP DOI BibTeX RDF
32	Andrea Bodini, Edoardo Cantù, Mauro Serpelloni, Emilio Sardini, Sarah Tonello	Design and implementation of a microsensor platform for protein detection realized via 3-D printing.	SAS	2018	DBLP DOI BibTeX RDF
32	Nourane G. Tawfik, Yara Hussein, Eman Azab	Analysis of magnetoresistive sensors for nondestructive evaluation.	SAS	2018	DBLP DOI BibTeX RDF
32	Lee Kim Yee, Phua Yeong Nan, Lim Eng Hock, Cheng Ee Meng, Kok Yeow You	Microstrip line as microwave tag sensor for monitoring and IoT applications.	SAS	2018	DBLP DOI BibTeX RDF
32	Johannes Rangel, Andreas Kroll	Characterization and calibration of a stereo gas camera system for obtaining spatial information of gas structures.	SAS	2018	DBLP DOI BibTeX RDF
32	J. V. van Heijningen, Alessandro Bertolini, Jo F. J. van den Brand	A novel interferometrically read out inertial sensor for future gravitational wave detectors.	SAS	2018	DBLP DOI BibTeX RDF
32	Manos Koutsoubelias, Nasos Grigoropoulos, Spyros Lalis	A modular simulation environment for multiple UAVs with virtual WiFi and sensing capability.	SAS	2018	DBLP DOI BibTeX RDF
32	Sungwook Ko, Hyunji Song, Yulim Cho, Jiwon Chung, Sojeong Kim, Daeun Yim, Daehan Jin, Anthony Smith	LoRa network performance comparison between open area and tree farm based on PHY factors.	SAS	2018	DBLP DOI BibTeX RDF
32	Philipp Mayer, Michele Magno, Luca Benini	Combining microbial fuel cell and ultra-low power event-driven audio detector for zero-power sensing in underwater monitoring.	SAS	2018	DBLP DOI BibTeX RDF
32	Francesco Ranzato (eds.)	Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings	SAS	2017	DBLP DOI BibTeX RDF
32	Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001	Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models.	SAS	2017	DBLP DOI BibTeX RDF
32	Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky	Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.	SAS	2017	DBLP DOI BibTeX RDF
32	Alexandre Maréchal, David Monniaux, Michaël Périn	Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming.	SAS	2017	DBLP DOI BibTeX RDF
32	Marius Greitschus, Daniel Dietsch, Andreas Podelski	Loop Invariants from Counterexamples.	SAS	2017	DBLP DOI BibTeX RDF
32	Leandro Facchinetti, Zachary Palmer, Scott F. Smith 0001	Relative Store Fragments for Singleton Abstraction.	SAS	2017	DBLP DOI BibTeX RDF
32	Anna Trostanetski, Orna Grumberg, Daniel Kroening	Modular Demand-Driven Analysis of Semantic Difference for Program Versions.	SAS	2017	DBLP DOI BibTeX RDF
32	Lukás Holík, Roland Meyer 0001, Tomás Vojnar, Sebastian Wolff 0001	Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.	SAS	2017	DBLP DOI BibTeX RDF
32	Alexey Bakhirkin, David Monniaux	Combining Forward and Backward Abstract Interpretation of Horn Clauses.	SAS	2017	DBLP DOI BibTeX RDF
32	Jieyuan Zhang, Yulei Sui, Jingling Xue	Incremental Analysis for Probabilistic Programs.	SAS	2017	DBLP DOI BibTeX RDF
32	Matías Toro, Éric Tanter	A Gradual Interpretation of Union Types.	SAS	2017	DBLP DOI BibTeX RDF
32	Tushar Sharma, Thomas W. Reps	A New Abstraction Framework for Affine Transformers.	SAS	2017	DBLP DOI BibTeX RDF
32	Arie Gurfinkel, Jorge A. Navas	A Context-Sensitive Memory Model for Verification of C/C++ Programs.	SAS	2017	DBLP DOI BibTeX RDF
32	Colas Le Guernic	Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration.	SAS	2017	DBLP DOI BibTeX RDF
32	Isabella Mastroeni, Michele Pasqua	Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification.	SAS	2017	DBLP DOI BibTeX RDF
32	Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri	Abstract Semantic Diffing of Evolving Concurrent Programs.	SAS	2017	DBLP DOI BibTeX RDF
32	Sunbeom So, Hakjoo Oh	Synthesizing Imperative Programs from Examples Guided by Static Analysis.	SAS	2017	DBLP DOI BibTeX RDF
32	Aws Albarghouthi	Probabilistic Horn Clause Verification.	SAS	2017	DBLP DOI BibTeX RDF
32	Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat	Verifying Array Manipulating Programs by Tiling.	SAS	2017	DBLP DOI BibTeX RDF
32	Abdelraouf Ouadjaout, Antoine Miné	Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains.	SAS	2017	DBLP DOI BibTeX RDF
32	Sriram Sankaranarayanan 0001, Mohamed Amin Ben Sassi	Template Polyhedra with a Twist.	SAS	2017	DBLP DOI BibTeX RDF
32	Marc Brockschmidt, Yuxin Chen 0001, Pushmeet Kohli, Siddharth Krishna 0001, Daniel Tarlow	Learning Shape Analysis.	SAS	2017	DBLP DOI BibTeX RDF
32	Chaoqiang Deng, Kedar S. Namjoshi	Securing the SSA Transform.	SAS	2017	DBLP DOI BibTeX RDF
32	Xavier Rival (eds.)	Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings	SAS	2016	DBLP DOI BibTeX RDF
32		IEEE Sensors Applications Symposium, SAS 2016, Catania, Italy, April 20-22, 2016	SAS	2016	DBLP BibTeX RDF
32	Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni	Completeness in Approximate Transduction.	SAS	2016	DBLP DOI BibTeX RDF
32	Chaoqiang Deng, Kedar S. Namjoshi	Securing a Compiler Transformation.	SAS	2016	DBLP DOI BibTeX RDF
32	Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop	Quantitative Monitor Automata.	SAS	2016	DBLP DOI BibTeX RDF
32	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Relational Verification Through Horn Clause Transformation.	SAS	2016	DBLP DOI BibTeX RDF
32	Tian Tan 0001, Yue Li 0006, Jingling Xue	Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.	SAS	2016	DBLP DOI BibTeX RDF
32	Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan 0001	Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants.	SAS	2016	DBLP DOI BibTeX RDF
32	Francesco Ranzato	Abstract Interpretation of Supermodular Games.	SAS	2016	DBLP DOI BibTeX RDF
32	George Balatsouras, Yannis Smaragdakis	Structure-Sensitive Points-To Analysis for C and C++.	SAS	2016	DBLP DOI BibTeX RDF
32	David Monniaux, Laure Gonnord	Cell Morphing: From Array Programs to Array-Free Horn Clauses.	SAS	2016	DBLP DOI BibTeX RDF
32	Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler	Enforcing Termination of Interprocedural Analysis.	SAS	2016	DBLP DOI BibTeX RDF
32	Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet	On the Linear Ranking Problem for Simple Floating-Point Loops.	SAS	2016	DBLP DOI BibTeX RDF
32	Kihong Heo, Hakjoo Oh, Hongseok Yang	Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis.	SAS	2016	DBLP DOI BibTeX RDF
32	Maria Christakis, Valentin Wüstholz	Bounded Abstract Interpretation.	SAS	2016	DBLP DOI BibTeX RDF
32	Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga	Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis.	SAS	2016	DBLP DOI BibTeX RDF
32	Kedar S. Namjoshi, Nimit Singhania	Loopy: Programmable and Formally Verified Loop Transformations.	SAS	2016	DBLP DOI BibTeX RDF
32	Matthieu Journault, Antoine Miné	Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.	SAS	2016	DBLP DOI BibTeX RDF
32	Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson	A Parametric Abstract Domain for Lattice-Valued Regular Expressions.	SAS	2016	DBLP DOI BibTeX RDF
32	Parosh Aziz Abdulla, Bengt Jonsson 0001, Cong Quy Trinh	Automated Verification of Linearization Policies.	SAS	2016	DBLP DOI BibTeX RDF
32	Jade Alglave	Simulation and Invariance for Weak Consistency.	SAS	2016	DBLP DOI BibTeX RDF
32	David Menendez, Santosh Nagarakatte, Aarti Gupta	Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM.	SAS	2016	DBLP DOI BibTeX RDF
32	Pritam M. Gharat, Uday P. Khedker, Alan Mycroft	Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs.	SAS	2016	DBLP DOI BibTeX RDF
32	Thibault Suzanne, Antoine Miné	From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.	SAS	2016	DBLP DOI BibTeX RDF
32	Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey	Exploiting Sparsity in Difference-Bound Matrices.	SAS	2016	DBLP DOI BibTeX RDF
32	Fausto Spoto	The Julia Static Analyzer for Java.	SAS	2016	DBLP DOI BibTeX RDF
32	Rohit Gupta, Vijayakumar Sreenath, Boby George	A modified RDC with an auto-adjustable SC source enabled auto-calibration scheme.	SAS	2016	DBLP DOI BibTeX RDF
32	Jörg Güttler, Christos Georgoulas, Thomas Bock	Contactless fever measurement based on thermal imagery analysis.	SAS	2016	DBLP DOI BibTeX RDF
32	Johan Vogel, Stoyan N. Nihtianov	Modelling the inductance of a novel eddy-current position sensor for high-precision applications.	SAS	2016	DBLP DOI BibTeX RDF
32	Michael A. Bucceroni, George D. Lecakes, Mira Lalovic-Hand, Shreekanth Mandayam	A multi-perspective virtual reality visualization of unmanned aerial systems in the U.S. national airspace.	SAS	2016	DBLP DOI BibTeX RDF
32	Brendan Taylor, Gourab Sen Gupta, Ken Mercer	Flexible architecture to automate farm machinery operation: Preliminary results.	SAS	2016	DBLP DOI BibTeX RDF
32	Mingzhe Jiang, Tuan Nguyen Gia, Arman Anzanpour, Amir-Mohammad Rahmani, Tomi Westerlund, Sanna Salanterä, Pasi Liljeberg, Hannu Tenhunen	IoT-based remote facial expression monitoring system with sEMG signal.	SAS	2016	DBLP DOI BibTeX RDF
32	Tommaso Polonelli, Trinh Le Huy, Leonardo Lizzi, Fabien Ferrero, Michele Magno	A wake-up receiver with ad-hoc antenna co-design for wearable applications.	SAS	2016	DBLP DOI BibTeX RDF
32	Chih-Chyau Yang, Ssu-Ying Chen, Yi-Jie Hsieh, Fu-Chen Cheng 0001, Yu-Cheng Huang, Jin-Ju Chue, Chih-Ting Kuo, Chien-Ming Wu, Chun-Ming Huang	A rugged sensor system for real-time bridge safety monitoring in Taiwan.	SAS	2016	DBLP DOI BibTeX RDF
32	Luca Lombardo, Silvia Generelli, N. Tscharner, Davide Migliorelli, Nicola Donato	A compact electronic interface for electrochemical sensors.	SAS	2016	DBLP DOI BibTeX RDF
32	Claudio Crema, Alessandro Depari, Alessandra Flammini, Angelo Vezzoli	Efficient R-peak detection algorithm for real-time analysis of ECG in portable devices.	SAS	2016	DBLP DOI BibTeX RDF
32	Thomas Guenther, Andreas Kroll	Automated detection of compressed air leaks using a scanning ultrasonic sensor system.	SAS	2016	DBLP DOI BibTeX RDF
32	Alfredo D'Elia, Luca Perilli, Fabio Viola, Luca Roffia, Francesco Antoniazzi, Roberto Canegallo, Tullio Salmon Cinotti	A self-powered WSAN for energy efficient heat distribution.	SAS	2016	DBLP DOI BibTeX RDF
32	Michele Crabolu, Danilo Pani, Andrea Cereatti	Evaluation of the accuracy in the determination of the center of rotation by magneto-inertial sensors.	SAS	2016	DBLP DOI BibTeX RDF
32	Eddy Trinklein, Gordon Parker	Ship motion sensor isolation system development and testing for use with low cost IMUs.	SAS	2016	DBLP DOI BibTeX RDF
32	Nissem Selmene, Sylvain Blayac, Muriel Muller, Ghalid I. Abib	Innovative large area touch sensor: Design and tests of a compact acquisition system.	SAS	2016	DBLP DOI BibTeX RDF
32	Vincent Mosser, Nicolas Matringe	A spinning current circuit for nanotesla range resolution in Hall measurements.	SAS	2016	DBLP DOI BibTeX RDF
32	Jun Su, Nataliya Roshchupkina, Volodymyr Kochan, Olekxiy Roshchupkin, Anatoliy Sachenko	Methods for improving the accuracy of sensors with a significant influence of non-informative factors.	SAS	2016	DBLP DOI BibTeX RDF
32	Lorenzo Palma, Luca Pernini, Alberto Belli, Simone Valenti, Lorenzo Maurizi, Paola Pierleoni	IPv6 WSN solution for integration and interoperation between smart home and AAL systems.	SAS	2016	DBLP DOI BibTeX RDF
32	Khim Chhantyal, Håkon Viumdal, Saba Mylvaganam, Geir Elseth	Ultrasonic level sensors for flowmetering of non-Newtonian fluids in open Venturi channels: Using data fusion based on Artificial Neural Network and Support Vector Machines.	SAS	2016	DBLP DOI BibTeX RDF
32	Jeong Woo Choi, Sung Ho Cho, Young Soo Kim, No Joong Kim, Soon-Sung Kwon, Jae Suk Shim	A counting sensor for inbound and outbound people using IR-UWB radar sensors.	SAS	2016	DBLP DOI BibTeX RDF
32	Kishore Bhowmik, Eliathamby Ambikairajah, Gang-Ding Peng, Yanhua Luo, Ginu Rajan	High-sensitivity polymer fibre Bragg grating sensor for biomedical applications.	SAS	2016	DBLP DOI BibTeX RDF
32	Jan Bauer, Bastian Siegmann, Thomas Jarmer 0001, Nils Aschenbruck	Smart fLAIr: A smartphone application for fast LAI retrieval using Ambient Light Sensors.	SAS	2016	DBLP DOI BibTeX RDF
32	Aditya Gaur, Bryan W. Scotney, Gerard Parr, Sally I. McClean	COSA: An approach to classifying uncertainty in an ontology tree for sensor data Fusion.	SAS	2016	DBLP DOI BibTeX RDF
32	Nunzio Cennamo, Luigi Zeni, Letizia De Maria, Cristina Chemelli, Maria Pesavento, Antonella Profumo	Surface plasmon resonance in a D-shaped plastic optical fibre: Influence of gold layer thickness in monitoring molecularly imprinted polymers.	SAS	2016	DBLP DOI BibTeX RDF
32	Emanuele Viviani, Daniele Salvalaggio, Cristina Bertoni, Antonio Boscolo	Milk quality analysis based on a novel ultrasound spectroscopy method.	SAS	2016	DBLP DOI BibTeX RDF
32	Amandine Bocheux, Claude Cavoit, Myckael Mouchel, Clarisse Ducruet, Romain Fons, Philippe Sabon, Ioan Lucian Prejbeanu, Claire Baraduc	High sensitivity magnetic field sensor for spatial applications.	SAS	2016	DBLP DOI BibTeX RDF
32	Joao Azevedo, Sérgio Crisóstomo	Weather stations-assisted barometric altimeter for Android: Interpolation techniques for improved accuracy.	SAS	2016	DBLP DOI BibTeX RDF
32	Filippo Greco, Salvatore Giammanco, Rosalba Napoli, Gilda Currenti, Annamaria Vicari, Alessandro La Spina, Giuseppe Salerno, Letizia Spampinato, Alfio Amantia, Massimo Cantarero, Alfio Messina, Antonino Sicali	A multidisciplinary strategy for in-situ and remote sensing monitoring of areas affected by pressurized fluids: Application to mud volcanoes: A multidisciplinary environmental monitoring strategy.	SAS	2016	DBLP DOI BibTeX RDF
32	Ada Fort, Marco Mugnaini, Marco Tani, Valerio Vignoli, Simona Barni, Neri Pucci, Elio Novembre	Detection of allergen-IgE interaction in allergic children through impedance measurements.	SAS	2016	DBLP DOI BibTeX RDF
32	Zlatica Marinkovic, Aleksandar Atanaskovic, Maria Gabriella Xibilia, Calogero Pace, Mariangela Latino, Nicola Donato	A neural network approach for safety monitoring applications.	SAS	2016	DBLP DOI BibTeX RDF
32	Elizabeth Rendon-Morales, Robert J. Prance, Helen Prance, Rodrigo Aviles-Espinosa	Functional characterization of developing heart in embryos using Electric Potential Sensors.	SAS	2016	DBLP DOI BibTeX RDF
32	Ebrahim Oromiehie, B. Gangadhara Prusty, Ginu Rajan, Paul Compston	Optical fiber Bragg grating sensors for process monitoring in advanced composites.	SAS	2016	DBLP DOI BibTeX RDF
32	Luca Ferraris, Fausto Franchini, Emir Poskovic	Hybrid magnetic composite (HMC) materials for sensor applications.	SAS	2016	DBLP DOI BibTeX RDF
32	Ramona Voichita Galatus, Emil Voiculescu, Nunzio Cennamo, Luigi Luongo, Luigi Zeni	Augmented workplace for SPR sensor application.	SAS	2016	DBLP DOI BibTeX RDF
32	Duke Danielle Delos Santos, Alron Jan Lam, Jules Macatangay, Ivan Paner, Courtney Anne Ngo	Breadcrumb: An indoor simultaneous localization and mapping system for mobile devices.	SAS	2016	DBLP DOI BibTeX RDF
32	Bruno Augusti Mozzaquatro, Ricardo Jardim-Gonçalves, Raquel Melo, Carlos Agostinho	The application of security adaptive framework for sensor in industrial systems.	SAS	2016	DBLP DOI BibTeX RDF