Vlad Rusu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rule-based

Proceedings Second International Workshop on Algebraic Methods in Model-based Software EngineeringFrancisco Duràn, Vlad Rusu, editors, Volume 56 of Electronic Proceedings in Theoretical Computer Science, 2011. [doi]

Embedding domain-specific modelling languages in maude specificationsVlad Rusu. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]

Combining Theorem Proving and Narrowing for Rewriting-Logic SpecificationsVlad Rusu. tap 2010: 135-150 [doi]

Formal executable semantics for conformance in the MDE frameworkMarina Egea, Vlad Rusu. isse, 6(1-2):73-81, 2010. [doi]

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

Integrating formal verification and conformance testing for reactive systemsCamille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. TSE, 33(8):558-574, 2007. [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]

Model-Based Test Selection for Infinite-State Reactive SystemsBertrand Jeannet, Thierry Jéron, Vlad Rusu. FMCO 2007: 47-69 [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.

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive SystemsVlad Rusu, Hervé Marchand, Thierry Jéron. FM 2005: 189-204 [doi]

Symbolic Test Selection Based on Approximate AnalysisBertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva. TACAS 2005: 349-364 [doi]

Extracting a data flow analyser in constructive logicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. TCS, 342(1):56-78, 2005. [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.

Extracting a Data Flow Analyser in Constructive LogicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. ESOP 2004: 385-400 [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.

Compositional Verification of an ATM ProtocolVlad Rusu. FM 2003: 223-243 [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.

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.

Automated Test and Oracle Generation for Smart-Card ApplicationsDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. esmart 2001: 58-70 [doi]

Verifying a Sliding Window Protocol using PVSVlad Rusu. forte 2001: 251-268

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

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]

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