- Subscribe to this page:
- RSS
- Email Alert
University of Konstanz
(24 results)-
White Papers
Light-Weight End-to-End QoS as DoS Prevention
July 1, 2007, 12:00am PDT
Despite decades of QoS research and many years of DoS defence work, neither group of proponents have been able to get their results included into mainstream Internet service. It seems that demand...
Provided by University of Konstanz
-
White Papers
Public Budget Composition, Fiscal(De)Centralization, And Welfare
July 26, 2007, 12:00am PDT
The authors present a dynamic two-region model with overlapping generations. There are two types of productive public expenditure, education and infrastructure funding, and governments decide...
Provided by University of Konstanz
-
White Papers
Visual Analytics On The Financial Market: Pixel-Based Analysis And Comparison Of Long-Term Investments
April 28, 2008, 12:00am PDT
In this paper, the authors describe solutions how pixel-based visualization techniques can support the decision making process for investors on the financial market. They especially focus on...
Provided by University of Konstanz
-
White Papers
Visualization of Host Behavior for Network Security
May 30, 2008, 12:00am PDT
Monitoring host behavior in a network is one of the most essential tasks in the fields of network monitoring and security since more and more malicious code in the wild internet constantly...
Provided by University of Konstanz
-
White Papers
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
February 14, 2008, 12:00am PST
Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provides a set of modeling...
Provided by University of Konstanz
-
White Papers
CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm
December 20, 2011, 12:00am PST
The diversity of computing platforms is increasing rapidly. In order to allow security applications to run on such diverse platforms, implementing and optimizing the same cryptographic primitives...
Provided by University of Konstanz
-
Whitepapers
Causality Checking for Complex System Models
May 25, 2012, 12:00am PDT
The authors present an approach for the algorithmic computation of causalities in system models that they refer to as causality checking. They are basing their notion of causality on...
Provided by University of Konstanz
-
Whitepapers
Analysis of an Airport Surveillance Radar Using the QuantUM Approach
March 5, 2012, 12:00am PST
The authors report on the modeling and formal analysis of reliability requirements in the context of an Airport Surveillance Radar system using SysML and probabilistic model checking. The system...
Provided by University of Konstanz
-
Whitepapers
Towards Causality Checking for Complex System Models
January 14, 2012, 12:00am PST
With the increasing growth of the size and complexity of modern safety-critical systems, the demand for model based engineering methods that both help in architecting such systems and to asses...
Provided by University of Konstanz
-
Whitepapers
From Probabilistic Counterexamples Via Causality to Fault Trees
June 10, 2011, 12:00am PDT
In recent years, several approaches to generate probabilistic counterexamples have been proposed. The interpretation of stochastic counterexamples, however, continues to be problematic since they...
Provided by University of Konstanz
-
Whitepapers
DiPro - A Tool for Probabilistic Counterexample Generation
May 12, 2011, 12:00am PDT
The computation of counterexamples for probabilistic model checking has been an area of active research over the past years. In spite of the achieved theoretical results in this field, there is no...
Provided by University of Konstanz
-
Whitepapers
Modeling and Analyzing Spike Timing Dependent Plasticity With Linear Hybrid Automata
May 6, 2011, 12:00am PDT
The authors propose a model for synaptic plasticity according to the Spike Timing Dependent Plasticity (STDP) theory using Linear Hybrid Automata (LHA). They first present a compositional LHA...
Provided by University of Konstanz
-
Whitepapers
The QuantUM Approach in the Context of the ISO Standard 26262 for Automotive Systems
February 28, 2011, 12:00am PST
The forthcoming standard ISO 26262 defines processes and techniques in support of a safe design and implementation of automotive systems. The authors comment on the recommendations that this...
Provided by University of Konstanz
-
Whitepapers
QuantUM: Quantitative Safety Analysis of UML Models
February 4, 2011, 12:00am PST
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system...
Provided by University of Konstanz
-
Whitepapers
Quantitative Analysis of UML Models
January 31, 2011, 12:00am PST
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system...
Provided by University of Konstanz
-
Whitepapers
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
September 13, 2010, 12:00am PDT
Asynchronous reactive systems form the basis of a wide range of software systems, for instance in the telecommunications domain. It is highly desirable to rigorously show that these systems are...
Provided by University of Konstanz
-
Whitepapers
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs
June 1, 2010, 12:00am PDT
Currently, no approaches are known that allow for non-termination proofs of concurrent programs which account for asynchronous communication via FIFO message queues. Those programs may be written...
Provided by University of Konstanz
-
Whitepapers
K*: Heuristics-Guided, On-the-Fly k Shortest Paths Search
May 11, 2009, 12:00am PDT
In this paper, the authors consider the K-Shortest-Paths Problem (KSP) which is about finding the k shortest paths from a start vertex s to a target vertex t in a directed weighted graph G for an...
Provided by University of Konstanz
-
Whitepapers
Heuristic Search for Unbounded Executions
May 11, 2009, 12:00am PDT
The authors present a heuristic search based approach to finding un-bounded executions in software models that can be described using Communicating Finite State Machines (CFSMs). This improves the...
Provided by University of Konstanz
-
Whitepapers
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
May 20, 2009, 12:00am PDT
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper, the authors apply directed explicit state space search to discrete- and...
Provided by University of Konstanz
-
Whitepapers
Automated Predicate Abstraction for Real-Time Models
November 17, 2009, 12:00am PST
Model checking has been widely successful in validating and debugging hardware designs and communication protocols. However, state-space explosion is an intrinsic problem which limits the...
Provided by University of Konstanz
-
Whitepapers
Generation of Counterexamples for Model Checking of Markov Decision Processes
July 2, 2009, 12:00am PDT
The practical usefulness of a model checker as a debugging tool relies on its ability to provide diagnostic information, sometimes also referred to as a counterexample. Current stochastic model...
Provided by University of Konstanz
-
Whitepapers
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
June 19, 2009, 12:00am PDT
Failure Mode and Effects Analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does not take the...
Provided by University of Konstanz
-
Whitepapers
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
May 6, 2008, 12:00am PDT
The authors present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this paper is to facilitate the identification of causal factors...
Provided by University of Konstanz
-
Whitepapers
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
May 6, 2008, 12:00am PDT
The authors present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this paper is to facilitate the identification of causal factors...
Provided by University of Konstanz
-
Whitepapers
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
June 19, 2009, 12:00am PDT
Failure Mode and Effects Analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does not take the...
Provided by University of Konstanz
-
Whitepapers
Generation of Counterexamples for Model Checking of Markov Decision Processes
July 2, 2009, 12:00am PDT
The practical usefulness of a model checker as a debugging tool relies on its ability to provide diagnostic information, sometimes also referred to as a counterexample. Current stochastic model...
Provided by University of Konstanz
-
Whitepapers
Automated Predicate Abstraction for Real-Time Models
November 17, 2009, 12:00am PST
Model checking has been widely successful in validating and debugging hardware designs and communication protocols. However, state-space explosion is an intrinsic problem which limits the...
Provided by University of Konstanz
-
Whitepapers
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
May 20, 2009, 12:00am PDT
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper, the authors apply directed explicit state space search to discrete- and...
Provided by University of Konstanz
-
Whitepapers
Heuristic Search for Unbounded Executions
May 11, 2009, 12:00am PDT
The authors present a heuristic search based approach to finding un-bounded executions in software models that can be described using Communicating Finite State Machines (CFSMs). This improves the...
Provided by University of Konstanz
-
Whitepapers
K*: Heuristics-Guided, On-the-Fly k Shortest Paths Search
May 11, 2009, 12:00am PDT
In this paper, the authors consider the K-Shortest-Paths Problem (KSP) which is about finding the k shortest paths from a start vertex s to a target vertex t in a directed weighted graph G for an...
Provided by University of Konstanz
-
Whitepapers
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs
June 1, 2010, 12:00am PDT
Currently, no approaches are known that allow for non-termination proofs of concurrent programs which account for asynchronous communication via FIFO message queues. Those programs may be written...
Provided by University of Konstanz
-
Whitepapers
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
September 13, 2010, 12:00am PDT
Asynchronous reactive systems form the basis of a wide range of software systems, for instance in the telecommunications domain. It is highly desirable to rigorously show that these systems are...
Provided by University of Konstanz
-
Whitepapers
Quantitative Analysis of UML Models
January 31, 2011, 12:00am PST
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system...
Provided by University of Konstanz
-
Whitepapers
QuantUM: Quantitative Safety Analysis of UML Models
February 4, 2011, 12:00am PST
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system...
Provided by University of Konstanz
-
Whitepapers
The QuantUM Approach in the Context of the ISO Standard 26262 for Automotive Systems
February 28, 2011, 12:00am PST
The forthcoming standard ISO 26262 defines processes and techniques in support of a safe design and implementation of automotive systems. The authors comment on the recommendations that this...
Provided by University of Konstanz
-
Whitepapers
Modeling and Analyzing Spike Timing Dependent Plasticity With Linear Hybrid Automata
May 6, 2011, 12:00am PDT
The authors propose a model for synaptic plasticity according to the Spike Timing Dependent Plasticity (STDP) theory using Linear Hybrid Automata (LHA). They first present a compositional LHA...
Provided by University of Konstanz
-
Whitepapers
DiPro - A Tool for Probabilistic Counterexample Generation
May 12, 2011, 12:00am PDT
The computation of counterexamples for probabilistic model checking has been an area of active research over the past years. In spite of the achieved theoretical results in this field, there is no...
Provided by University of Konstanz
-
Whitepapers
From Probabilistic Counterexamples Via Causality to Fault Trees
June 10, 2011, 12:00am PDT
In recent years, several approaches to generate probabilistic counterexamples have been proposed. The interpretation of stochastic counterexamples, however, continues to be problematic since they...
Provided by University of Konstanz
-
Whitepapers
Towards Causality Checking for Complex System Models
January 14, 2012, 12:00am PST
With the increasing growth of the size and complexity of modern safety-critical systems, the demand for model based engineering methods that both help in architecting such systems and to asses...
Provided by University of Konstanz
-
Whitepapers
Analysis of an Airport Surveillance Radar Using the QuantUM Approach
March 5, 2012, 12:00am PST
The authors report on the modeling and formal analysis of reliability requirements in the context of an Airport Surveillance Radar system using SysML and probabilistic model checking. The system...
Provided by University of Konstanz
-
Whitepapers
Causality Checking for Complex System Models
May 25, 2012, 12:00am PDT
The authors present an approach for the algorithmic computation of causalities in system models that they refer to as causality checking. They are basing their notion of causality on...
Provided by University of Konstanz
-
White Papers
CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm
December 20, 2011, 12:00am PST
The diversity of computing platforms is increasing rapidly. In order to allow security applications to run on such diverse platforms, implementing and optimizing the same cryptographic primitives...
Provided by University of Konstanz
-
White Papers
Visual Analytics On The Financial Market: Pixel-Based Analysis And Comparison Of Long-Term Investments
April 28, 2008, 12:00am PDT
In this paper, the authors describe solutions how pixel-based visualization techniques can support the decision making process for investors on the financial market. They especially focus on...
Provided by University of Konstanz
-
White Papers
Public Budget Composition, Fiscal(De)Centralization, And Welfare
July 26, 2007, 12:00am PDT
The authors present a dynamic two-region model with overlapping generations. There are two types of productive public expenditure, education and infrastructure funding, and governments decide...
Provided by University of Konstanz
-
White Papers
Light-Weight End-to-End QoS as DoS Prevention
July 1, 2007, 12:00am PDT
Despite decades of QoS research and many years of DoS defence work, neither group of proponents have been able to get their results included into mainstream Internet service. It seems that demand...
Provided by University of Konstanz
-
White Papers
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
February 14, 2008, 12:00am PST
Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provides a set of modeling...
Provided by University of Konstanz
-
White Papers
Visualization of Host Behavior for Network Security
May 30, 2008, 12:00am PDT
Monitoring host behavior in a network is one of the most essential tasks in the fields of network monitoring and security since more and more malicious code in the wild internet constantly...
Provided by University of Konstanz
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
