Tidbits, Sigurd Meldal, Computer Engineering Department, San Jose State University

Academic:

Some interesting work:

"Learning modules for security, privacy and information assurance in undergraduate engineering education"
[In Proceedings of FIE2006]
With Daniel Manson, Carol Sledge, Stephen M. Maurer, John C. Mitchell, Erich Spengler, Janos Sztipanovits, and Javier Torner.
- get the pdf file
"Measuring Component-Based Systems Using a Systematic Approach and Environment"
[In Proceedings of the Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06)]
With Jerry Gao, Yumei Wu, Lee Chang

get the abstract

"Ten Pounds in a Five Pound Sack:
Providing Undergraduate Software Engineering Students with
Technical Management Experience." [In Proceedings of ICEE2001]
With Daniel Stearns and Clark Savage Turner

get the pdf file

"Key Concepts in Architecture Definition Languages."
[In Foundations of Component Based Systems.
G. T. Leavens, M. Sitaraman (Ed.), pp. 23Ð46.
Cambridge University Press, 2000. Invited paper.]
"Software Prototyping."
[Invited contribution to John Wiley & Sons Encyclopedia of Electrical and Electronics Engineering. 1999.]
"Computation Algebras".
[Mathematical Structures in Computer Science.]
- get the postscript file
"Causal Event-Relations as a Basis for Analyzing Distributed Architectures."
[In Proc. 8th Int'l Coll. on Computer Science with Applications.
R. Bainov (Ed.). 1998.]
"Reference Architectures and Conformance."
[In Proceedings of RTSEÕ97.
M. Broy, B. Rumpe (Eds.). Technische Univers? Müchen, April 1998, pp. 203-228
"Specification and prototyping of network protocols in rewriting logic"
[NIK98]
- get the postscript file
- get the PDF file
"NSA's MISSI Reference Architecture Ð From Prose to Precise Specification."
[In Requirements Targeting Software and Systems Engineering.
M. Broy, B. Rumpe (Eds.). LNCS 1526, pp. 293Ð329. Springer-Verlag 1998.]
"Defining a Security Reference Architecture"
[Stanford University Tech. Report CSL-TR-97-728]
- read the abstract
- get the postscript file
- get the PDF file
NSA's Multilevel Information Systems Security Initiative (MISSI)
"Singular and Plural Nondeterministic Parameters"
[SIAM J. of Computing 26(4), August 1997.]
- read the abstract
- get the postscript file
"Algebraic Approaches to Nondeterminism: An Overview"
[ACM Computing Surveys, Vol. 29, No. 1, March 1997, pp. 30-81.
- read the abstract
- get the postscript file of the Tech. Report version.
- get the OCR text of the Tech. Report version.
"A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism"
[ACM TOPLAS, Vol. 17, No. 2, March 1995]
- read the abstract
- get the postscript file
"Generated Models and the Omega-rule: the Nondeterministic Case"
[In Proceedings of TAPSOFT'95, LNCS, vol. 915, 1995]
- read the abstract
- get the postscript file
"Three Concepts of System Architecture"
[Stanford University Tech. Report CSL-TR-95-674]
- read the abstract (or if that is too busy, get it here )
- get the postscript file.
- get the OCR text
"Nondeterministic Algebraic Specifications in Relational Syntax"
[NWPT'95, 1996].
- read the abstract
- get the postscript file
"An Algebraic Approach to Refinement of KBS Specification"
[In Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based System, M. Ayel, M.-C. Rousset (Eds.). ADERAS-LIA, June 1995, pp. 265-276.]
- read the abstract
- get the postscript file
"Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions"
[ADT'94, in Recent Trends in Data Type Specification,LNCS, vol. 906, 1995]
- read the abstract
- get the postscript file
"Nondeterministic Operators in Algebraic Frameworks"
[Stanford University Tech. Report CSL-TR-95-664]
- read the abstract
- get the postscript file 1362558 bytes.
- get the OCR text (produced by OCR, may have errors) 201170 bytes.
"Polymorphism and subtyping in interfaces."
[In Proceedings of the Workshop on Interface Definition Languages, J.M. Wing (Ed). SIGPLAN Notices 29, 8 (August 1994), pp. 23-34.]
- read the abstract
- get the postscript file
"On Specialization of Derivations in Axiomatic Equality Theories"
[In Proceedings of LFCS'94,LNCS vol. 813, 1994]
- get the postscript file
"Initiality + Nondeterminism => Junk"
[In Proceedings of NIK'94,Tapir, 1994]
- read the abstract
- get the postscript file
"Subtyping, assignment and cloning in a concurrent, object-oriented language"
[In Proceedings of the DARPA Software Technology Conference 1992, DARPA, R. N. Taylor and W. L. Scherlis (Eds), April 1992, pp. 458-470.]
- read the abstract
- get the postscript file
"An extension of Standard ML modules with subtyping and inheritance"
[In Proceedings of the 18th ACM Symp. on the Principles of Programming Languages, ACM Press. 1991, pp. 270-278.]
- read the abstract
- get the postscript file
"Exploiting locality in maintaining potential causality"
[In Proceedings of the 10th ACM Symposium on the Principles of Distributed Computing, ACM Press. August 1991.]
- read the abstract
- get the postscript file

Otherwise:

Sigurd's home page