Sigurd Meldal

20 papers A* 2A 1B 1Misc 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2006 — conf
Measuring Component-Based Systems Using a Systematic Approach and Environment.
SOSE
Jerry Gao, Yumei Wu, Lee Chang, Sigurd Meldal
2001 B conf
Compositional Homomorphisms of Relational Structures.
FCT
Michal Walicki, Adis Hodzic, Sigurd Meldal
2001 J jnl
Computation Algebras.
Math. Struct. Comput. Sci.
Michal Walicki, Magne Haveraaen, Sigurd Meldal
2001 — conf
Nondeterminism vs. Underspecification.
ISAS-SCI (1)
Michal Walicki, Sigurd Meldal
1997 J jnl
Algebraic Approaches to Nondeterminism: An Overview.
ACM Comput. Surv.
Michal Walicki, Sigurd Meldal
1997 — conf
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification.
Requirements Targeting Software and Systems Engineering
Sigurd Meldal, David C. Luckham
1997 J jnl
Singular and Plural Nondeterministic Parameters.
SIAM J. Comput.
Michal Walicki, Sigurd Meldal
1995 J jnl
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.
ACM Trans. Program. Lang. Syst.
Michal Walicki, Sigurd Meldal
1995 — conf
An Algebraic Approach to Refinement of KBS Specification.
EUROVAV
Anca I. Vermesan, Sigurd Meldal
1995 — conf
Generated Models and the omega-Rule: The Nondeterministic Case.
TAPSOFT
Michal Walicki, Sigurd Meldal
1994 — conf
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions.
COMPASS/ADT
Michal Walicki, Sigurd Meldal
1994 Misc conf
On Specialization of Derivations in Axiomatic Equality Theories.
LFCS
Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
1993 — conf
Sets and Nondeterminism.
ICLP Workshop on Logic Programming with Sets
Michal Walicki, Sigurd Meldal
1991 J jnl
A Complete Axiomatic Semantics of Spawning.
Distributed Comput.
Sigurd Meldal
1991 A* conf
An Extension of Standard ML Modules with Subtyping and Inheritance.
POPL
John C. Mitchell, Sigurd Meldal, Neel Madhav
1991 A conf
An object-oriented approach to formal specification of reactive systems.
ICDCS
Neel Madhav, Sigurd Meldal
1991 A* conf
Exploiting Locality in Maintaining Potential Causality.
PODC
Sigurd Meldal, Sriram Sankar, James Vera
1986 J jnl
An Axiomatic Semantics for Nested Concurrency.
BIT
Sigurd Meldal
1986 J jnl
Partial Correctness of Exits from Concurrent Structures.
BIT
Sigurd Meldal
1986 — conf
Task Sequencing Languages for Specifying Distributed Ada Systems.
System Development and Ada
David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler