|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 99 occurrences of 66 keywords
|
|
|
Results
Found 1390 publication records. Showing 1390 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #801 - #900 of 1390 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|