| 2005 |
|---|
| 11 | EE | Catalin Meirosu,
Piotr Golonka,
Andreas Hirstius,
Stefan Stancu,
Bob Dobinson,
Erik Radius,
Antony Antony,
Freek Dijkstra,
Johan Blom,
Cees de Laat:
Native 10 Gigabit Ethernet experiments over long distances.
Future Generation Comp. Syst. 21(4): 457-468 (2005) |
| 10 | EE | Antony Antony,
Johan Blom,
Cees de Laat,
Jason Lee:
Exploring practical limitations of TCP over transatlantic networks.
Future Generation Comp. Syst. 21(4): 489-499 (2005) |
| 9 | EE | Robert L. Grossman,
Yunhong Gu,
Xinwei Hong,
Antony Antony,
Johan Blom,
Freek Dijkstra,
Cees de Laat:
Teraflows over Gigabit WANs with UDT.
Future Generation Comp. Syst. 21(4): 501-513 (2005) |
| 2004 |
|---|
| 8 | EE | Johan Blom,
Anders Hessel,
Bengt Jonsson,
Paul Pettersson:
Specifying and Generating Test Cases Using Observer Automata.
FATES 2004: 125-139 |
| 2003 |
|---|
| 7 | EE | Johan Blom,
Bengt Jonsson:
Automated test generation for industrial Erlang applications.
Erlang Workshop 2003: 8-14 |
| 6 | EE | Wim Sjouw,
Antony Antony,
Johan Blom,
Cees de Laat,
Jason Lee:
TCP Behavior on Transatlantic Lambda's.
European Across Grids Conference 2003: 282-290 |
| 5 | EE | Antony Antony,
Johan Blom,
Cees de Laat,
Jason Lee,
Wim Sjouw:
Microscopic examination of TCP flows over transatlantic links.
Future Generation Comp. Syst. 19(6): 1017-1029 (2003) |
| 1997 |
|---|
| 4 | | Johan Blom:
Formalisation of Requirements with Emphasis on Feature Interaction Detection.
FIW 1997: 61-77 |
| 1995 |
|---|
| 3 | | Johan Blom,
Roland N. Bol,
Lars Kempe:
Automatic Detection of Feature Interactions in Temporal Logic.
FIW 1995: 1-19 |
| 1994 |
|---|
| 2 | | Johan Blom,
Bengt Jonsson,
Lars Kempe:
Using temporal logic for modular specification of telephone services.
FIW 1994: 197-216 |
| 1 | | Johan Blom,
Bengt Jonsson:
Constraint Oriented Temporal Logic Specification.
Formal Systems Specification 1994: 161-182 |
