Search results for "SAS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Debraj Basu 0002, Gourab Sen Gupta, Giovanni S. Moretti, Xiang Gui	Investigation into the impact of protocol design on energy consumption of low power wireless sensors.	SAS	2014	DBLP DOI BibTeX RDF
1	Wei Hu, Haiying Zhang, Zhangyan Zhao, Yunfeng Wang, Xize Wang	Real-time remote vital sign detection using a portable Doppler sensor system.	SAS	2014	DBLP DOI BibTeX RDF
1	N. M. Duong, Moi-Tin Chew, Sergey Demidenko, Quoc Hung Pham, Dang Khoa Pham, Melanie Po-Leen Ooi, Ye Chow Kuang	Vision inspection system for pharmaceuticals.	SAS	2014	DBLP DOI BibTeX RDF
1	Stephan Blokzyl, Matthias Vodel, Wolfram Hardt	FPGA-based approach for runway boundary detection in high-resolution colour images.	SAS	2014	DBLP DOI BibTeX RDF
1	Michael Hofbauer, Johannes Seiter, Horst Zimmermann	Development of a frequency-shifted feedback fiber laser at 777.5 nm for range sensing applications.	SAS	2014	DBLP DOI BibTeX RDF
1	Bruno Andò, Salvatore Baglio, Cristian O. Lombardo, Vincenzo Marletta	An advanced tracking solution fully based on native sensing features of smartphone.	SAS	2014	DBLP DOI BibTeX RDF
1	Gaurav Chaudhary, K. K. Singh, Anyaa Mittal, Neeru Sood	Design and simulation of nano-mechanical resonator for virus detection.	SAS	2014	DBLP DOI BibTeX RDF
1	S. T. Pham, M. T. Chew	Sensor signal filtering in quadrotor control.	SAS	2014	DBLP DOI BibTeX RDF
1		IEEE Sensors Applications Symposium, SAS 2014, Queenstown, New Zealand, February 18-20, 2014	SAS	2014	DBLP BibTeX RDF
1	Donald G. Bailey, David Thomas, Michelle Cho, Said Al-Souti	Automating monitoring of cat feeding behaviour.	SAS	2014	DBLP DOI BibTeX RDF
1	Akihito Noda, Masahiro Hirano, Yuji Yamakawa, Masatoshi Ishikawa	A networked high-speed vision system for vehicle tracking.	SAS	2014	DBLP DOI BibTeX RDF
1	Ian M. Woodhead, John Christie, Kenji Irie, Richard Fenton	A water content sensor for baked products.	SAS	2014	DBLP DOI BibTeX RDF
1	Steven T. Griffin, Thomas E. Wyatt	Solar panel sensor modeling and fiscal modeling.	SAS	2014	DBLP DOI BibTeX RDF
1	Jason Bommer, Andy Robb, Rene Martinez, Shashi Ramamurthy, Jason Harrigan, Harikiran Muniganti, Vivekanand Mannangi, K. J. Vinoy	Wireless aircraft fuel quantity indication system.	SAS	2014	DBLP DOI BibTeX RDF
1	Byeong-Mook Chung, Yoon-Chang Park, Jin-Yeong Do	Phase-height relationship by plane analysis in 3D shape measurement using fringe pattern projector.	SAS	2014	DBLP DOI BibTeX RDF
1	Quazi Mamun, Mohammed Kaosar	What is the first step in designing an application protocol for wireless sensor networks (WSNs)?	SAS	2014	DBLP DOI BibTeX RDF
1	Alexander Scheuermann, Christopher Gonzales, J. Fan, B. Braga, Thomas Baumgartl, David A. Lockington, Stefan Schlaeger, R. Becker, Norman Wagner, Christof Hübner	Spatial Time Domain Reflectometry (spatial TDR) in geo-environmental engineering.	SAS	2014	DBLP DOI BibTeX RDF
1	Michael Hofbauer, Johannes Seiter, Milos Davidovic, Horst Zimmermann	A processing approach for a correlating time-of-flight range sensor based on a least squares method.	SAS	2014	DBLP DOI BibTeX RDF
1	Sean Richards, Adrian Eng-Choon Tan, Ian G. Platt, Ian Woodhead	Free-space microwave moisture content measurement of moist sand.	SAS	2014	DBLP DOI BibTeX RDF
1	Philip Diefenderfer, Peter Mark Jansson	Power sensor applications in a load management network for a residential microgrid.	SAS	2014	DBLP DOI BibTeX RDF
1	Andre Schwarzmeier, Jurgen Besser, Robert Weigel, Georg Fischer 0001, Dietmar Kissinger	A compact back-plaster sensor node for dementia and Alzheimer patient care.	SAS	2014	DBLP DOI BibTeX RDF
1	Craig Gray, Yusuke Hioka	Direction of arrival estimation of kiwi call in noisy and reverberant bush.	SAS	2014	DBLP DOI BibTeX RDF
1	Minhhuy Le, Jungmin Kim, Hwa Sik Do, Jinyi Lee	2-D vector field visualization of corrosion in a small-bore piping system using bobbin-type integrated Hall and GMR sensors arrays.	SAS	2014	DBLP DOI BibTeX RDF
1	L. Berghella, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Emiliano Sisinni, Angelo Vezzoli	Low-power wireless interface for handheld smart metering devices.	SAS	2014	DBLP DOI BibTeX RDF
1	Emily Porter, Adam Santorelli, Milica Popovic	Measurement uncertainties in differential radar applied to breast imaging.	SAS	2014	DBLP DOI BibTeX RDF
1	Jason Orchard, Yusuke Hioka	Localisation of a sound source in different positions using Kinect sensors.	SAS	2014	DBLP DOI BibTeX RDF
1	Carlo Trigona, Fabio Giusa, Felice Maiorca, A. Noto, Bruno Andò, Salvatore Baglio	Anti-phase coupled bistable transducers: A review of recent progress.	SAS	2014	DBLP DOI BibTeX RDF
1	Tai-Ping Sun, Jia-Hao Li, Hsiu-Li Shieh, Lai-Li Kang, Yi-Chuan Lu, Teng-Yi Wang	Design and implementation of array readout integrated circuit and image system for current mode sensors.	SAS	2014	DBLP DOI BibTeX RDF
1	Supamit Jankoo, Paskorn Champrasert, Benya Suntaranont	Fuzzy logic control mechanism for flash flood monitoring station.	SAS	2014	DBLP DOI BibTeX RDF
1	Darko Vasic, Davorin Ambrus, Vedran Bilas	Simple linear inversion of soil electromagnetic properties from analytical model of electromagnetic induction sensor.	SAS	2014	DBLP DOI BibTeX RDF
1	Adrian Eng-Choon Tan, Sean Richards, Ian G. Platt, Ian Woodhead	Antenna design for a proximal soil moisture mapping sensor.	SAS	2014	DBLP DOI BibTeX RDF
1	Norlida Buniyamin, W. A. J. Wan Ngah, Zainuddin Mohamad	PointsBug versus TangentBug algorithm, a performance comparison in unknown static environment.	SAS	2014	DBLP DOI BibTeX RDF
1	Bruno Andò, Salvatore Baglio, Angela Beninato, C. Jenkins, Adi R. Bulsara, Teresa Emery, V. Palkar	A coupled nonlinear circuit for E-field and B-field detection.	SAS	2014	DBLP DOI BibTeX RDF
1	Torsten Edeler, Stephan Hussmann, Florian Johannes Knoll	Uncertainty analysis for optical time-of-flight sensors based on four-phase-shift range calculation.	SAS	2014	DBLP DOI BibTeX RDF
1	Hyunha Kim, Kyung-Goo Doh, David A. Schmidt	Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing.	SAS	2013	DBLP DOI BibTeX RDF
1	Raghavan Komondoor	Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation.	SAS	2013	DBLP DOI BibTeX RDF
1	Rupak Majumdar, Roland Meyer 0001, Zilong Wang 0004	Static Provenance Verification for Message Passing Programs.	SAS	2013	DBLP DOI BibTeX RDF
1	Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang	Symbolic Automata for Static Specification Mining.	SAS	2013	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan 0001	Static Analysis in the Continuously Changing World.	SAS	2013	DBLP DOI BibTeX RDF
1	Veselin Raychev, Martin T. Vechev, Eran Yahav	Automatic Synthesis of Deterministic Concurrency.	SAS	2013	DBLP DOI BibTeX RDF
1	Caterina Urban	The Abstract Domain of Segmented Ranking Functions.	SAS	2013	DBLP DOI BibTeX RDF
1	Cezara Dragoi, Constantin Enea, Mihaela Sighireanu	Local Shape Analysis for Overlaid Data Structures.	SAS	2013	DBLP DOI BibTeX RDF
1	Kamil Dudka, Petr Peringer, Tomás Vojnar	Byte-Precise Verification of Low-Level List Manipulation.	SAS	2013	DBLP DOI BibTeX RDF
1	Leo White, Alan Mycroft	Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation.	SAS	2013	DBLP DOI BibTeX RDF
1	Eric Goubault	Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT.	SAS	2013	DBLP DOI BibTeX RDF
1	Nimrod Partush, Eran Yahav	Abstract Semantic Differencing for Numerical Programs.	SAS	2013	DBLP DOI BibTeX RDF
1	Gianluca Amato, Francesca Scozzari	Localizing Widening and Narrowing.	SAS	2013	DBLP DOI BibTeX RDF
1	Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey	Abstract Interpretation over Non-lattice Abstract Domains.	SAS	2013	DBLP DOI BibTeX RDF
1	Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko	On Solving Universally Quantified Horn Clauses.	SAS	2013	DBLP DOI BibTeX RDF
1	Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner	Contextual Locking for Dynamic Pushdown Networks.	SAS	2013	DBLP DOI BibTeX RDF
1	Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav	Predicate Abstraction for Relaxed Memory Models.	SAS	2013	DBLP DOI BibTeX RDF
1	Francesco Logozzo, Manuel Fähndrich (eds.)	Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings	SAS	2013	DBLP DOI BibTeX RDF
1	Alexis Fouilhé, David Monniaux, Michaël Périn	Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.	SAS	2013	DBLP DOI BibTeX RDF
1	Pranav Garg 0001, P. Madhusudan, Gennaro Parlato	Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists.	SAS	2013	DBLP DOI BibTeX RDF
1	Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening	Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.	SAS	2013	DBLP DOI BibTeX RDF
1	Rahul Sharma 0001, Saurabh Gupta 0001, Bharath Hariharan, Alex Aiken, Aditya V. Nori	Verification as Learning Geometric Concepts.	SAS	2013	DBLP DOI BibTeX RDF
1	Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong	Automatic Verification of Erlang-Style Concurrency.	SAS	2013	DBLP DOI BibTeX RDF
1	Subhajit Roy 0001	From Concrete Examples to Heap Manipulating Programs.	SAS	2013	DBLP DOI BibTeX RDF
1	Kedar S. Namjoshi, Lenore D. Zuck	Witnessing Program Transformations.	SAS	2013	DBLP DOI BibTeX RDF
1	Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie	Formal Verification of a C Value Analysis Based on Abstract Interpretation.	SAS	2013	DBLP DOI BibTeX RDF
1	David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner	Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases.	SAS	2012	DBLP DOI BibTeX RDF
1	Alejandro Sánchez, Sriram Sankaranarayanan 0001, César Sánchez 0001, Bor-Yuh Evan Chang	Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).	SAS	2012	DBLP DOI BibTeX RDF
1	Tie Cheng, Xavier Rival	An Abstract Domain to Infer Types over Zones in Spreadsheets.	SAS	2012	DBLP DOI BibTeX RDF
1	Diego Esteban Alonso-Blas, Samir Genaim	On the Limits of the Classical Approach to Cost Analysis.	SAS	2012	DBLP DOI BibTeX RDF
1	Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani	Modular Heap Analysis for Higher-Order Programs.	SAS	2012	DBLP DOI BibTeX RDF
1	Aditya V. Thakur, Matt Elder, Thomas W. Reps	Bilateral Algorithms for Symbolic Abstraction.	SAS	2012	DBLP DOI BibTeX RDF
1	Peter Calvert, Alan Mycroft	Control Flow Analysis for the Join Calculus.	SAS	2012	DBLP DOI BibTeX RDF
1	Dino Distefano	A Voyage to the Deep-Heap.	SAS	2012	DBLP DOI BibTeX RDF
1	Michael Emmi, Akash Lal	Finding Non-terminating Executions in Distributed Asynchronous Programs.	SAS	2012	DBLP DOI BibTeX RDF
1	Shriram Krishnamurthi	Semantics and Analyses for JavaScript and the Web.	SAS	2012	DBLP DOI BibTeX RDF
1	Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay	Termination Proofs for Linear Simple Loops.	SAS	2012	DBLP DOI BibTeX RDF
1	Eric Goubault, Sylvie Putot, Franck Védrine	Modular Static Analysis with Zonotopes.	SAS	2012	DBLP DOI BibTeX RDF
1	Jan Midtgaard, Michael D. Adams 0001, Matthew Might	A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.	SAS	2012	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa	Path-Sensitive Backward Slicing.	SAS	2012	DBLP DOI BibTeX RDF
1	Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik	Craig Interpretation.	SAS	2012	DBLP DOI BibTeX RDF
1	Aditya V. Thakur, Thomas W. Reps	A Generalization of Stålmarck's Method.	SAS	2012	DBLP DOI BibTeX RDF
1	Vijay Victor D'Silva, Leopold Haller, Daniel Kroening	Satisfiability Solvers Are Static Analysers.	SAS	2012	DBLP DOI BibTeX RDF
1	Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong	Efficient May Happen in Parallel Analysis for Async-Finish Parallelism.	SAS	2012	DBLP DOI BibTeX RDF
1	Arnault Ioualalen, Matthieu Martel	A New Abstract Domain for the Representation of Mathematically Equivalent Expressions.	SAS	2012	DBLP DOI BibTeX RDF
1	Ruslán Ledesma-Garza, Andrey Rybalchenko	Binary Reachability Analysis of Higher Order Functional Programs.	SAS	2012	DBLP DOI BibTeX RDF
1	Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat	Liveness-Based Pointer Analysis.	SAS	2012	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman	Symbolic Learning of Component Interfaces.	SAS	2012	DBLP DOI BibTeX RDF
1	Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin	Computer-Aided Cryptographic Proofs.	SAS	2012	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Isabella Mastroeni	Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation.	SAS	2012	DBLP DOI BibTeX RDF
1	Julien Henry, David Monniaux, Matthieu Moy	Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation.	SAS	2012	DBLP DOI BibTeX RDF
1	Jacob M. Howe, Andy King	Polyhedral Analysis Using Parametric Objectives.	SAS	2012	DBLP DOI BibTeX RDF
1	Antoine Miné, David Schmidt (eds.)	Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings	SAS	2012	DBLP DOI BibTeX RDF
1	Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski	Loop Leaping with Closures.	SAS	2012	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Carl Leonardsson, Ahmed Rezine	Automatic Fence Insertion in Integer Programs via Predicate Abstraction.	SAS	2012	DBLP DOI BibTeX RDF
1	Nicolas Halbwachs, Julien Henry	When the Decreasing Sequence Fails.	SAS	2012	DBLP DOI BibTeX RDF
1	Guy Avni, Orna Kupferman	An Abstraction-Refinement Framework for Trigger Querying.	SAS	2011	DBLP DOI BibTeX RDF
1	Kenneth L. McMillan	Widening and Interpolation.	SAS	2011	DBLP DOI BibTeX RDF
1	Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn	The Complexity of Abduction for Separated Heap Abstractions.	SAS	2011	DBLP DOI BibTeX RDF
1	Eran Yahav (eds.)	Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings	SAS	2011	DBLP DOI BibTeX RDF
1	Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani	Purity Analysis: An Abstract Interpretation Formulation.	SAS	2011	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer	Software Verification Using k-Induction.	SAS	2011	DBLP DOI BibTeX RDF
1	Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps	Abstract Domains of Affine Relations.	SAS	2011	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Michael Emmi, Gennaro Parlato	On Sequentializing Concurrent Programs.	SAS	2011	DBLP DOI BibTeX RDF
1	P. Madhusudan, Xiaokang Qiu	Efficient Decision Procedures for Heaps Using STRAND.	SAS	2011	DBLP DOI BibTeX RDF
1	Philippe Suter, Ali Sinan Köksal, Viktor Kuncak	Satisfiability Modulo Recursive Programs.	SAS	2011	DBLP DOI BibTeX RDF

Publications at "SAS"( http://dblp.L3S.de/Venues/SAS )