International Journal on Software Tools for Technology Transfer

View Statistics Email Alert RSS Feed

Journal description

Title Titel
International Journal on Software Tools for Technology Transfer
 
e-ISSN
1433-2787
 
ISSN
1433-2779
 
Publisher Herausgeber
SPRINGER HEIDELBERG
 

Publications Publikationen

Filter:
Subject:  Software

Results 1-8 of 8 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schreiner, Dietmar ; Barany, Gergö ; Schordan, Markus ; Knoop, Jens Comparison of type-based and alias-based component recognition for embedded systems softwareArtikel Article 2013
2Bartocci-2021-International Journal on Software Tools for Technology Tran...-vor.pdf.jpgBartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan CPSDebug: Automatic Failure Explanation in CPS ModelsArtikel Article Oct-2021
3Bauer, Andreas ; Leucker, Martin ; Schallhart, Christian ; Tautschnig, Michael Don't care in SMT---Building flexible yet efficient abstraction/refinement solversArtikel Article 2010
4Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting safe thread schedules from incomplete model checking resultsArtikel Article 2020
5Gurung, Amit ; Ray, Rajarshi ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu Parallel reachability analysis of hybrid systems in XSpeedArtikel Article 2019
6Lisper, Björn ; Ermedahl, Andreas ; Schreiner, Dietmar ; Knoop, Jens ; Gliwa, Peter Practical Experiences of Applying Source-level WCET Flow Analysis to Industrial CodeArtikel Article 2013
7Huang, Xiaowan ; Seyster, Justin ; Callanan, Sean ; Dixit, Ketan ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez Software monitoring with controllable overheadArtikel Article 2012
8Tschapeller, Wolfgang ; Bühlmann, Vera Where are the foundations of a hanging structure?Artikel Article 2020