Johan Blom

According to our database1, Johan Blom authored at least 14 papers between 1993 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Model-Based Protocol Testing in an Erlang Environment.
PhD thesis, 2016

Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2005
Native 10 Gigabit Ethernet experiments over long distances.
Future Generation Comp. Syst., 2005

Teraflows over Gigabit WANs with UDT.
Future Generation Comp. Syst., 2005

Exploring practical limitations of TCP over transatlantic networks.
Future Generation Comp. Syst., 2005

2004
Specifying and Generating Test Cases Using Observer Automata.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003
Microscopic examination of TCP flows over transatlantic links.
Future Generation Comp. Syst., 2003

Automated test generation for industrial Erlang applications.
Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

TCP Behavior on Transatlantic Lambda's.
Proceedings of the Grid Computing, 2003

1997
Formalisation of Requirements with Emphasis on Feature Interaction Detection.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1995
Automatic Detection of Feature Interactions in Temporal Logic.
Proceedings of the Feature Interactions in Telecommunications III, 1995

1994
Using temporal logic for modular specification of telephone services.
Proceedings of the Feature Interactions in Telecommunications Systems, 1994

Constraint Oriented Temporal Logic Specification.
Proceedings of the Formal Systems Specification, 1994

1993
Spatial Derivatives and the Propagation of Noise in Gaussian Scale Space.
J. Visual Communication and Image Representation, 1993


  Loading...