io-port.net

io-port 06098406 Talpin, Jean-Pierre; Ouy, Julien; Gautier, Thierry; Besnard, Loïc; Le Guernic, Paul

Compositional design of isochronous systems. (English)

Sci. Comput. Program. 77, No. 2, 113-128 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098405 Ghosal, Arkadeb; Iercan, Daniel; Kirsch, Christoph M.; Henzinger, Thomas A.; Sangiovanni-Vincentelli, Alberto

Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. (English)

Sci. Comput. Program. 77, No. 2, 96-112 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06098404 Ryssel, Uwe; Ploennigs, Joern; Kabitzsch, Klaus

Automatic library migration for the generation of hardware-in-the-loop models. (English)

Sci. Comput. Program. 77, No. 2, 83-95 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072810 Zaidman, Andy (ed.); Antoniol, Giuliana (ed.)

Part special issue: Reverse engineering (WCRE 2009). Selected papers based on the presentations at the 16th working conference on reverse engineering, Lille, France, October 13‒16, 2009. (English)

Sci. Comput. Program. 77, No. 6, 741-776 (2012).

4

PDF XML AMS-TeX TEXT BIBTeX

io-port 06059162 Papanikolaou, Nikolaos; Creese, Sadie; Goldsmith, Michael

Refinement checking for privacy policies. (English)

Sci. Comput. Program. 77, No. 10-11, 1198-1209 (2012).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059161 Palikareva, Hristina; Ouaknine, Joël; Roscoe, A.W.

SAT-solving in CSP trace refinement. (English)

Sci. Comput. Program. 77, No. 10-11, 1178-1197 (2012).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059160 Miyazawa, Alvaro; Cavalcanti, Ana

Refinement-oriented models of Stateflow charts. (English)

Sci. Comput. Program. 77, No. 10-11, 1151-1177 (2012).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059159 Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. (English)

Sci. Comput. Program. 77, No. 10-11, 1122-1150 (2012).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059158 Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo

Exploiting step semantics for efficient bounded model checking of asynchronous systems. (English)

Sci. Comput. Program. 77, No. 10-11, 1095-1121 (2012).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059157 Mateescu, Radu; Wijs, Anton

Sequential and distributed on-the-fly computation of weak tau-confluence. (English)

Sci. Comput. Program. 77, No. 10-11, 1075-1094 (2012).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059156 Affeldt, Reynald; Nowak, David; Yamada, Kiyoshi

Certifying assembly with formal security proofs: the case of BBS. (English)

Sci. Comput. Program. 77, No. 10-11, 1058-1074 (2012).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059155 Narkawicz, Anthony; Muñoz, César; Dowek, Gilles

Provably correct conflict prevention bands algorithms. (English)

Sci. Comput. Program. 77, No. 10-11, 1039-1057 (2012).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059154 Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao

Automated verification of shape, size and bag properties via user-defined predicates in separation logic. (English)

Sci. Comput. Program. 77, No. 9, 1006-1036 (2012).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059153 Cervelle, Julien; Forax, Rémi; Loyauté, Gautier; Roussel, Gilles

Banzai+Tatoo: using cutting-edge parsers for implementing high-performance servers. (English)

Sci. Comput. Program. 77, No. 9, 990-1005 (2012).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059152 Biggar, Paul; De Vries, Edsko; Gregg, David

A practical solution for achieving language compatibility in scripting language compilers. (English)

Sci. Comput. Program. 77, No. 9, 971-989 (2012).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059151 Bettenburg, Nicolas; Shang, Weiyi; Ibrahim, Walid M.; Adams, Bram; Zou, Ying; Hassan, Ahmed E.

An empirical study on inconsistent changes to code clones at the release level. (English)

Sci. Comput. Program. 77, No. 6, 760-776 (2012).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059150 Lo, David; Ramalingam, G.; Ranganath, Venkatesh-Prasad; Vaswani, Kapil

Mining quantified temporal rules: formalism, algorithms, and evaluation. (English)

Sci. Comput. Program. 77, No. 6, 743-759 (2012).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059149 Ritson, Carl G.; Sampson, Adam T.; Barnes, Frederick R.M.

Multicore scheduling for lightweight communicating processes. (English)

Sci. Comput. Program. 77, No. 6, 727-740 (2012).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059148 Navabi, Armand; Zhang, Xiangyu; Jagannathan, Suresh

Dependence analysis for safe futures. (English)

Sci. Comput. Program. 77, No. 6, 707-726 (2012).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059147 Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra

A model of context-dependent component connectors. (English)

Sci. Comput. Program. 77, No. 6, 685-706 (2012).

20

PDF XML AMS-TeX TEXT BIBTeX DOI