Konsta Karsisto

According to our database, Konsta Karsisto authored at least 3 papers between 1996 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Survey of code-size reduction methods.

Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy, André Dolenc, Konsta Karsisto

ACM Comput. Surv., 2003

1996

Visualisation of Reduced Abstracted Behaviour as a Design Tool.

Antti Valmari, Konsta Karsisto, Manu Setälä

Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet.

Konsta Karsisto, Antti Valmari

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996