|
|
|
|
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 | Federico Bonafini, Stefano Rinaldi, Alessandro Depari, Alessandra Flammini, Paolo Ferrari, Emiliano Sisinni |
Cluster of IoT Sensors for Smart Cities: Impact of the Communication Infrastructure over Computational Performance.  |
SAS  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Young Jae Kim, Kukjin Chun |
Lensless Imaging Sensor Kit for Sperm Counting with Microfluidic Chip. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Garuglieri, Dario Madeo, Alessandro Pozzebon, Roberto Zingone, Chiara Mocenni, Duccio Bertoni |
An Integrated System for Real-Time Water Monitoring Based on Low Cost Unmanned Surface Vehicles. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anurag Barthwal, Debopam Acharya, Divya Lohani |
IoT System based Forecasting and Modeling Exceedance Probability and Return Period of Air Quality using Extreme Value Distribution. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | H. M. Ashfiqul Hamid, Zeynep Çelik-Butler |
Design and Optimization of a MEMS Triboelectric Energy Harvester for Nano-sensor Applications. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Y. Song, Martin Burns, Abhinav Pandey, Thomas Roth |
IEEE 1451 Smart Sensor Digital Twin Federation for IoT/CPS Research. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofeng Yang, Koki Kumagai, Guanghao Sun, Koichiro Ishibashi, Le Thi Hoi, Trung Nguyen Vu, Kinh Nguyen Van |
Dengue Fever Screening Using Vital Signs by Contactless Microwave Radar and Machine Learning. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Pierre Giacalone, Luc Bourgeois, Andrea Ancora |
Challenges in aggregation of heterogeneous sensors for Autonomous Driving Systems. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schnee, Jurgen Stegmaier, Tobias Lipowsky, Pu Li 0001 |
Brake Detection for Electric Bicycles using Inertial Measurement Units. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasia Wolschewski, Galina Ivanova 0001, Till Handel, Max Schreiber |
Method for estimation of weather and weekday effects on activity behavior acquired using wearable sensors. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Doaa Ahmed, Georg Fischer 0001, Jens Kirchner |
Simulation-based Models of the Galvanic Coupling Intra-body Communication. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ameer A. Al-Shammaa, Alan J. Stocker |
Distributed clusters classification algorithm for indoor wireless sensor networks using pre-defined knowledge-based database. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Reil, Matthias Meier, Hans-Peter Schmidt |
A High-Speed Magnetic Camera for Harsh Electromagnetic Environments. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel AlShamaa, Aly Chkeir, Racha Soubra, Farah Mourad-Chehade |
Measurement of Gait Speed using a Doppler Radar: Influence of Acceleration and Deceleration Zones. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Pehr, Daniel Zollitsch, Jörg Güttler, Thomas Bock |
Development of a Non-Contact ECG Application Unobtrusively Embedded into a Bed. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Timon Bloecher, Simon Krause, Kai Zhou, Jennifer Zeilfelder, Wilhelm Stork |
VitalCamSet - a dataset for Photoplethysmography Imaging. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mookeun Ji, Juyeon Yoon, Jeongwoo Choo, Minki Jang, Anthony Smith |
LoRa-based Visual Monitoring Scheme for Agriculture IoT. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giovanni Ramírez-Chavarría, Celia Sánchez-Pérez |
Sensing Micro-colloid Concentration by Spectral Impedance Measurements and Relaxation Times Analysis. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil Meier, Kris Rohrmann, Marvin Sandner, Marcus Prochaska |
Analysis of output signals of angular position sensors for the use of neural networks. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Callebaut, Geoffrey Ottoy, Lieven De Strycker |
Bring your own Sensor: Use your Android Smartphone as a Sensing Platform. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Myeong Ho Song, Soo Dong Kim |
Autonomous Machine Learning Framework for Detecting People Aliveness. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Busch, Jennifer Zeilfelder, Kai Zhou, Wilhelm Stork |
A jaw based human-machine interface with machine learning. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben J. Wolf, Sietse M. van Netten |
Hydrodynamic Imaging using an all-optical 2D Artificial Lateral Line. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel AlShamaa, Aly Chkeir, Farah Mourad-Chehade, Paul Honeine |
A Hidden Markov Model for Indoor Trajectory Tracking of Elderly People. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thien Huynh-The, Cam-Hao Hua, Dong-Seong Kim 0002 |
Learning Action Images Using Deep Convolutional Neural Networks For 3D Action Recognition. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hip Kõiv, Ksenija Pesti, Mart Min, Raul Land |
Investigation of cost-effective carbon nanofiber/carbon fiber and silicone polymer composite material for wearable bioimpedance device. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Affanni, Francesco Trevisan, Ruben Specogna |
Novel sensor to measure the volume of growth for in vitro bioassays. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Edelberto Franco Silva, Bruno Jose Dembogurski, Alex Borges Vieira, Francisco Henrique Cerdeira Ferreira |
IEEE P21451-1-7: Providing More Efficient Network Services over MQTT-SN. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Patrigeon, Paul Leloup, Pascal Benoit, Lionel Torres |
FlexNode: a reconfigurable Internet of Things node for design evaluation. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sheppard, Nick Felker, John L. Schmalzel |
Development of Voice Commands in Digital Signage for Improved Indoor Navigation Using Google Assistant SDK. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ievgeniia Maksymova, Philipp Greiner, Leonhard Christian Niedermueller, Norbert Druml |
Detection and Compensation of Periodic Jitters of Oscillating MEMS Mirrors used in Automotive Driving Assistance Systems. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Javier Kartsch, Marco Guermandi, Simone Benatti, Fabio Montagna, Luca Benini |
An Energy-Efficient IoT node for HMI applications based on an ultra-low power Multicore Processor. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Courtay, Mickaël Le Gentil, Olivier Berder, Pascal Scalart, Sebastien Fontaine, Arnaud Carer |
Anchor Selection Algorithm for Mobile Indoor Positioning using WSN with UWB Radio. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Wohlschläger, Martin Versen, Heinz Langhals |
A method for sorting of plastics with an apparatus specific quantum efficiency approach. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mai Kobayashi, Guanghao Sun, Toshikazu Shinba, Takemi Matsui, Tetsuo Kirimoto |
Development of a Mental Disorder Screening System Using Support Vector Machine for Classification of Heart Rate Variability Measured from Single-lead Electrocardiography. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyuno Kim, Ryo Ito, Seohyun Lee, Yuji Yamakawa, Masatoshi Ishikawa |
Simulation of Face Pose Tracking System using Adaptive Vision Switching. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Scherer, Kiran Menachery, Michele Magno |
SmartAid: A Low-Power Smart Hearing Aid For Stutterers. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravil Agishev, Vladimir Solovyev |
Susceptibility of atmospheric imaging lidars to external backgrounds, sensitive to the depth of field. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bassirou Ngom, Moussa Diallo, Bamba Gueye, Nicolas Marilleau |
LoRa-based Measurement Station for Water Quality Monitoring: Case of Botanical Garden Pool. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Coleman, Gourab Sen Gupta |
Techniques for Autonomous Water Fault Detection on Large Dairy Farms. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaclav Grim, Pavel Ripka, Jan Fischer |
Characterization of circular array current transducers. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomohiko Hayakawa, Yushi Moko, Kenta Morishita, Masatoshi Ishikawa |
Real-time Robust Lane Detection Method at a Speed of 100 km/h for a Vehicle-mounted Tunnel Surface Inspection System. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismail Terkesli, Canberk Demircan, Ismail Demirci, Selcuk Yavuz, Mehmet Taygun |
Industrial Spectrophotometric Smart Sensor Towards Real-Time Optimization of Textile Dyeing Process. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dipayan Mitra, Sreeraman Rajan, Bhashyam Balaji |
A Deterministic Compressive Sensing Approach for Compressed Domain Image Analysis. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Ju Lee, Liang-Chieh Chao, Kuo-Cheng Huang, Yu-Hsuan Lin, Min-Wei Hung, Chun-Han Chou |
Two-Dimensional Irradiance Measurement System for Aligner Lithography. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ada Fort, Enza Panzardi, Tommaso Addabbo, Marco Mugnaini, Valerio Vignoli, Carlo Trigona |
Conditioning Circuit for Simultaneous Sensing and Actuation in Piezoelectric MEMS Resonators. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Afaz Uddin Ahmed, Reza Arablouei, Frank de Hoog, Branislav Kusy, Neil Bergmann, Raja Jurdak |
Nakagami-m distribution of RSSI in shadowing pathloss model for indoor localization. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Ning Hsu, Yi-Cheng Lin, Ching-Ching Yang, Hsin-Yi Tsai, Kuo-Cheng Huang, Shih-Feng Tseng, Wen-Tse Hsiao |
Low-Cost Vibration and Acceleration Sensors Module for the Drilling Processes Monitoring. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Roux, Baptiste Vrigneau, Olivier Sentieys |
Improving NILM by Combining Sensor Data and Linear Programming. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Monoj Kumar Singha, Aniket patra |
Effect of ZnO on Stainless Steel Electrode for Piezeoelectric Application. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanna Di Pasquale, Salvatore Graziani, Antonino Pollicino, Carlo Trigona |
Green Inertial Sensors based on Bacterial Cellulose. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Edelberto Franco Silva, Bruno Jose Dembogurski, Alex Borges Vieira, Francisco Henrique Cerdeira Ferreira |
IEEE P21451-1-7: Providing More Efficient Network Services over MQTT-SN. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Andò, Salvatore Baglio, Salvatore Castorina, Ruben Crispino, Vincenzo Marletta |
An inkjet printed pressure sensor for applications in Active Ageing monitoring. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedict Simlinger, Guillaume Ducard |
Vision-based Gyroscope Fault Detection for UAVs. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Heejae Han, Jeonghwan Kim, Junyoung Park, Yujin Lee, Hyunwoo Jo, Yonghyeon Park, Eric T. Matson, Seongha Park |
Object classification on raw radar data using convolutional neural networks. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Strasser, Philipp Stelzer, Christian Steger, Norbert Druml |
Speed-Up of MEMS Mirror's Transient Start-Up Procedure. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Andò, Salvatore Baglio, Salvatore Castorina, Ruben Crispino, Vincenzo Marletta |
An RF-ID based solution of Assistive Technology for User Activity Monitoring. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianni Cerro, Gianfranco Miele |
A stand-alone sensor for spectrum occupancy monitoring in dynamic spectrum access framework. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Namkyu Kim, Jisu Kim, Hongki Kim, Kimuk Lim, Youlim Ko, Nulee Jeong, Anthony H. Smith, Helen A. McNally |
Red Light Running Prediction System using LIDAR. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Ray, Anton Netchaev, Chris Mimun, Christian Hubley, David Henderson, Eftihia Barnes, Clayton R. Thurmer, Lee Moores |
Chemical Collection, Refinement, and Adsorption Beacon. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Kromes, Adrien Russo, Benoît Miramond, François Verdier |
Energy consumption minimization on LoRaWAN sensor network by using an Artificial Neural Network based application. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nunzio Cennamo, Francesco Arcadio, Luigi Zeni |
Effect of the photoresist aging in D-shaped POF SPR Sensors for biochemical applications. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinko Oletic, Marko Matijascic, Vedran Bilas, Michele Magno |
Hidden Markov Model-Based Asthmatic Wheeze Recognition Algorithm Leveraging the Parallel Ultra-Low-Power Processor (PULP). |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarne Van Mulders, Stijn Crul, Guus Leenders, Bart Thoen, Liesbet Van der Perre |
Bringing Energy to IoT Nodes: an Unmanned Vehicle for Wireless Power Transfer. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyun Jung La, Soo Dong Kim |
Autonomous Platform for Optimizing Sensor Data Acquisition Efficiency. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Seiji Matsuguma, Akihiro Kajiwara |
Bathroom accident detection with 79GHz-band millimeter wave sensor. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Seungin Shin, Seibum B. Choi |
Target Speed Sensing Technique using Dilation Correlation of Ultrasonic Signal for Vehicle. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Salma Moujtahid, Thomas Liennard, Rachid Benmokhtar |
Evidential Multisensor Fusion and Erroneous Management of Lanes for Autonomous Driving. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Emiliano Sisinni |
Lightweight Machine Learning-Based Approach for Supervision of Fitness Workout. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawan Pathak, Sanghoon Park, Hyoung Jin Cho |
Metal Oxide Semiconductor-Carbon Nanomaterial Network as a Flexible Chemical Sensor for Volatile Organic Compound Detection. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Trigona, Bruno Andò, Salvatore Baglio |
Measurements and Investigations of Helicopter-Induced Vibrations for Kinetic Energy Harvesters. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Holmes, Matt Francis, Nicholas Chiolino, Matthew Barlow, Sonia Perez, Ian Getreu |
An Integrated SiC Photo-Transistor for Ultraviolet Detection in High-Temperature Environments. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ksenija Pesti, Hip Kõiv, Mart Min |
Simulation of the Sensitivity Distribution of Four- Electrode Impedance Sensing on Radial Artery. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell Trafford, David Russo, Colby Clark, Sangho Shin, John L. Schmalzel |
Characterization of Piezoelectric Cantilever Beams for use in Roadside Vibration Energy Harvesting. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Arcaya-Jordan, Alain Pegatoquet, Andrea Castagnetti |
Smart Connected Glasses for Drowsiness Detection: a System-Level Modeling Approach. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | G. D. Demin, A. F. Popkov, N. A. Djuzhev, K. A. Zvezdin, A. V. Popov |
Microwave Energy Harvester Based on the Magneto-Tunnel Seebeck Effect in the Nanoscale Spin-Torque Diode. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Peña Queralta, Tuan Nguyen Gia, Hannu Tenhunen, Tomi Westerlund |
Collaborative Mapping with IoE-based Heterogeneous Vehicles for Enhanced Situational Awareness. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dasol Jeong, Jonghyup Lee, Seibum Choi, Mintae Kim |
Load Estimation of Intelligent Tires Equipped with Acceleration Sensors. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Durand, Rachid Benmokhtar, Xavier Perrotton |
360 Multisensor Object Fusion and Sensor-based Erroneous Data Management for Autonomous Vehicles. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Trigona, Bruno Andò, Salvatore Baglio |
Piezo Coaxial Cable for Sensing of Mechanical Vibrations. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Heise, Zachary Miller, Ellie Harrison, Anton Gradisek, Janez Grad, Candace Galen |
Acoustically Tracking the Comings and Goings of Bumblebees. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bassirou Kasse, Bamba Gueye, Moussa Diallo, Fiorenantsoa Santatra, Halima Elbiaze |
IoT based Schistosomiasis Monitoring for More Efficient Disease Prediction and Control Model. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Mark Jansson, W. S. Zanardi, P. Kaladius, E. L. Jansson, S. Sedig, W. McGrath, F. R. Jansson |
Mach Field Sensor / Detector and Results. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | M. D. OrToole, Anthony J. Peyton |
Classification of Non-ferrous Scrap Metal using Two Component Magnetic Induction Spectroscopy. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Bakhirkin, David Monniaux |
Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland |
Verifying Properties of Differentiable Programs. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi |
Fairness: A Formal-Methods Perspective. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Abramo Bagnara, Patricia M. Hill |
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumanth Prabhu 0001, Kumar Madhukar, R. Venkatesh 0001 |
Efficiently Learning Safety Proofs from Appearance as well as Behaviours. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
Process-Local Static Analysis of Synchronous Processes. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Aziem Chawdhary, Andy King |
Closing the Performance Gap Between Doubles and Rationals for Octagons. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Zuleger |
Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter W. O'Hearn |
Experience Developing and Deploying Concurrency Analysis at Facebook. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabella Mastroeni, Michele Pasqua |
Verifying Bounded Subset-Closed Hyperproperties. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac |
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Joseph Devietti, Nimit Singhania |
Block-Size Independence for GPU Programs. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, Julien Lepiller |
Modular Software Fault Isolation as Abstract Interpretation. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Caterina Urban, Samuel Ueltschi, Peter Müller 0001 |
Abstract Interpretation of CTL Properties. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth L. McMillan, Oded Padon |
Deductive Verification in Decidable Fragments with Ivy. |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski (eds.) |
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings |
SAS |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 1390 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license