Concepedia

Jari Koistinen

JK

7

Publications

390

Citations

7

H-Index

1995

Active since

Affiliations

Hewlett-Packard (United States)(Current)

Jari Koistinen is an author at Hewlett-Packard (United States) specializing in software design, engineering, and system software.

Top concepts

EngineeringSoftware DesignFormal MethodsSystem SoftwareComputer ScienceFormal VerificationDistributed SystemsSystems EngineeringDesignSoftware Testing

Publications per year

1995–2002

7

Publications

7

Quality-of-service specification in distributed object systems

Svend Frølund, Jari Koistinen · Distributed Systems Engineering · 1998 · 191 citations · Full text

Software Maintenance, Distributed Object Systems, Engineering +23

Quality of services specification in distributed object systems design

Svend Frølund, Jari Koistinen · USENIX Conference on Object-Oriented Technologies and Systems · 1998 · 73 citations

Engineering, Object-oriented Modeling, Software Engineering +19

Worth-based multi-category quality-of-service negotiation in distributed object infrastructures

Jari Koistinen, A. Seetharaman · 2002 · 34 citations

Negotiation, Engineering, Qos Requirements +18

Quality of service aware distributed object systems

Svend Frølund, Jari Koistinen · 1999 · 32 citations

Cluster Computing, Engineering, Satisfactory Qos +20

Formal design constraints

Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach · 1996 · 31 citations

Mathematical Programming, Engineering, Software Engineering +21

Rows per page

1–5 of 7