Wolfram Schulte - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rule-based

VCC: Contract-based modular verification of concurrent CMarkus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte. ICSE 2009: 429-430 [doi]

Model-Based Testing of Object-Oriented Reactive Systems with Spec ExplorerMargus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson. fortest 2008: 39-76 [doi]

An Automatic Verifier for Java-Like Programs Based on Dynamic FramesJan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte. FASE 2008: 261-275 [doi]

EventScript: an event-processing language based on regular expressions with actionsNorman H. Cohen, Karl Trygve Kalleberg. lctrts 2008: 111-120 [doi]

A genetic algorithm-based heuristic for the dynamic integrated forward/reverse logistics network for 3PLsHyun Jeung Ko, Gerald W. Evans. cor, 34(2):346-366, 2007. [doi]

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007Arnd Poetzsch-Heffter, editor, ACM, 2007.

20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, SloveniaIEEE Computer Society, 2007.

GA-Based Iris/Sclera Boundary Detection for Biometric Iris IdentificationTatiana Tambouratzis, Michael Masouris. icannga 2007: 457-466 [doi]

Controllable Combinatorial Coverage in Grammar-Based TestingRalf Lämmel, Wolfram Schulte. pts 2006: 19-38 [doi]

XMage: An image retrieval method based on partial similarityChang-Ryong Kim, Chin-Wan Chung. ipm, 42(2):484-502, 2006. [doi]

SOM-based estimation of climatic profilesTatiana Tambouratzis. ijis, 21(5):503-522, 2006. [doi]

A Parallel Solution to the HIP Game Based on Genetic AlgorithmsTatiana Tambouratzis. seal 2006: 672-679 [doi]

Advanced Video and Signal Based Surveillance, 2006 IEEE International Conference on Video and Signal Based Surveillance (AVSS 06), 22-24 November 2006, Sydney, AustraliaIEEE Computer Society, 2006.

On randomizing the sending times in TCP and other window based algorithmsKartikeya Chandrayana, Sthanunathan Ramakrishnan, Biplab Sikdar, Shivkumar Kalyanaraman. cn, 50(3):422-447, 2006. [doi]

Model-Based Testing of Cryptographic ProtocolsDean Rosenzweig, Davor Runje, Wolfram Schulte. tgc 2005: 33-60 [doi]

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic ComputationWolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes. ehci 2005: 72-82 [doi]

An efficient MDS-based topographic mapping algorithmYoshitatsu Matsuda, Kazunori Yamaguchi. ijon, 64:285-299, 2005. [doi]

From Reduction-based to Reduction-free NormalizationOlivier Danvy. ENTCS, 124(2):79-100, 2005. [doi]

18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 23-24 June 2005, Dublin, IrelandIEEE Computer Society, 2005.

ESD circuit model based protection network optimisation for extended-voltage NMOS driversVesselin K. Vassilev, V. A. Vashchenko, Ph. Jansen, Guido Groeseneken, M. ter Beek. mr, 45(9-11):1430-1435, 2005. [doi]

12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USAIEEE Computer Society, 2005.

A polar-plane-based method for natural illumination of plants and treesMaria J. Vicent, Vicente Rosell, Roberto Vivó. cg, 29(2):203-208, 2005. [doi]

Identification and characterisation of urban building patterns using IKONOS imagery and point-based postal dataVictor Mesev. urban, 29(5):541-557, 2005. [doi]

Performance evaluation of market-based resource allocation for Grid computingJacek Gomoluch, Michael Schroeder. concurrency, 16(5):469-475, 2004. [doi]

17th IEEE Symposium on Computer-Based Medical Systems (CBMS 2004), 24-25 June 2004, Bethesda, MD, USAIEEE Computer Society, 2004.

Towards a Tool Environment for Model-Based Testing with AsmLMichael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. fates 2004: 252-266 [doi]

Programming with rectangles, triangles, and circlesErik Meijer, Wolfram Schulte. In Proceedings of XML Conference & Exposition 2003 (XML 2003). 2003:

The power grid transient simulation in linear time based on 3-D alternating-direction-implicit methodYu-Min Lee, Charlie Chung-Ping Chen. tcad, 22(11):1545-1550, 2003. [doi]

Package-Based Software DevelopmentMerijn de Jonge. euromicro 2003: 76-85 [doi]

Forwarding in a content-based networkAntonio Carzaniga, Alexander L. Wolf. sigcomm 2003: 163-174 [doi]

2003 IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS 2003), 21-22 July 2003, Miami, FL, USAIEEE Computer Society, 2003.

A particle swarm model for swarm-based networked sensor systemsB. Anthony Kadrovach, Gary B. Lamont. SAC 2002: 918-924 [doi]

COTS-Based Software Systems, First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, ProceedingsJohn C. Dean, Andrée Gravel, editors, Volume 2255 of Lecture Notes in Computer Science, Springer, 2002.

Towards sketch-based exploration of terrainP.-L. Lesage, Mahes Visvalingam. cg, 26(2):309-328, 2002. [doi]

Content-Based Networking: A New Communication InfrastructureAntonio Carzaniga, Alexander L. Wolf. nsf 2002: 59-68 [doi]

Pulling it all Together with WIT: A Tool for Integrating Web-based InformationW. David Reese, Dennis Heimbigner, Alexander L. Wolf. wiiw 2001: 58-65

Content-Based Lecture Access For Distance LearningGuang-Ho Cha, Chin-Wan Chung. icmcs 2001: [doi]

Conceptual Interactive Learning Tools Based on Computer SimulatorsDamjan Zazula, Bogdan Viher, Dean Korosec, Enis Avdicausevic, Mitja Lenic, Bozidar Potocnik. informaticaSI, 23(3), 1999.

Shape-based word recognitionA. Lawrence Spitz. ijdar, 1(4):178-190, 1999. [doi]

Scalability of an MPI-based fast messy genetic algorithmLaurence D. Merkle, George H. Gates Jr., Gary B. Lamont. SAC 1998: 386-393 [doi]

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental StudyFrançois Noël, Luke Hornof, Charles Consel, Julia L. Lawall. iccl 1998: 132-142 [doi]

A New Indexing Scheme for Content-Based Image RetrievalGuang-Ho Cha, Chin-Wan Chung. mta, 6(2):263-288, 1998.

A Random Function Based Framework for Evolutionary AlgorithmsLaurence D. Merkle, Gary B. Lamont. icga 1997: 105-112

An OCR based on character shape codes and lexical informationA. Lawrence Spitz. icdar 1995: 723-728 [doi]

A Trace Based Performance Evaluation Tool for Parallel Real Time SystemsRolf Borgeest, Bernward Dimke, Olav Hansen. pc, 21(4):551-564, 1995.

What You Say is What You See - Interactive Generation, Manipulation and Modification of 3-D Shapes Based on Verbal DescriptionsYuri A. Tijerino, Shinji Abe, Tsutomu Miyasato, Fumio Kishino. air, 8(2-3):215-234, 1994.

A unidraw-based user interface builderJohn M. Vlissides, Steven Tang. uist 1991: 201-210 [doi]

Mixin-based InheritanceGilad Bracha, William R. Cook. OOPSLA 1990: 303-311

A robust method for picture segmentation based on a split-and-merge procedureFusak Cheevasuvit, Henri Maître, Daniel Vidal-Madjar. cvgip, 34(3):268-281, 1986. [doi]

Queue-based Multi-processing LispRichard P. Gabriel, John McCarthy. lfp 1984: 25-44

runs on WebDSL