default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 15
Volume 15, Number 1, February 2013
- Björn Lisper:
The ALL-TIMES project: introduction and overview. 1-8 - Nicholas Merriam, Peter Gliwa, Ian Broster:
Measurement and tracing methods for timing analysis - Independently and in combination with modelling methods. 9-28 - Reinhold Heckmann, Christian Ferdinand, Daniel Kästner, Stefana Nenova:
Architecture exploration and timing estimation during early design phases. 29-39 - Dietmar Schreiner, Gergö Barany, Markus Schordan, Jens Knoop:
Comparison of type-based and alias-based component recognition for embedded systems software. 41-52 - Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa:
Practical experiences of applying source-level WCET flow analysis to industrial code. 53-63 - Nicholas Merriam, Björn Lisper:
Estimation of productivity increase for timing analysis tool chains. 65-84
Volume 15, Number 2, April 2013
- Parosh Aziz Abdulla, K. Rustan M. Leino:
Tools for software verification - Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems. 85-88 - Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
CADP 2011: a toolbox for the construction and analysis of distributed processes. 89-107 - Yih-Kuen Tsay
, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang, Chi-Shiang Liu:
Büchi Store: an open repository of ω-automata. 109-123 - Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio:
Model-checking web services business activity protocols. 125-147
Volume 15, Number 3, June 2013
- Saddek Bensalem, Axel Legay, Marius Bozga:
Rigorous embedded design: challenges and perspectives. 149-154 - Kai Lampka, Simon Perathoner, Lothar Thiele:
Component-based system design: analytic real-time interfaces for state-based component implementations. 155-170 - Jonas Rox, Rolf Ernst:
Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems. 171-187 - Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova:
Temporal isolation in real-time systems: the VBS approach. 189-209 - Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian:
Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. 211-228 - Ismail Assayad, Alain Girault, Hamoudi Kalla:
Tradeoff exploration between reliability, power consumption, and execution time for embedded systems - The TSH tricriteria scheduling heuristic. 229-245 - Oded Maler, Dejan Nickovic:
Monitoring properties of analog and mixed-signal circuits. 247-268 - Fred Houben, Georgeta Igna, Frits W. Vaandrager:
Modeling task systems using parameterized partial orders. 269-286
Volume 15, Number 4, August 2013
- Stefan Kowalewski, Anna Philippou, Jörg Brauer:
Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. 287-289 - Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
From tests to proofs. 291-303 - Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Falsification of LTL safety properties in hybrid systems. 305-320 - Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta:
Static analysis for concurrent programs with applications to data race detection. 321-336 - Viet Yen Nguyen, Theo C. Ruys:
Selected dynamic issues in software model checking. 337-362 - Massimo Bombino, Patrizia Scandurra:
A model-driven co-simulation environment for heterogeneous systems. 363-374 - Islam Abdelhalim, Steve A. Schneider, Helen Treharne:
An integrated framework for checking the behaviour of fUML models using CSP. 375-396
Volume 15, Numbers 5-6, October 2013
- Rastislav Bodík, Barbara Jobstmann:
Algorithmic program synthesis: introduction. 397-411 - Martin T. Vechev, Eran Yahav, Greta Yorsh:
Abstraction-guided synthesis of synchronization. 413-431 - Saqib Sohail, Fabio Somenzi:
Safety first: a two-stage algorithm for the synthesis of reactive systems. 433-454 - Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Functional synthesis for linear arithmetic and sets. 455-474 - Armando Solar-Lezama:
Program sketching. 475-495 - Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster:
Template-based program verification and program synthesis. 497-518 - Bernd Finkbeiner, Sven Schewe:
Bounded synthesis. 519-539 - Emmanuel Filiot, Naiyong Jin, Jean-François Raskin:
Exploiting structure in LTL synthesis. 541-561 - Robert Könighofer, Georg Hofferek, Roderick Bloem:
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. 563-583 - Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger:
Synthesis of AMBA AHB from formal specification: a case study. 585-601 - Yoad Lustig, Moshe Y. Vardi:
Synthesis from component libraries. 603-618
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-24 01:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
