Bernd Fischer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rule-based

Deriving Safety Cases for Hierarchical Structure in Model-Based DevelopmentNurlida Basir, Ewen Denney, Bernd Fischer. safecomp 2010: 68-81 [doi]

SMT-Based Bounded Model Checking for Embedded ANSI-C SoftwareLucas Cordeiro, Bernd Fischer, JoÃ£o Marques-Silva. ASE 2009: 137-148 [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]

Extending Source Code Generators for Evidence-Based Software CertificationEwen Denney, Bernd Fischer. ISoLA 2006: 138-145 [doi]

A generic annotation inference algorithm for the safety certification of automatically generated codeEwen Denney, Bernd Fischer. GPCE 2006: 121-130 [doi]

Usage Impact Factor: the effects of sample characteristics on usage-based impact metricsJohan Bollen, Herbert Van de Sompel. corr, abs/cs/0610154, 2006. [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]

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]

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.

Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract)Bernd Fischer, Eelco Visser. LOPSTR 2004: 56-58 [doi]

Retrofitting the AutoBayes Program Synthesis System with Concrete SyntaxBernd Fischer, Eelco Visser. Dagstuhl 2004: 239-253 [doi]

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.

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002Bernd Fischer, Eelco Visser, editors, ACM, 2002.

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.

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]

Specification-Based Browsing of Software Component LibrariesBernd Fischer. ASE, 7(2):179-200, 2000.

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]

Specification-based Browsing of Software Component LibrariesBernd Fischer. ASE 1998: 74-83 [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.

NORA/HAMMR: Making Deduction-Based Software Component Retrieval PracticalJohann Schumann, Bernd Fischer. jckbse 1997: 246-254 [doi]

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

ELAN: A logical framework based on computational systemsPeter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek. ENTCS, 4:35-50, 1996. [doi]

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

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

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

runs on WebDSL