|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1973 occurrences of 1272 keywords
|
|
|
Results
Found 2145 publication records. Showing 2145 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Noel Khan, David A. Elizondo, Lipika Deka, Miguel A. Molina-Cabello |
Fuzzy Logic Applied to System Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 56523-56538, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Toshiyo Tamura |
Cuffless Blood Pressure Monitors: Principles, Standards and Approval for Medical Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 104-B(6), pp. 580-586, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Onur Asan, Avishek Choudhury, Melek M. Somai, Bradley H. Crotty |
Augmenting patient safety through participation by design - An assessment of dual monitors for patients in the outpatient clinic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Informatics ![In: Int. J. Medical Informatics 146, pp. 104345, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Manfred Wendt |
A Brief Introduction to Beam Position Monitors for Charged Particle Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Instrum. Meas. Mag. ![In: IEEE Instrum. Meas. Mag. 24(9), pp. 21-32, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Gyouhyung Kyung, Sungryul Park |
Curved Versus Flat Monitors: Interactive Effects of Display Curvature Radius and Display Size on Visual Search Performance and Visual Fatigue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Factors ![In: Hum. Factors 63(7), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Kaitlin M. Gallagher, Laura Cameron, Diana E. De Carvalho, Madison Boulé |
Does Using Multiple Computer Monitors for Office Tasks Affect User Experience?: A Systematic Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Factors ![In: Hum. Factors 63(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró |
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 20(6), pp. 107:1-107:36, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yannick Chevalier, Michaël Rusinowitch |
Implementing Security Protocol Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 22-34, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Xugui Zhou, Bulbul Ahmed, James H. Aylor, Philip Asare, Homa Alemzadeh |
Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.02545, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck |
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.01232, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee 0001 |
Confidence Composition for Monitors of Verification Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.03782, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
Incorporating Monitors in Reactive Synthesis without Paying the Price. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.00929, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Sara Hajj Ibrahim, Mohamed Nassar 0001 |
Hack The Box: Fooling Deep Learning Abstraction-Based Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.04764, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró |
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.03116, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Dave Dice, Alex Kogan |
Compact Java Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.04188, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Matthew Stephan |
Monitor++?: Multiple versus Single Laboratory Monitors in Early Programming Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.07729, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli |
Adaptive distributed monitors of spatial properties for cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 175, pp. 110908, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Giacomo Fanti, Francesca Borghi, Andrea Spinazzè, Sabrina Rovelli, Davide Campagnolo, Marta Keller, Andrea Cattaneo, Emanuele Cauda, Domenico Maria Cavallo |
Features and Practicability of the Next-Generation Sensors and Monitors for Exposure Assessment to Airborne Pollutants: A Systematic Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(13), pp. 4513, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Lidia M. Belmonte, Arturo S. García 0001, Rafael Morales 0001, Jose Luis de la Vara, Francisco López de la Rosa, Antonio Fernández-Caballero 0001 |
Feeling of Safety and Comfort towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(3), pp. 908, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Kiyo Fujimoto, Lance A. Hone, Kory D. Manning, Robert D. Seifert, Kurt L. Davis, James N. Milloway, Richard S. Skifton, Yaqiao Wu, Malwina Wilding, David Estrada |
Additive Manufacturing of Miniaturized Peak Temperature Monitors for In-Pile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(22), pp. 7688, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Eduard Muslimov, Nadezhda Pavlycheva, Emmanuel Hugot, Simona Lombardo, Ilnur Nureev, Oleg G. Morozov |
Optical Designs with Curved Detectors for Fiber Bragg Grating Interrogation Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(1), pp. 34, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Francalanza, Clare Cini |
Computer says no: Verdict explainability for runtime monitors using a local proof system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 119, pp. 100636, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Francalanza |
A theory of monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 281, pp. 104704, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Gwendolyn Foo, Sami Kara, Maurice Pagnucco |
An Ontology-Based Method for Semi-Automatic Disassembly of LCD Monitors and Unexpected Product Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Autom. Technol. ![In: Int. J. Autom. Technol. 15(2), pp. 168-181, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Geeta Yadav, Kolin Paul |
Global Monitor using SpatioTemporally Correlated Local Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 20th IEEE International Symposium on Network Computing and Applications, NCA 2021, Boston, MA, USA, November 23-26, 2021, pp. 1-10, 2021, IEEE, 978-1-6654-9550-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Xugui Zhou, Bulbul Ahmed, James H. Aylor, Philip Asare, Homa Alemzadeh |
Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021, pp. 484-496, 2021, IEEE, 978-1-6654-3572-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
A secure insulin infusion system using verification monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 56-65, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Junges, Hazem Torfah, Sanjit A. Seshia |
Runtime Monitors for Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 553-576, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Cho-Sheng Lin, Jing Huang, Po-Sheng Chang, Chun-Yen Tsai, Tsung-Chu Huang |
SAFER & SAFEST: Single-Aging-Factor Enhanced Rings and Shadow Trees for Data Annotation and Early Warning in Online Aging Monitors of Automotive SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE-TW ![In: IEEE International Conference on Consumer Electronics-Taiwan, ICCE-TW 2021, Penghu, Taiwan, September 15-17, 2021, pp. 1-2, 2021, IEEE, 978-1-6654-3328-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Projna Paromita, Theodora Chaspari, Seyedhooman Sajjadi, Anurag Das, Bobak J. Mortazavi, Ricardo Gutierrez-Osuna |
Personalized Meal Classification Using Continuous Glucose Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI Workshops ![In: Joint Proceedings of the ACM IUI 2021 Workshops co-located with 26th ACM Conference on Intelligent User Interfaces (ACM IUI 2021), College Station, United States, April 13-17, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Anurag Das, Seyedhooman Sajjadi, Bobak Mortazavi, Theodora Chaspari, Projna Paromita, Laura Ruebush, Nicolaas E. P. Deutz, Ricardo Gutierrez-Osuna |
A Sparse Coding Approach to Automatic Diet Monitoring with Continuous Glucose Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2021, Toronto, ON, Canada, June 6-11, 2021, pp. 2900-2904, 2021, IEEE, 978-1-7281-7606-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
Incorporating Monitors in Reactive Synthesis Without Paying the Price. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 337-353, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Aayushi R. Nirmal, Srinidhi Brahmavar, Hannah W. Mercier |
Digital Phenotyping for Spinal Cord Injury: Smartphone-based monitors for clinical utility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASS ![In: IEEE 18th International Conference on Mobile Ad Hoc and Smart Systems, MASS 2021, Denver, CO, USA, October 4-7, 2021, pp. 572-573, 2021, IEEE, 978-1-6654-4935-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tim Shaffer, Zhuozhao Li, Ben Tovar, Yadu N. Babuji, T. J. Dasso, Zoe Surma, Kyle Chard, Ian T. Foster, Douglas Thain |
Lightweight Function Monitors for Fine-Grained Management in Large Scale Python Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 35th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2021, Portland, OR, USA, May 17-21, 2021, pp. 786-796, 2021, IEEE, 978-1-6654-4066-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Natalia Igorevna Khramtsova, Sergei Aleksandrovich Plaksin, Danil N. Ponomarev, Artem Y. Sotskov |
The capabilities of bioelectrical impedance body composition monitors in determining metabolic parameters during body shaping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeMeA ![In: IEEE International Symposium on Medical Measurements and Applications, MeMeA 2021, Lausanne, Switzerland, June 23-25, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-1914-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Khitam Alatoun, Bharath Shankaranarayanan, Shanmukha Murali Achyutha, Ranga Vemuri |
SoC Trust Validation Using Assertion-Based Security Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 22nd International Symposium on Quality Electronic Design, ISQED 2021, Santa Clara, CA, USA, April 7-9, 2021, pp. 496-503, 2021, IEEE, 978-1-7281-7641-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mowafak Hassan Abdul-Hussin |
Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S4PR-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCWC ![In: 11th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2021, Las Vegas, NV, USA, January 27-30, 2021, pp. 696-701, 2021, IEEE, 978-1-6654-1490-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Kilian, Heiko Ahrens, Daniel Tille, Martin Huch, Ulf Schlichtmann |
A Scalable Design Flow for Performance Monitors Using Functional Path Ring Oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: IEEE International Test Conference, ITC 2021, Anaheim, CA, USA, October 10-15, 2021, pp. 299-303, 2021, IEEE, 978-1-6654-1695-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck |
Benchmarking Safety Monitors for Image Classifiers with Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021, pp. 7-16, 2021, IEEE, 978-1-6654-2476-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Al-Saad, Madeleine Lucas, Lakshmish Ramaswamy |
Privacy Vulnerabilities of Wearable Activity Monitors: Threat and Potential Defence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIC ![In: 7th IEEE International Conference on Collaboration and Internet Computing, CIC 2021, Atlanta, GA, USA, December 13-15, 2021, pp. 105-116, 2021, IEEE, 978-1-6654-1625-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Katrina Boles, Malaika Gallimore, Chuka Emezue, Chelsea Howland, Amy Grimsley, Jo-Ana Chase, Allison Anbari, LeeAnne B. Sherwin, Blaine Reeder |
Comparing Performance of Hip-worn and Wrist-worn Research-Grade Activity Monitors for Daily Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2021, American Medical Informatics Association Annual Symposium, San Diego, CA, USA, October 30, 2021 - November 3, 2021, 2021, AMIA. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Ruochen Cao, Lena Zou-Williams, Andrew Cunningham, James A. Walsh, Mark Kohler, Bruce H. Thomas |
Comparing the Neuro-Physiological Effects of Cinematic Virtual Reality with 2D Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality and 3D User Interfaces, VR 2021, Lisbon, Portugal, March 27 - April 1, 2021, pp. 729-738, 2021, IEEE, 978-1-6654-1838-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yanxiang Zhang 0001, JiaYu Wang |
"Through the Solar System" - - XR science education system based on multiple monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR Workshops ![In: IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VR Workshops 2021, Lisbon, Portugal, March 27 - April 1, 2021, pp. 428-429, 2021, IEEE, 978-1-6654-4057-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Martin Clochard, Claude Marché, Andrei Paskevich |
Deductive verification with ghost monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 2:1-2:26, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe Bonifazi, Riccardo Gasbarrone, Roberta Palmieri, Silvia Serranti |
Near infrared hyperspectral imaging-based approach for end-of-life flat monitors recycling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 68(4), pp. 265-276, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ali Ahmed Al-Matouq, Taous-Meriem Laleg-Kirati, Carlo Novara, Ivana Rabbone, Tyrone Vincent |
Sparse Reconstruction of Glucose Fluxes Using Continuous Glucose Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 17(5), pp. 1797-1809, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Sergi Vilardell, Isabel Serra, Roberto Santalla, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla |
HRM: Merging Hardware Event Monitors for Improved Timing Analysis of Complex MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11), pp. 3662-3673, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.08961, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir |
An axiomatization of verdict equivalence over regular monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.05463, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Liang Ma 0002, Ting He 0001, Kin K. Leung, Ananthram Swami, Don Towsley |
Link Identifiability with Two Monitors: Proof of Selected Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.09972, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Matt Luckcuck |
Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.03522, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Leonardo Rezende Juracy, Matheus Trevisan Moreira, Alexandre de Morais Amory, Fernando Gehm Moraes |
A Survey of Aging Monitors and Reconfiguration Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.07829, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Dejan Nickovic, Tomoya Yamaguchi 0001 |
RTAMT: Online Robustness Monitors from STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.11827, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Oscar Garnica, Juan Lanchares, J. Manuel Velasco, José Ignacio Hidalgo, Marta Botella |
Noise spectral analysis and error estimation of continuous glucose monitors under real-life conditions of diabetes patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 61, pp. 101934, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dennis Severin Hansen, Stefan Jespersen, Mads Valentin Bram, Zhenyu Yang 0001 |
Uncertainty Analysis of Fluorescence-Based Oil-In-Water Monitors for Oil and Gas Produced Water. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(16), pp. 4435, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Daniele Bibbo, Tomas Klinkovsky, Marek Penhaker, Petr Kudrna, Lukas Peter, Martin Augustynek, Vladimir Kasik, Jan Kubícek, Ali Selamat, Martin Cerný 0002, Daniel Bielcik |
A New Approach for Testing Fetal Heart Rate Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(15), pp. 4139, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jaime Andres Rincon, Ângelo Costa, Paulo Novais, Vicente Julián, Carlos Carrascosa |
ME3CA: A Cognitive Assistant for Physical Exercises that Monitors Emotions and the Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(3), pp. 852, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | William W. Delp, Brett C. Singer |
Wildfire Smoke Adjustment Factors for Low-Cost and Professional PM2.5 Monitors with Optical Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(13), pp. 3683, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Abhishek Kumar Ghosh, Sonny F. Burniston, Daniel Krentzel, Abhishek Roy, Adil Shoaib Sheikh, Talha Siddiq, Paula Mai Phuong Trinh, Marta Mambrilla Velazquez, Hei-Ting Vielle, Niamh C. Nowlan, Ravi Vaidyanathan |
A Novel Fetal Movement Simulator for the Performance Evaluation of Vibration Sensors for Wearable Fetal Movement Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(21), pp. 6020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson |
Determinizing monitors for HML with recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 111, pp. 100515, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Renan Santos, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy |
Revisiting monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 196, pp. 102491, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jahnavi Kasturi Rangan, Nasim Pour Aryan, Jens Bargfrede, Lantao Wang, Christian Funke, Helmut Graeb |
Synthesis of DDRO Timing Monitors by Delay-Tracking and Static Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 67-I(2), pp. 401-414, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Lindsay S. Hahn, Stephen L. Rathbun, Michael D. Schmidt, Kyle Johnsen, James J. Annesi, Sun Joo (Grace) Ahn |
Using Virtual Agents and Activity Monitors to Autonomously Track and Assess Self-Determined Physical Activity Among Young Children: A 6-Week Feasibility Field Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyberpsychology Behav. Soc. Netw. ![In: Cyberpsychology Behav. Soc. Netw. 23(7), pp. 471-478, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Peter F. Klemperer, Hye Yoon Jeon, Bryan D. Payne, James C. Hoe |
High-Performance Memory Snapshotting for Real-Time, Consistent, Hypervisor-Based Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 17(3), pp. 518-535, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Djob Mvondo, Alain Tchana, Renaud Lachaize, Daniel Hagimont, Noël De Palma |
Fine-Grained Fault Tolerance for Resilient pVM-Based Virtual Machine Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020, pp. 197-208, 2020, IEEE, 978-1-7281-5809-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Duc Do Tran, Jörg Walter 0001, Kim Grüttner, Frank Oppenheimer |
Towards Time-Sensitive Behavioral Contract Monitors for IEC 61499 Function Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Tampere, Finland, June 10-12, 2020, pp. 27-34, 2020, IEEE, 978-1-7281-6389-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Victor L. G. Cavalcante, Diego A. Amoedo, Adriana S. Souza, Luciana R. Costa, Myke D. M. Valadão, Caio F. S. Cruz, Agemilson P. Silva, Ruan J. S. Belém, Anderson S. Jesus, Lucas Gabriel Coimbra Evangelista, Osmar R. A. Silva, Ricardo G. Paula, Thiago B. Bezerra, Waldir S. S. Júnior, Celso B. Carvalho |
Automated Dead/Bright Pixel Distance Measurement System on Computer Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE-TW ![In: IEEE International Conference on Consumer Electronics - Taiwan, ICCE-TW 2020, Taoyuan, Taiwan, September 28-30, 2020, pp. 1-2, 2020, IEEE, 978-1-7281-7399-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Xavier Palomo, Mikel Fernández, Sylvain Girbal, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla, Laurent Rioux |
Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 32nd Euromicro Conference on Real-Time Systems, ECRTS 2020, July 7-10, 2020, Virtual Conference., pp. 15:1-15:25, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-152-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Enrico Mezzetti, Jaume Abella 0001, Mikel Fernández, Guillem Bernat, Francisco J. Cazorla |
On the reliability of hardware event monitors in MPSoCs for critical domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020, pp. 580-589, 2020, ACM, 978-1-4503-6866-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ruikai Shi, Liang Yang, Hao Wang |
Delay Sensitivity Polynomials Based Design- Dependent Performance Monitors for Wide Operating Ranges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, pp. 1610-1613, 2020, IEEE, 978-3-9819263-4-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Chang Liu 0010, Eric Schneider, Hans-Joachim Wunderlich |
Using Programmable Delay Monitors for Wear-Out and Early Life Failure Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, pp. 804-809, 2020, IEEE, 978-3-9819263-4-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jan Reich, Daniel Schneider 0001, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz |
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings, pp. 3-17, 2020, Springer, 978-3-030-54548-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Shi-Yu Huang |
Overview of On-Chip Performance Monitors for Clock Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 29th IEEE Asian Test Symposium, ATS 2020, Penang, Malaysia, November 23-26, 2020, pp. 1-4, 2020, IEEE, 978-1-7281-7467-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dejan Nickovic, Tomoya Yamaguchi 0001 |
RTAMT: Online Robustness Monitors from STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 564-571, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Josep Solà, Anna Vybornova, Sibylle Fallet, Elisa Olivero, Bastien De Marco, Olivier Grossenbacher, Natalija Ignjatovic, Blagoje Ignjatovic, Matthieu Favre-Bulle, Nora Levinson, Nadège Siutryk, Valentin Chapuis, Mattia Bertschi, Bruce S. Alpert |
Are cuffless devices challenged enough? Design of a validation protocol for ambulatory blood pressure monitors at the wrist: the case of the Aktiia Bracelet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2020, Montreal, QC, Canada, July 20-24, 2020, pp. 4437-4440, 2020, IEEE, 978-1-7281-1990-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 431-450, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mengxing Liu, Zehui Sun, Wenyu Ye, Xianliang He, Haoyu Jiang, Ye Li, Yiyu Zhuang |
Optimization Strategies to Reduce Alarm Fatigue in Patient Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CinC ![In: Computing in Cardiology, CinC 2020, Rimini, Italy, September 13-16, 2020, pp. 1-4, 2020, IEEE, 978-1-7281-7382-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Chris Hill, Michael Schneider, Mark D. Gross, Ann Eisenberg, Arielle Blum |
A Wearable Meter That Actively Monitors the Continuity of E-Textile Circuits as They Are Sewn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FabLearn ![In: FabLearn '20: FabLearn 2020 - 9th Annual Conference on Maker Education, New York, NY, USA, April 4 - 5, 2020, pp. 114-117, 2020, ACM, 978-1-4503-7543-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar |
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 41st IEEE Real-Time Systems Symposium, RTSS 2020, Houston, TX, USA, December 1-4, 2020, pp. 395-398, 2020, IEEE, 978-1-7281-8324-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Augusto W. Hoppe, Jürgen Becker 0001, Fernanda Lima Kastensmidt |
Fine Grained Control Flow Checking with Dedicated FPGA Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: 33rd IEEE International System-on-Chip Conference, SoCC 2020, Las Vegas, NV, USA, September 8-11, 2020, pp. 219-224, 2020, IEEE, 978-1-7281-8746-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Elena Esposito, Gerardo D'Elia, Sergio Ferlito, Antonio Del Giudice, Grazia Fattoruso, Paolo D'Auria, Saverio De Vito, Girolamo Di Francia |
Optimal Field Calibration of Multiple IoT Low Cost Air Quality Monitors: Setup and Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (5) ![In: Computational Science and Its Applications - ICCSA 2020 - 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part V, pp. 700-708, 2020, Springer, 978-3-030-58813-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Duc Do Tran, Kim Grüttner, Frank Oppenheimer, Wolfgang Nebel |
Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, pp. 156-163, 2020, IEEE, 978-1-7281-8956-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Riccardo Cantoro, Martin Huch, Tobias Kilian, Raffaele Martone, Ulf Schlichtmann, Giovanni Squillero |
Machine Learning based Performance Prediction of Microcontrollers using Speed Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: IEEE International Test Conference, ITC 2020, Washington, DC, USA, November 1-6, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-9113-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Hepperle, Hannah Ödell, Matthias Wölfel |
Differences in the Uncanny Valley between Head-Mounted Displays and Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: International Conference on Cyberworlds, CW 2020, Caen, France, September 29 - October 1, 2020, pp. 41-48, 2020, IEEE, 978-1-7281-6497-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic |
Weakness Monitors for Fail-Aware Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings, pp. 283-299, 2020, Springer, 978-3-030-57627-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ben Greenman, Matthias Felleisen, Christos Dimoulas |
Complete monitors for gradual types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(OOPSLA), pp. 122:1-122:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jun-Eun Park, Young-Ha Hwang, Deog-Kyoon Jeong |
A 0.5-V Fully Synthesizable SAR ADC for On-Chip Distributed Waveform Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 63686-63697, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Soramichi Akiyama |
A Lightweight Method to Evaluate Effect of Approximate Memory with Hardware Performance Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 102-D(12), pp. 2354-2365, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Sara Vinco, Nicola Bombieri, Daniele Jahier Pagliari, Franco Fummi, Enrico Macii, Massimo Poncino |
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 24(3), pp. 27:1-27:23, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Devashish Das, Kalyan S. Pasupathy, Nadeem N. Haddad, M. Susan Hallbeck, Martin D. Zielinski, Mustafa Y. Sir |
Improving Accuracy of Noninvasive Hemoglobin Monitors: A Functional Regression Model for Streaming SpHb Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 66(3), pp. 759-767, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Tim Collins, Sandra I. Woolley, Salome Oniani, Ivan Miguel Pires, Nuno M. Garcia, Sean J. Ledger, Anand Pandyan |
Version Reporting and Assessment Approaches for New and Updated Activity and Heart Rate Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(7), pp. 1705, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Chiara Fabris, Basak Ozaslan, Marc D. Breton |
Continuous Glucose Monitors and Activity Trackers to Inform Insulin Dosing in Type 1 Diabetes: The University of Virginia Contribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(24), pp. 5386, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Absa Stephen, Shajulin Benedict, R. P. Anto Kumar |
Monitoring IaaS using various cloud monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 22(5), pp. 12459-12471, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Bingyu Li, Jingqiang Lin, Fengjun Li, Qiongxiao Wang, Qi Li 0002, Jiwu Jing, Congli Wang |
Certificate Transparency in the Wild: Exploring the Reliability of Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019., pp. 2505-2520, 2019, ACM, 978-1-4503-6747-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jafar Hamin |
Starvation-Free Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings, pp. 175-195, 2019, Springer, 978-3-030-32504-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Lorenzo Ferretti, Giovanni Ansaloni, Laura Pozzi, Amir Aminifar, David Atienza, Leila Cammoun, Philippe Ryvlin |
Tailoring SVM Inference for Resource-Efficient ECG-Based Epilepsy Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019, pp. 948-951, 2019, IEEE, 978-3-9819263-2-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nico Hochgeschwender |
Adaptive Deployment of Safety Monitors for Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, pp. 346-357, 2019, Springer, 978-3-030-26249-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | José Manuel González-García, Claudio Estevez |
Smart Hospital LoRaWAN-based Backup Network Design that Monitors Critical Emergency and Standby Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HealthCom ![In: 2019 IEEE International Conference on E-health Networking, Application & Services, HealthCom 2019, Bogotá, Colombia, October 14-16, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-0402-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Selda Yildiz, Ryan A. Opel, Jonathan E. Elliott, Jeffrey A. Kaye, Hung Cao, Miranda M. Lim |
Categorizing Sleep in Older Adults with Wireless Activity Monitors Using LSTM Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019, Berlin, Germany, July 23-27, 2019, pp. 3368-3372, 2019, IEEE, 978-1-5386-1311-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Raif Alicic, Senad Smaka |
A New Approach to Determine the Optimal Number and Arrangement of Power Quality Monitors for Voltage Sag Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSI ![In: 5th IEEE International forum on Research and Technology for Society and Industry, RTSI 2019, Florence, Italy, September 9-12, 2019, pp. 12-17, 2019, IEEE, 978-1-7281-3815-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2145 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|