default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer (STTT), Volume 10
Volume 10, Number 1, January 2008
- Kurt Jensen:
Special section on Coloured Petri Nets. 1-3 - Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch:
Model-based development of a course of action scheduling tool. 5-14 - Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst
:
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. 15-28 - Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch:
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. 29-56 - Anne Rozinat, R. S. Mans, Minseok Song, Wil M. P. van der Aalst:
Discovering colored Petri nets from event logs. 57-74 - Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis:
Modelling defence logistics networks. 75-93 - Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek:
Protos2CPN: using colored Petri nets for configuring and testing business processes. 95-110
Volume 10, Number 2, March 2008
- Holger Hermanns, Jens Palsberg:
Improving the effectiveness of system verification. 111-112 - Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya:
Efficient guided symbolic reachability using reachability expressions. 113-129 - Alex Groce, Rajeev Joshi:
Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. 131-144 - Atul Gupta, Pankaj Jalote:
An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing. 145-160 - Javier Esparza, Pradeep Kanade, Stefan Schwoon:
A negative result on depth-first net unfoldings. 161-166 - Rachid Hadjidj, Hanifa Boucheneb:
Improving state class constructions for CTL* model checking of time Petri nets. 167-184 - Michael Leuschel, Michael J. Butler:
ProB: an automated analysis toolset for the B method. 185-203
Volume 10, Number 3, June 2008
- Wilhelm Schäfer, Matthias Tichy:
Introduction to the special section on self-optimizing mechatronic systems. 205-206 - Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler:
Tool support for the design of self-optimizing mechatronic multi-agent systems. 207-222 - Katrin Witting, Bernd Schulz, Michael Dellnitz, Joachim Böcker, Norbert Fröhleke:
A new approach for online multiobjective optimization of mechatronic systems. 223-231 - Benno Stein:
Coping with large design spaces: design problem solving in fluidic engineering. 233-245 - Mircea Trofin, John Murphy:
Static verification of component composition in contextual composition frameworks. 247-261 - Goran Frehse:
PHAVer: algorithmic verification of hybrid systems past HyTech. 263-279
Volume 10, Number 4, August 2008
- Ina Schieferdecker, Jens Grabowski:
Introduction to the special section on advances in test automation: the evolution of TTCN-3. 281-283 - Martin Botteck, Thomas Deiß:
Introduction of TTCN-3 into the product development process: considerations from an electronic devices developer point of view. 285-289 - Andrej Pietschker:
Automating test automation. 291-295 - Markus Warken:
From testing to anti-product development. 297-307 - Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski:
An approach to quality engineering of TTCN-3 test specifications. 309-326 - Stephan Schulz:
Test suite development with TTCN-3 libraries. 327-336 - Ariel Sabiguero, Anthony Baire, César Viho:
Automatic CoDec generation to reduce test engineering cost. 337-346 - Thomas Deiß:
Refactoring and converting a TTCN-2 test suite. 347-352 - Michael Gläser, Sebastian Müller, Axel Rennoch, Peter Schmitting:
Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing. 353-358 - George Din:
An IMS Performance Benchmark Implementation based on the TTCN-3 Language. 359-370 - Bernard Stepien, Liam Peyton, Pulei Xiong:
Framework testing of web applications using TTCN-3. 371-381 - Ina Schieferdecker, Jürgen Großmann:
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3. 383-400
Volume 10, Number 5, October 2008
- Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci:
FAST: acceleration from theory to practice. 401-424 - Jörn Ossowski, Christel Baier:
A uniform framework for weighted decision diagrams and its implementation. 425-441 - Radek Pelánek:
Properties of state spaces and their applications. 443-454 - Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora:
FTSyn: a framework for automatic synthesis of fault-tolerance. 455-471
Volume 10, Number 6, December 2008
- Alessandro Marchetto:
Special section on testing and security of Web systems. 473-476 - Alessandro Marchetto, Filippo Ricca, Paolo Tonella:
A case study-based comparison of web testing techniques applied to AJAX web applications. 477-492 - Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè:
Healing Web applications through automatic workarounds. 493-502 - Graham Hughes, Tevfik Bultan:
Automated verification of access control policies using a SAT solver. 503-520 - Sebastian Kinder, Rolf Drechsler:
Modeling and proving functional completeness in formal verification of counting heads. 521-534
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 2024-10-31 20:17 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:
