Trace Checking with Real−Time Specifications

Trace Checking with Real−Time Specifications

Bibliographic Details
Main Authors:	Deutschmann, R, Fruth, M, Reichel, H, Reuss, H
Format:	Conference item
Published:	2004

Similar Items

Model Checking in an Industrial Environment
by: Hensel, U, et al.
Published: (2003)

Equivalence checking using trace partitioning
by: Mukherjee, R, et al.
Published: (2015)

Optimizing ZigBee Security using Stochastic Model Checking
by: Yüksel, E, et al.
Published: (2010)

Real-time model checking: Algorithms and complexity
by: Worrell, J, et al.
Published: (2008)

On expressiveness and complexity in real-time model checking
by: Bouyer, P, et al.
Published: (2008)

Real-Time Model-Checking: Parameters everywhere
by: Veronique Bruyere, et al.
Published: (2007-02-01)

Neue Absicherungsstrategien für Steuergerätesoftware
by: Deutschmann, R, et al.
Published: (2010)

Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol
by: Fruth, M
Published: (2006)

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications
by: Erika Ábrahám, et al.
Published: (2010-09-01)

Model Checking Properties on Reduced Trace Systems
by: Antonella Santone, et al.
Published: (2014-07-01)

Proving safety with trace automata and bounded model checking
by: Kroening, D, et al.
Published: (2015)

CaVi: Simulation and Model Checking for Wireless Sensor Networks
by: Boulis, A, et al.
Published: (2008)

Efficient CTMC Model Checking of Linear Real−Time Objectives
by: Barbot, B, et al.
Published: (2011)

Health checks--time to check out?
by: Mant, D
Published: (1994)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
by: Taolue Chen, et al.
Published: (2011-03-01)

Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
by: Jin Hyun Kim, et al.
Published: (2021-01-01)

Model Checking for Real-Time Attack Detection in Water Distribution Systems
by: Francesco Mercaldo, et al.
Published: (2022-03-01)

Parallel ray tracing for real time animation
by: Perales, Remigio
Published: (2007)

Real-Time Monitoring of Trace Gas Concentrations in Syngas
by: Herbig J., et al.
Published: (2013-08-01)

Exact acceleration of complex real-time model checking based on overlapping cycle
by: Guoqing Wang, et al.
Published: (2020-05-01)

An Event-Specific Real-Time PCR Method for Measuring Transgenic Lysozyme Goat Content in Trace Samples
by: Wenting Xu, et al.
Published: (2021-04-01)

Can member check be verified in real time? introducing ARC (Asking, Record, Confirm) for member checking validation strategy in qualitative research
by: Mohd Noor, Mohd Zairul
Published: (2021)

Finitary refinement checks for infinitary specifications
by: Roscoe, A
Published: (2004)

Using specifications to check source code
by: Evans, David Elliot, 1971-
Published: (2007)

Automatic Generation and Checking of Program Specifications
by: Nimmer, Jeremy
Published: (2023)

Automatic generation and checking of program specifications
by: Nimmer, Jeremy W. (Jeremy William), 1978-
Published: (2014)

Automatic Generation and Checking of Program Specifications
by: Nimmer, Jeremy W., et al.
Published: (2023)

Using Specifications to Check Source Code
by: Evans, David
Published: (2023)

Review of Real-Time Ray Tracing Technique Research
by: YAN Run, HUANG Libo, GUO Hui, WANG Yongxin, ZHANG Xincheng, ZHANG Hongru
Published: (2023-02-01)

Smart Collection of Real-Time Vehicular Mobility Traces
by: Nisrine Ibadah, et al.
Published: (2018-08-01)

Automated nucleic acid chain tracing in real time
by: Kevin Cowtan
Published: (2014-11-01)

Active learning of abstract system models from traces using model checking
by: Yogananda Jeppu, N, et al.
Published: (2022)

DTrace: fine-grained and efficient data integrity checking with hardware instruction tracing
by: Xiayang Wang, et al.
Published: (2019-01-01)

Checking noninterference in the timed world
by: Roscoe, A, et al.
Published: (2013)

Checking noninterference in Timed CSP
by: Roscoe, A, et al.
Published: (2013)

Model checking Timed CSP
by: Armstrong, P, et al.
Published: (2012)

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption
by: Roscoe, A, et al.
Published: (2004)

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
by: Christian Krause, et al.
Published: (2011-11-01)

<i>TraceAll</i>: A Real-Time Processing for Contact Tracing Using Indoor Trajectories
by: Louai Alarabi, et al.
Published: (2021-05-01)

Human study on cancer diagnostic probe (CDP) for real‐time excising of breast positive cavity side margins based on tracing hypoxia glycolysis; checking diagnostic accuracy in non‐neoadjuvant cases
by: Zohreh Sadat Miripour, et al.
Published: (2022-04-01)