Reino Kurki-Suonio - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2007

University Education on Computers - Summary of a Panel DiscussionReino Kurki-Suonio, Oddur Benediktsson, Janis Bubenko, Ingemar Dahlstrand, Christian Gram, John Impagliazzo. hinc 2009: 310-321 [doi]

2006

On Horizontal Specification Architectures and Their Aspect-Oriented ImplementationsTimo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen. TAOSD, :1-29, 2006. [doi]

2005

A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic BehaviorsReino Kurki-Suonio. Texts in Theoretical Computer Science. An EATCS Series, Springer, 2005. [doi]

2003

Birth of Computer Science Education and Research in FinlandReino Kurki-Suonio. hinc 2005: 111-121 [doi]

Action systems in incremental and aspect-oriented modelingReino Kurki-Suonio. dc, 16(2-3):201-217, 2003. [doi]

1999

Component and Interface Refinement in Closed-System SpecificationsReino Kurki-Suonio. FM 1999: 134-154 [doi]

1998

Real Time in a TLA-Based Theory of Reactive SystemsReino Kurki-Suonio, Mika Katara. isorc 1998: 186-195 [doi]

Harnessing the Power of InteractionReino Kurki-Suonio, Tommi Mikkonen. ejc 1998: 1-11

Abstractions of Distributed Cooperation, their Refinement and ImplementationReino Kurki-Suonio, Tommi Mikkonen. pdse 1998: 94-102 [doi]

1997

Liberating Object-Oriented Modeling from Programming-Level AbstractionsReino Kurki-Suonio, Tommi Mikkonen. ECOOPW 1998: 195-199 [doi]

1994

Incremental Specification with Joint Actions: The RPC-Memory Specification ProblemReino Kurki-Suonio. Dagstuhl 1996: 375-404

Real Time: Further Misconceptions (or Half-Truths)Reino Kurki-Suonio. Computer, 27(6):71-76, 1994.

1993

Stepwise Design of Real-Time SystemsReino Kurki-Suonio. TSE, 19(1):56-69, 1993. [doi]

Real Time: Further Misconceptions or Half-TruthsReino Kurki-Suonio. ecrts 1993: 2-7 [doi]

Real-Time Specification and Modeling with Joint ActionsReino Kurki-Suonio, Kari Systä, Jüri Vain. SCP, 20(1-2):113-140, 1993.

1992

1991

DisCo specification language: marriage of actions and objectsH.-M. Järvinen, Reino Kurki-Suonio. icdcs 1991: 142-151 [doi]

Stepwise design of real-time systemsReino Kurki-Suonio. FSE 1991: 120-131 [doi]

Real-time specification and modeling with joint actionsReino Kurki-Suonio, Kari Systä, Jüri Vain. iwssd 1991: 84-91 [doi]

1990

Superposition and fairness in reactive system refinementRalph-Johan Back, Reino Kurki-Suonio. jcit 1990: 162-172 [doi]

Object-Oriented Specification of Reactive SystemsH.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä. ICSE 1990: 63-71

Towards languages that support program derivation, or control modularity considered harmfulReino Kurki-Suonio. actaC, 9(3):179-192, 1990.

1989

Decentralization of Process Nets with Centralized ControlRalph-Johan Back, Reino Kurki-Suonio. dc, 3(2):73-87, 1989.

Action system approach to the specification and design of distributed systemsReino Kurki-Suonio, H.-M. Järvinen. iwssd 1989: 34-40 [doi]

1988

Serializability in Distributed Systems with HandshakingRalph-Johan Back, Reino Kurki-Suonio. icalp 1988: 52-66

Distributed Cooperation with Action SystemsRalph-Johan Back, Reino Kurki-Suonio. TOPLAS, 10(4):513-554, 1988. [doi]

On the Design of Reactive SystemsReino Kurki-Suonio, T. Kankaanpää. bit, 28(3):581-604, 1988.

1987

A new paradigm for the design of concurrent systemsRalph-Johan Back, Reino Kurki-Suonio. irtaw 1987: 110-112 [doi]

1986

Towards Programming with Knowledge ExpressionsReino Kurki-Suonio. POPL 1986: 140-149

1983

Decentralization of Process Nets with Centralized ControlRalph-Johan Back, Reino Kurki-Suonio. podc 1983: 131-142

1980

A data abstraction language based on microprogrammingReino Kurki-Suonio, Juha Heinänen. micro 1980: 154-161 [doi]

1978

Nondeterminism, parallelism and intermittent assertionsReino Kurki-Suonio. msi 1979: 106-126

1977

On Computing the Transitive Closure of a RelationJ. Eve, Reino Kurki-Suonio. ACTA, 8:303-314, 1977.

1968

Formal description of input dataReino Kurki-Suonio. ifip 1968: 444-447

1966

On top-to-bottom recognition and left recursionReino Kurki-Suonio. CACM, 9(7):527-528, 1966. [doi]

Sign in or sign up to see more results.

runs on WebDSL