io-port.net

io-port 05781781 Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico

Oris: a tool for modeling, verification and evaluation of real-time systems. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 5, 391-403 (2010).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781780 Bakewell, Adam; Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko

Data-abstraction refinement: a game semantic approach. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 5, 373-389 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781779 Krahn, Holger; Rumpe, Bernhard; Völkel, Steven

MontiCore: a framework for compositional development of domain specific languages. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 5, 353-372 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781778 Beaudenon, Vincent; Encrenaz, Emmanuelle; Taktak, Sami

Data decision diagrams for Promela systems analysis. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 5, 337-352 (2010).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781777 Simmonds, Jocelyn; Davies, Jessica; Gurfinkel, Arie; Chechik, Marsha

Exploiting resolution proofs to speed up LTL vacuity detection for BMC. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 5, 319-335 (2010).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781776 Mader, Angelika; Bohnenkamp, Henrik; Usenko, Yaroslav S.; Jansen, David N.; Hurink, Johann; Hermanns, Holger

Synthesis and stochastic assessment of cost-optimal schedules. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 5, 305-318 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781775 Geiger, Leif; Zündorf, Albert

Fujaba case studies for GraBaTs 2008: lessons learned. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 287-304 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781774 Moha, Naouel; Sen, Sagar; Faucher, Cyril; Barais, Olivier; Jézéquel, Jean-Marc

Evaluation of Kermeta for solving graph-based problems. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 273-285 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781773 Jakumeit, Edgar; Buchwald, Sebastian; Kroll, Moritz

GrGen.NET. The expressive, convenient and fast graph rewrite system. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 263-271 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781772 Biermann, Enrico; Ermel, Claudia; Lambers, Leen; Prange, Ulrike; Runge, Olga; Taentzer, Gabriele

Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 245-261 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781771 Mészáros, Tamás; Mezei, Gergely; Levendovszky, Tihamér; Asztalos, Márk

Manual and automated performance optimization of model transformation systems. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 231-243 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781770 Horváth, Ákos; Bergmann, Gábor; Ráth, István; Varró, Dániel

Experimental assessment of combining pattern matching strategies with VIATRA2. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 211-230 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781769 Muliawan, Olaf; Janssens, Dirk

Model refactoring using MoTMoT. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 201-209 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781768 Pérez, Javier; Crespo, Yania; Hoffmann, Berthold; Mens, Tom

A case study to evaluate the suitability of graph transformation tools for program refactoring. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 183-199 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781767 Rensink, Arend; Van Gorp, Pieter

Graph transformation tool contest 2008. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 171-181 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781766 Evangelista, Sami; Pajault, Christophe

Solving the ignoring problem for partial order reduction. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 2, 155-170 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781765 Barnat, J.; Brim, L.; Ročkai, P.

Scalable shared memory LTL model checking. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 2, 139-153 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781764 Rozier, Kristin Y.; Vardi, Moshe Y.

LTL satisfiability checking. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 2, 123-137 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781763 Yang, Yu; Chen, Xiaofang; Gopalakrishnan, Ganesh; Kirby, Robert M.

Distributed dynamic partial order reduction. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 2, 113-122 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05781762 Weber, Michael

An embeddable virtual machine for state space generation. (English)

Int. J. Softw. Tools Technol. Transf. 12, No. 2, 97-111 (2010).

20

PDF XML AMS-TeX TEXT BIBTeX DOI