ISOLA 2010 - PDF Preprint Papers

ISOLA 2010 International Symposium on Leveraging Applications of Formal Methods

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ISOLA-2010 Paper

click to vote

ISOLA
2010
Springer

164views Formal Methods» more ISOLA 2010»

Context-Sensitivity in IPET for Measurement-Based Timing Analysis

13 years 9 months ago

Download www.vmars.tuwien.ac.at

Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...

Michael Zolda, Sven Bünte, Raimund Kirner

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	164	Context-Sensitivity in IPET for Measurement-Based Timing Analysis	claim
2	163	Flow Control with (Min, +) Algebra	claim
3	162	Modeling and Reasoning about Service Behaviors and Their Compositions	claim
4	161	Design Choices for High-Confidence Distributed Real-Time Software	claim
5	161	Analysing Message Sequence Graph Specifications	claim
6	155	Worst-Case Analysis of Heap Allocations	claim
7	152	WOMM: A Weak Operational Memory Model	claim
8	150	HATS: Highly Adaptable and Trustworthy Software Using Formal Methods	claim
9	145	Ten Years of Performance Evaluation for Concurrent Systems Using CADP	claim
10	144	A Case Study in Model-Based Adaptation of Web Services	claim
11	143	Towards an Architecture for Runtime Interoperability	claim
12	142	Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset	claim
13	136	An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks	claim
14	136	A Memory Model for Static Analysis of C Programs	claim
15	134	A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems	claim
16	133	Performance Prediction of Service-Oriented Systems with Layered Queueing Networks	claim
17	131	A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL	claim
18	130	Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns	claim
19	130	A Linked Data Approach to Sharing Workflows and Workflow Results	claim
20	130	Towards a Connector Algebra	claim
21	128	Towards Dynamic Adaptation of Probabilistic Systems	claim
22	128	LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling	claim
23	126	Seamless Model-Driven Development Put into Practice	claim
24	125	Dependability Analysis and Verification for Connected Systems	claim
25	124	Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins	claim
26	121	Inferring Compact Models of Communication Protocol Entities	claim
27	116	Towards More Adaptive Voice Applications	claim
28	116	On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring	claim
29	112	Task Forces in the EternalS Coordination Action	claim
30	110	A Theory of Mediators for Eternal Connectors	claim
31	103	Inference and Abstraction of the Biometric Passport	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers