125,542 Hits in 4.7 sec

RGSE: a regular property guided symbolic executor for Java

Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017  
This paper presents RGSE, a regular property guided dynamic symbolic execution (DSE) engine, for finding a program path satisfying a regular property as soon as possible.  ...  It is challenging to effectively check a regular property of a program.  ...  USAGE To use RGSE for checking a program w.r.t. a regular property, we need to write an analysis driver for RGSE.  ... 
doi:10.1145/3106237.3122830 dblp:conf/sigsoft/YuCZWD17 fatcat:vd3ta26igfblxawiox7lfsywdm

Software engineering and formal methods: SEFM 2019 special section

Peter Csaba Ölveczky, Gwen Salaün
2021 Journal of Software and Systems Modeling  
Acknowledgements We would like to express our most sincere thanks to all the people who have made this special section possible: to the authors for writing the papers and incorporating all the corrections  ...  and improvements required by a thorough reviewing process; to the reviewers for kindly contributing their time and effort to ensure the highest quality of each paper; and to Martin Schindler for agreeing  ...  In their paper "An operational guide to monitorability with applications to regular properties," Adrian Francalanza, Luca Aceto, Antonis Achilleos, Anna Ingolfsdottir, and Karoliina Lehtinen therefore  ... 
doi:10.1007/s10270-021-00874-1 fatcat:yejo3nugwvhedpkadwtt5zfaky

Regular Property Guided Dynamic Symbolic Execution

Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
2015 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering  
A challenging problem in software engineering is to check if a program has an execution path satisfying a regular property.  ...  We propose a novel method of dynamic symbolic execution (DSE) to automatically find a path of a program satisfying a regular property.  ...  Jingling Xue for the discussions and suggestions to our work.  ... 
doi:10.1109/icse.2015.80 dblp:conf/icse/ZhangCWD015 fatcat:of5rmtxu2jhlxfod2yzarfgjny

Reactive Control Meets Runtime Verification: A Case Study of Navigation [article]

Dogan Ulus, Calin Belta
2019 arXiv   pre-print
This paper presents an application of specification based runtime verification techniques to control mobile robots in a reactive manner.  ...  An immediate benefit of our approach is that it leverages simple requirements and objectives of traditional control applications to more complex specifications in a non-intrusive and compositional way.  ...  We here show an application of runtime monitors to enforce the desired safe behavior inside trajectory and route search algorithms.  ... 
arXiv:1902.04024v1 fatcat:tg6wvjkepncnfb3t6fczkilq5u

Monitoring tumor response during chemotherapy treatment with Microwave Imaging

Aleksandar Janjic, Tuba Yilmaz, Mehmet Cayoren, Ibrahim Akduman, Lorenzo Crocco
2020 Zenodo  
Ensuring accurate and reliable monitoring of the malignant tumor response to therapy can lead to the better follow-up care; thus, it would aid to increase the patient survival rate.  ...  Additionally, we propose a qualitative inverse scattering approach based on factorization method which allows us to monitor disease's evolution during and after the treatment.  ...  More in detail, the filtering process includes a guided image I, a filtering image p, and an output image q. Both I and p are given beforehand according to the application, and they can be identical.  ... 
doi:10.5281/zenodo.3763307 fatcat:zv2u4wdjtzfebkns6yrwh6rq6q

An Operational Guide to Monitorability

Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ing´Olfsd´Ottir, Karoliina Lehtinen
2019 Zenodo  
Accordingly, we present a monitorability hierarchy based on this trade-off. For regular specifications, we give syntactic characterisations in Hennessy–Milner logic with recursion for its levels.  ...  We view monitorability as a spectrum, where the fewer guarantees that are required of monitors, the more properties become monitorable.  ...  This research was supported by the Icelandic Research Fund projects "TheoFoMon: Theoretical Foundations for Monitorability" (№:163406-051) and "Epistemic Logic for Distributed Runtime Monitoring" (№:184940  ... 
doi:10.5281/zenodo.3743161 fatcat:sd6vxg3ybjg6hd35cvy47aihxy

Innovative Imaging Tools and Devices for Clinical Monitoring within the EMERALD Network

Selçuk Özgür, Rosa Scapaticci, Marta Cavagnaro, Paolo Rocca, Lorenzo Crocco
2019 Zenodo  
Second, a microwave imaging device for monitoring and guiding microwave ablation treatments will be designed, realized and tested.  ...  First, ad-hoc imaging algorithms tailored to the prototype devices for clinical follow-up and image-guided treatment designed and realized within the network will be developed.  ...  The authors would like to thank prof. Francesca Vipiana and her team for providing the experimental data.  ... 
doi:10.5281/zenodo.2643153 fatcat:orjn3xqvyzbtxhek32jjjellxq

The Application Scenarios of Smart Construction Objects (SCOs) in Construction [chapter]

Yuhan Niu, Weisheng Lu, Diandian Liu
2016 Proceedings of the 20th International Symposium on Advancement of Construction Management and Real Estate  
The primary aim of this study is to investigate the application scenarios of smart construction objects (SCOs).  ...  their respective property diagrams in Section 4.  ...  With context-awareness, a collision-prevention method is also proposed to assist crane operators to avoid collision in operation [27] .  ... 
doi:10.1007/978-981-10-0855-9_86 fatcat:p5b4wgbrubd57b3l2fdgtktwqe

Pipeline Health Monitoring to Optimise Plant Efficiency [chapter]

Anurag Dhutti, Tat-Hean Gan
2019 Power Plants in the Industry  
There is an increasing trend in the application of non-destructive testing (NDT) and information technologies to in-service monitoring of these assets.  ...  The aim of this chapter is to provide a comprehensive overview of the state-of-the-art monitoring technologies for steamlines, with a focus on high temperature ultrasonic guided wave techniques.  ...  Guided wave monitoring data analysis Once the SHM system is installed on the pipe, regular inspection data is recorded into a monitoring database.  ... 
doi:10.5772/intechopen.80844 fatcat:cgdab6oqjveedmmdmxtku3j3cq

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications [chapter]

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, Sriram Sankaranarayanan
2018 Lecture Notes in Computer Science  
We present an overview of some of the important applications and, finally, we describe the tools supporting CPS monitoring and compare their main features. 137 Monitoring Real Systems and Monitoring Simulated  ...  Here the role of monitoring is to alert in real time in order to trigger corrective actions, either by a human operator or by a supervisory layer of control.  ...  Ničković acknowledge the partial support of the EU ICT COST Action IC1402 on Runtime Verification beyond Monitoring (ARVI) and of the HARMONIA (845631) project, funded by a national Austrian grant from  ... 
doi:10.1007/978-3-319-75632-5_5 fatcat:2m52qvfax5cn3fgyhcl3piy2ui

Reconfigurable sensors for extraction of dielectric material and liquid properties

Laurent Leyssenne, Sidina Wane, Damienne Bajon, Philippe Descamps, Rosine Coq-Germanicus
2013 2013 IEEE Radio Frequency Integrated Circuits Symposium (RFIC)  
This paper proposes an analysis and modeling of a reconfigurable sensor for the non-destructive remote extraction and monitoring of dielectric material and liquid properties, towards substance identification  ...  Various applications where Non-Destructive characterization and monitoring of material properties appear as an important requirement are gaining more and more interest: example, Medicine [1] , Pharmaceuticals  ...  With Open/Short conditions various electrical states can be impressed to switches in order to calibrate the sensor for a specific frequency band of operation.  ... 
doi:10.1109/rfic.2013.6569613 fatcat:nlsw56bfrzc4hptaby6bj7ua6e

Modelling and Validation of a Guided Acoustic Wave Temperature Monitoring System

Lawrence Yule, Bahareh Zaghari, Nicholas Harris, Martyn Hill
2021 Sensors  
This article details the development of a COMSOL model for a guided wave-based temperature monitoring system, with a view to using the technology in the future for the temperature monitoring of nozzle  ...  The computer modelling of condition monitoring sensors can aide in their development, improve their performance, and allow for the analysis of sensor impact on component operation.  ...  Potential Applications of an Ultrasonic Temperature Monitoring System An example of a potential application for this technology is nozzle guide vanes (NGVs), which are static components located in the  ... 
doi:10.3390/s21217390 pmid:34770696 pmcid:PMC8588246 fatcat:ucr6cawf2nhsxj3hyxukgzxq7m

UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems

Irune Agirre, Peio Onaindia, Tomasso Poggi, Irune Yarza, Francisco J. Cazorla, Leonidas Kosmidis, Kim Gruttner, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta
2020 2020 23rd Euromicro Conference on Digital System Design (DSD)  
This paper gives an overview of UP2DATE and its foundations, which seeks to improve existing OTASU solutions by considering safety, security and availability from the ground up in an architecture that  ...  However, the application of OTASU in the safety-critical domain is not free of challenges, specially when considering the dramatic increase of software complexity and the resulting high computing performance  ...  The formal definition of these properties will be guided by i) their relevance for the assessment of non-functional safety according to standards; and ii) the possibility to measure them with monitoring  ... 
doi:10.1109/dsd51259.2020.00063 dblp:conf/dsd/AgirreOPYCKGALO20 fatcat:b2ycvn5lhzbknorhsylv2vhrgi

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner
2019 Dagstuhl Reports  
properties of modern CPS.  ...  There is currently no specification language that allows joint description of safety, performance, security, privacy, and reliability aspects of CPS applications.  ...  In applications like biology, nesting of freeze operators is not needed much. The discussion centered around possible applications where we may need to nest freeze operators?  ... 
doi:10.4230/dagrep.9.2.48 dblp:journals/dagstuhl-reports/DeshmukhMN19 fatcat:qs52xpqxbzh6vajciydqb3ujgi

Turning Erythrocytes into Functional Micromotors

Zhiguang Wu, Tianlong Li, Jinxing Li, Wei Gao, Tailin Xu, Caleb Christianson, Weiwei Gao, Michael Galarnyk, Qiang He, Liangfang Zhang, Joseph Wang
2014 ACS Nano  
The stability and functionality of the RBC motors, as well as the tolerability of regular RBCs to the ultrasound operation, are carefully examined.  ...  Attempts to apply artificial nano/micromotors for diverse biomedical applications have inspired a variety of strategies for designing new motors with unique propulsion mechanisms and functions.  ...  Application of an ultrasound field alone to the RBC motor led to directional motion of the motor, as displayed by the tracking line in Figure 2d and Video S1.  ... 
doi:10.1021/nn506200x pmid:25415461 pmcid:PMC4386663 fatcat:wuytvoj7kzdlxiazqz2fkchi54
« Previous Showing results 1 — 15 out of 125,542 results