| 1998 | Distributed Compression of Live Video - An Application for Active Networks. | Robert Hess, Dagmar Geske, Sascha Kmmel, Henrik Thuermer |
| 1998 | Value-Added Services in Industrial Automation. | Andr Hergenhan, Christoph Weiler, Karlheinz Wei, Wolfgang Rosenstiel |
| 1998 | The NetAcademy - A New Concept for Online Publishing and Knowledge Management. | Siegfried Handschuh, Ulrike Lechner, David-Michael Lincke, Beat F. Schmid, Petra Schubert, Dorian Selz, Katarina Stanoevska-Slabeva |
| 1998 | Automated Verification of Szymanski's Algorithm. | E. Pascal Gribomont, Guy Zenner |
| 1998 | Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. | Bernd Grahlmann |
| 1998 | OPEN/CSAR: An OPen Software Architecture for Verification, Simulation, and Testing. | Hubert Garavel |
| 1998 | Testing IN Protocol Implementation. | P. Florschtz |
| 1998 | Open Switching for ATM Networks. | Manuel Duque-Antn, Ralf Gnther, Raschid Karabek, Thomas Meuser, Josef Wasel |
| 1998 | INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing. | Hyunsook Do, Seongyong Bae, Sangki Kim |
| 1998 | Convergence of Telecommunications and Computing on Networking Models for Integrated Services and Applications. | Maurizio Decina |
| 1998 | Model Checking of Real-Time Reachability Properties Using Abstractions. | Conrado Daws, Stavros Tripakis |
| 1998 | Set-Based Analysis of Reactive Infinite-State Systems. | Witold Charatonik, Andreas Podelski |
| 1998 | Modeling and Verification of SC++ Applications. | Thierry Cattel |
| 1998 | Visualising the Behaviour of Intelligent Networks. | Carla Capellmann, Sren Christensen, Uwe Herzog |
| 1998 | Formal Verification of Pipelined Processors. | Randal E. Bryant |
| 1998 | Tamagotchis Need Not Die - Verification of STATEMENT Design. | Udo Brockmeyer, Gunnar Wittich |
| 1998 | Automatic Error Location for IN Service Definition. | Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo |
| 1998 | A Mobile Broadband Service Switching Point: A New Network Element for Multimedia and Mobile Services. | Donatella Blaiotta, Lorenzo Faglia, Monica Varisco, Lucia Vezzoli |
| 1998 | Deciding Fixed and Non-fixed Size Bit-vectors. | Nikolaj S. Bjrner, Mark C. Pichora |
| 1998 | IN Evolution to Support Mobility in DECT Access Networks. | S. Biacchi, G. Ferrari, Roberta Gobbi |
| 1998 | MESA: Support for Scenario-Based Design of Concurrent Systems. | Hanne Ben-Abdallah, Stefan Leue |
| 1998 | Symbolic Exploration of transition Hierarchies. | Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani |
| 1998 | Agent-Based Data Services in Future IN-Platforms. | Sahin Albayrak, Jens Meinkhn |
| 1998 | Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. | Khalil Ajami, Serge Haddad, Jean-Michel Ili |
| 1998 | Detecting Races in Relay Ladder Logic Programs. | Alexander Aiken, Manuel Fhndrich, Zhendong Su |