Sciweavers

STTT
2008
88views more  STTT 2008»
13 years 11 months ago
PHAVer: algorithmic verification of hybrid systems past HyTech
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
Goran Frehse
STTT
2008
117views more  STTT 2008»
13 years 11 months ago
An approach to quality engineering of TTCN-3 test specifications
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski
STTT
2008
90views more  STTT 2008»
13 years 11 months ago
A uniform framework for weighted decision diagrams and its implementation
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
Jörn Ossowski, Christel Baier
STTT
2008
134views more  STTT 2008»
13 years 11 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
STTT
2008
74views more  STTT 2008»
13 years 11 months ago
FTSyn: a framework for automatic synthesis of fault-tolerance
Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora
STTT
2008
162views more  STTT 2008»
13 years 11 months ago
Coping with large design spaces: design problem solving in fluidic engineering
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
Benno Stein
STTT
2008
83views more  STTT 2008»
13 years 11 months ago
Automating test automation
Andrej Pietschker
STTT
2008
63views more  STTT 2008»
13 years 11 months ago
From testing to anti-product development
Markus Warken