Volume 10,
Number 1,
January 2008
- Kurt Jensen:
Special section on Coloured Petri Nets.
1-3
Electronic Edition (link) BibTeX
- Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch:
Model-based development of a course of action scheduling tool.
5-14
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Anne Rozinat, R. S. Mans, Minseok Song, Wil M. P. van der Aalst:
Discovering colored Petri nets from event logs.
57-74
Electronic Edition (link) BibTeX
- Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis:
Modelling defence logistics networks.
75-93
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Volume 10,
Number 2,
March 2008
Volume 10,
Number 3,
June 2008
- Wilhelm Schäfer, Matthias Tichy:
Introduction to the special section on self-optimizing mechatronic systems.
205-206
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Katrin Witting, Bernd Schulz, Michael Dellnitz, Joachim Böcker, Norbert Fröhleke:
A new approach for online multiobjective optimization of mechatronic systems.
223-231
Electronic Edition (link) BibTeX
- Benno Stein:
Coping with large design spaces: design problem solving in fluidic engineering.
233-245
Electronic Edition (link) BibTeX
- Mircea Trofin, John Murphy:
Static verification of component composition in contextual composition frameworks.
247-261
Electronic Edition (link) BibTeX
- Goran Frehse:
PHAVer: algorithmic verification of hybrid systems past HyTech.
263-279
Electronic Edition (link) BibTeX
Volume 10,
Number 4,
August 2008
Special Section on Advances in Test Automation - the Evolution of TTCN-3
- Ina Schieferdecker, Jens Grabowski:
Introduction to the special section on advances in test automation: the evolution of TTCN-3.
281-283
Electronic Edition (link) BibTeX
- Martin Botteck, Thomas Deiß:
Introduction of TTCN-3 into the product development process: considerations from an electronic devices developer point of view.
285-289
Electronic Edition (link) BibTeX
- Andrej Pietschker:
Automating test automation.
291-295
Electronic Edition (link) BibTeX
- Markus Warken:
From testing to anti-product development.
297-307
Electronic Edition (link) BibTeX
- Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski:
An approach to quality engineering of TTCN-3 test specifications.
309-326
Electronic Edition (link) BibTeX
- Stephan Schulz:
Test suite development with TTCN-3 libraries.
327-336
Electronic Edition (link) BibTeX
- Ariel Sabiguero, Anthony Baire, César Viho:
Automatic CoDec generation to reduce test engineering cost.
337-346
Electronic Edition (link) BibTeX
- Thomas Deiß:
Refactoring and converting a TTCN-2 test suite.
347-352
Electronic Edition (link) BibTeX
- Michael Gläser, Sebastian Müller, Axel Rennoch, Peter Schmitting:
Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing.
353-358
Electronic Edition (link) BibTeX
- George Din:
An IMS Performance Benchmark Implementation based on the TTCN-3 Language.
359-370
Electronic Edition (link) BibTeX
- Bernard Stepien, Liam Peyton, Pulei Xiong:
Framework testing of web applications using TTCN-3.
371-381
Electronic Edition (link) BibTeX
- Ina Schieferdecker, Jürgen Großmann:
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3.
383-400
Electronic Edition (link) BibTeX
Volume 10,
Number 5,
October 2008
Volume 10,
Number 6,
December 2008
Copyright © Sun May 17 00:22:39 2009
by Michael Ley (ley@uni-trier.de)
