( en | de | ru )

 

Disambiguation of "Schulte, Wolfram"

Author of the publication

copydeleteadd this publication to your clipboard
The Spec# Programming System: An Overview.

, , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 49-69. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

 

Other publications of authors with the same name

Guest editorial for the special section on MODELS 2014., and . Softw. Syst. Model., 17 (1): 9-10 (2018)SPUR: A Trace-based JIT Compiler for CIL, , , , , , and . Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 708--725. ACM, (2010)Spying on Components: A Runtime Verification Technique, and . Proc. of the Workshop on Specification and Verification of Component- Based Systems OOPSLA 2001, (2001)Automating Software Testing Using Program Analysis, , , , , , and . IEEE Software, 25 (5): 30-37 (2008)Generating finite state machines from abstract state machines, , , and . ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, page 112--122. New York, NY, USA, ACM Press, (2002)A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs., , , and . TV@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 23-47. Elsevier, (2006)Automatic parallelization of programming languages: past, present and future., and . IWMSE@ICSE, page 1. ACM, (2010)Model-Based Software Testing and Analysis with C\#, , , and . Cambridge University Press, 1 edition, (2007)VC generation for functional behavior and non-interference of iterators., , and . SAVCBS@FSE, page 67-70. ACM, (2006)From dependable multi-user to dependable multi-application operating systems: invited talk.. SecuCode@CCS, page 1-2. ACM, (2009)