標(biāo)題: Titlebook: Runtime Verification; Third International Shaz Qadeer,Serdar Tasiran Conference proceedings 2013 Springer-Verlag Berlin Heidelberg 2013 af [打印本頁(yè)] 作者: T-Lymphocyte 時(shí)間: 2025-3-21 18:41
書目名稱Runtime Verification影響因子(影響力)
書目名稱Runtime Verification影響因子(影響力)學(xué)科排名
書目名稱Runtime Verification網(wǎng)絡(luò)公開度
書目名稱Runtime Verification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Runtime Verification被引頻次
書目名稱Runtime Verification被引頻次學(xué)科排名
書目名稱Runtime Verification年度引用
書目名稱Runtime Verification年度引用學(xué)科排名
書目名稱Runtime Verification讀者反饋
書目名稱Runtime Verification讀者反饋學(xué)科排名
作者: 事物的方面 時(shí)間: 2025-3-21 22:29
https://doi.org/10.1007/978-3-642-35632-2affine arithmetic; embedded systems; monitoring; numerical computation; trace analysis; algorithm analysi作者: MEEK 時(shí)間: 2025-3-22 01:46
978-3-642-35631-5Springer-Verlag Berlin Heidelberg 2013作者: 積極詞匯 時(shí)間: 2025-3-22 06:06
Runtime Verification978-3-642-35632-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 軟弱 時(shí)間: 2025-3-22 11:01
Sliding between Model Checking and Runtime Verification,We present a unified semantics for linear temporal logic capturing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure.作者: bromide 時(shí)間: 2025-3-22 13:19 作者: Mere僅僅 時(shí)間: 2025-3-22 18:22
Symbolic Execution,nd find deep errors in complex software applications. In this tutorial, we give an overview of modern symbolic execution techniques, discuss their key challenges in terms of path exploration, constraint solving, and memory modeling, and present several tools implementing these techniques.作者: Impugn 時(shí)間: 2025-3-22 23:48 作者: 祝賀 時(shí)間: 2025-3-23 03:20 作者: 載貨清單 時(shí)間: 2025-3-23 06:12 作者: 形狀 時(shí)間: 2025-3-23 13:19
Scalable Dynamic Partial Order Reduction,to put it into practice. With actual deployment come new, pragmatic challenges to the usefulness of the techniques. In this paper we are concerned with scaling dynamic partial order reduction, a key technique for mitigating the state space explosion problem, to very large clusters. In particular, we作者: Brain-Imaging 時(shí)間: 2025-3-23 17:27
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level,y level. ANaConDA also supports noise injection techniques to increase chances to find concurrency-related errors in testing runs. ANaConDA is built on top of the Intel’s framework PIN for instrumenting binary code. ANaConDA can be instantiated for dealing with programs using various thread models. 作者: WAG 時(shí)間: 2025-3-23 21:50
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors,chnology for parallelizing runtime verification and for buffering write accesses during race checking. Application threads are slowed down only due to instrumentation, but not due to the computation performed by runtime verification algorithms since the latter are run concurrently on different threa作者: CURL 時(shí)間: 2025-3-24 01:03 作者: Mindfulness 時(shí)間: 2025-3-24 04:34
Detecting Unread Memory Using Dynamic Binary Translation,ynamic tools verify that programs always write to memory before reading it. This work investigates the converse behaviour—writes that never get read, which we call “unread writes”. Such writes are redundant—at best, they do not perform any useful work; furthermore, work done to compute the values to作者: observatory 時(shí)間: 2025-3-24 09:56 作者: cancer 時(shí)間: 2025-3-24 11:10 作者: 用肘 時(shí)間: 2025-3-24 15:48
Temporal Monitors for TinyOS, temporal monitors for networked embedded nodes running the TinyOS operating system and programmed in the nesC language. We instrument the original node software to signal asynchronous atomic events to a local nesC component running a runtime verification algorithm; this checks LTL properties automa作者: photopsia 時(shí)間: 2025-3-24 20:59
Real-Time Runtime Verification on Chip, be synthesized into efficient observer hardware blocks, which take advantage of the highly-parallel nature of hardware designs. For the time-bounded Since operator of past-time MTL we obtain a time complexity that is double logarithmic in the time it is executed at and the given time bounds of the 作者: Dna262 時(shí)間: 2025-3-25 00:27 作者: 使顯得不重要 時(shí)間: 2025-3-25 06:38
Quantitative Trace Analysis Using Extended Timing Diagrams,n-experts. To gain deeper insight into a system’s behaviour, methods must be sufficiently expressive and support the evaluation of quantitative properties. We present a graphical specification language for quantitative trace analysis based on timing diagrams to meet these requirements. The proposed 作者: colostrum 時(shí)間: 2025-3-25 08:14 作者: 動(dòng)脈 時(shí)間: 2025-3-25 13:54
Monitoring Compliance Policies over Incomplete and Disagreeing Logs, In IT systems, such incompleteness may arise from logging infrastructure failures and corrupted log files, or when the logs produced by different system components disagree on whether actions took place. In this paper, we present a policy language with a three-valued semantics that allows one to ex作者: scoliosis 時(shí)間: 2025-3-25 16:06
Adaptive Runtime Verification,sis are synergistically combined. Overhead control maintains the overhead of runtime verification at a specified target level, by enabling and disabling monitoring of events for each monitor instance as needed. In ARV, predictive analysis based on a probabilistic model of the monitored system is use作者: Anonymous 時(shí)間: 2025-3-25 22:22 作者: Outshine 時(shí)間: 2025-3-26 01:56
0302-9743 proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range作者: pineal-gland 時(shí)間: 2025-3-26 08:00
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level,n top of the Intel’s framework PIN for instrumenting binary code. ANaConDA can be instantiated for dealing with programs using various thread models. Currently, it has been instantiated for programs using the pthread library as well as the Win32 API for dealing with threads.作者: intimate 時(shí)間: 2025-3-26 12:31 作者: 四溢 時(shí)間: 2025-3-26 12:45
BabelTrace: A Collection of Transducers for Trace Validation,used as . trace validators. We present an evolvable software environment that provides a large set of transducers which, when piped into an appropriate chain, can transform a trace and a formal specification into a suitable input problem for a variety of available tools.作者: 積極詞匯 時(shí)間: 2025-3-26 17:39
0302-9743 ing, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.978-3-642-35631-5978-3-642-35632-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 流逝 時(shí)間: 2025-3-26 21:10
Dynamic Livelock Analysis of Multi-threaded Programs, instrumentation framework for . programs to record events, and to replay partial-order schedules. We applied our approach to identify and confirm livelocks in a case study based on SQLite, a widely used embedded multi-threaded database engine.作者: Sputum 時(shí)間: 2025-3-27 04:08 作者: exophthalmos 時(shí)間: 2025-3-27 05:34
Sparse Coding for Specification Mining and Error Localization, condition under which our approach is sound for error localization. Additionally, we give experimental results demonstrating that (1) we can mine useful specifications using our sparse coding method, and (2) the computed bases can be used to do simultaneous error localization and error explanation.作者: 老人病學(xué) 時(shí)間: 2025-3-27 10:04 作者: DEFT 時(shí)間: 2025-3-27 15:20 作者: Synovial-Fluid 時(shí)間: 2025-3-27 20:40
Quantitative Trace Analysis Using Extended Timing Diagrams,acterize the system and render original requirements more precisely. We successfully included the timing diagram specification formalism and the corresponding evaluation methods into commercial trace analysis and test tools which are used to examine measurement data from the industrial automation and automotive domains.作者: diathermy 時(shí)間: 2025-3-27 23:06 作者: Ischemia 時(shí)間: 2025-3-28 04:30
Conference proceedings 2013 in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program ins作者: adulterant 時(shí)間: 2025-3-28 10:05
Temporal Monitors for TinyOS,tically translated into deterministic state-machine monitors and encoded in nesC. We focus on quantifying the added (i) memory and (ii) computational overhead of this embedded checker and identify practical upper bounds with runtime checking on mainstream embedded platforms.作者: galley 時(shí)間: 2025-3-28 12:49
Real-Time Runtime Verification on Chip,Since operator. This result is promising with respect to a non-interfering monitoring approach that evaluates real-time specifications during the execution of the system-under-test. The resulting hardware blocks are reconfigurable and have applications in prototyping and runtime verification of embedded real-time systems.作者: orient 時(shí)間: 2025-3-28 17:46
Maximal Causal Models for Sequentially Consistent Systems,cannot generate the newly introduced trace. Thus, the maximal sound model has the property that it comprises . traces which . programs that can generate the original trace can also generate. The existence of such a model is of great theoretical value as it can be used to prove the soundness of non-maximal, and thus smaller, causal models.作者: DEMUR 時(shí)間: 2025-3-28 19:17
Monitoring Compliance Policies over Incomplete and Disagreeing Logs,plicitly reason about incomplete knowledge and handle disagreements. Furthermore, we present a monitoring algorithm for an expressive fragment of our policy language. We illustrate through examples how our approach extends compliance monitoring to systems with logging failures and disagreements.作者: 宿醉 時(shí)間: 2025-3-29 02:11
Conference proceedings 2013trumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.作者: 發(fā)出眩目光芒 時(shí)間: 2025-3-29 06:06 作者: 易于出錯(cuò) 時(shí)間: 2025-3-29 07:14
Jiri Simsa,Randy Bryant,Garth Gibson,Jason Hickeyarchers specializing in the design and application of heteromagnetic materials and devices...Alexander A. Ignatiev is author of. Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films (Springer, 2009)..978-1-4899-8972-7978-1-4419-6002-3作者: GULF 時(shí)間: 2025-3-29 12:18 作者: PSA-velocity 時(shí)間: 2025-3-29 19:26 作者: homeostasis 時(shí)間: 2025-3-29 21:38 作者: chronology 時(shí)間: 2025-3-30 03:34
Jon Eyolfson,Patrick Lamarchers specializing in the design and application of heteromagnetic materials and devices...Alexander A. Ignatiev is author of. Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films (Springer, 2009)..978-1-4899-8972-7978-1-4419-6002-3作者: 離開真充足 時(shí)間: 2025-3-30 06:26 作者: bifurcate 時(shí)間: 2025-3-30 09:14 作者: 匍匐 時(shí)間: 2025-3-30 16:19 作者: 豐滿有漂亮 時(shí)間: 2025-3-30 18:15
Doina Bucurarchers specializing in the design and application of heteromagnetic materials and devices...Alexander A. Ignatiev is author of. Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films (Springer, 2009)..978-1-4899-8972-7978-1-4419-6002-3作者: Compass 時(shí)間: 2025-3-30 22:25
Thomas Reinbacher,Matthias Függer,J?rg Brauerarchers specializing in the design and application of heteromagnetic materials and devices...Alexander A. Ignatiev is author of. Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films (Springer, 2009)..978-1-4899-8972-7978-1-4419-6002-3作者: 可觸知 時(shí)間: 2025-3-31 02:46
Aouatef Mrad,Samatar Ahmed,Sylvain Hallé,éric Beaudetarchers specializing in the design and application of heteromagnetic materials and devices...Alexander A. Ignatiev is author of. Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films (Springer, 2009)..978-1-4899-8972-7978-1-4419-6002-3作者: Concerto 時(shí)間: 2025-3-31 05:26 作者: 到婚嫁年齡 時(shí)間: 2025-3-31 11:58
Traian Florin ?erb?nu??,Feng Chen,Grigore Ro?uarchers specializing in the design and application of heteromagnetic materials and devices...Alexander A. Ignatiev is author of. Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films (Springer, 2009)..978-1-4899-8972-7978-1-4419-6002-3作者: 修飾語(yǔ) 時(shí)間: 2025-3-31 14:31
David Basin,Felix Klaedtke,Srdjan Marinovic,Eugen Z?linescuarchers specializing in the design and application of heteromagnetic materials and devices...Alexander A. Ignatiev is author of. Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films (Springer, 2009)..978-1-4899-8972-7978-1-4419-6002-3作者: Project 時(shí)間: 2025-3-31 17:30
Ezio Bartocci,Radu Grosu,Atul Karmarkar,Scott A. Smolka,Scott D. Stoller,Erez Zadok,Justin Seysterarchers specializing in the design and application of heteromagnetic materials and devices...Alexander A. Ignatiev is author of. Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films (Springer, 2009)..978-1-4899-8972-7978-1-4419-6002-3作者: Incorruptible 時(shí)間: 2025-3-31 23:40 作者: Extemporize 時(shí)間: 2025-4-1 04:57 作者: Exclaim 時(shí)間: 2025-4-1 07:01 作者: ALLEY 時(shí)間: 2025-4-1 11:07 作者: 挑剔小責(zé) 時(shí)間: 2025-4-1 16:34
