Search results for "Maude"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Maude-Josée Blondin, Pierre Sicard	ACO based controller and anti-windup tuning for motion systems with flexible transmission.	CCECE	2013	DBLP DOI BibTeX RDF
27	Richard James Maude	Malaria elimination modelling in the context of antimalarial drug resistance.		2013	RDF
27	Ammar Abdo, Ségolène Caboche, Valérie Leclère, Philippe Jacques, Maude Pupin	A new fingerprint to predict nonribosomal peptides activity.	J. Comput. Aided Mol. Des.	2012	DBLP DOI BibTeX RDF
27	John Sutherland 0001, Tony Maude, Malcolm Sutherland	Editorial: the vision for The Computer Games Journal.	Comput. Games J.	2012	DBLP DOI BibTeX RDF
27	Yudith Cardinale, Joyce El Haddad, Maude Manouvrier, Marta Rukoz	Web Service Composition Based on Petri Nets: Review and Contribution.	RED	2012	DBLP DOI BibTeX RDF
27	Virginie Gabrel, Maude Manouvrier, Imen Megdiche, Cécile Murat	A new 0-1 linear program for QoS and transactional-aware web service composition.	ISCC	2012	DBLP DOI BibTeX RDF
27	AnnaLaura Lagioia, Stephan Eliez, Maude Schneider, Jon S. Simons, Martial Van der Linden, Martin Debbané	Neural correlates of reality monitoring during adolescence.	NeuroImage	2011	DBLP DOI BibTeX RDF
27	Yudith Cardinale, Joyce El Haddad, Maude Manouvrier, Marta Rukoz	CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition.	Int. J. Web Grid Serv.	2011	DBLP DOI BibTeX RDF
27	Dana Lahat, Jean-François Cardoso, Maude Le Jeune, Hagit Messer	Multidimensional ICA and its performance analysis applied to CMB observations.	ICASSP	2011	DBLP DOI BibTeX RDF
27	Joyce El Haddad, Maude Manouvrier, Marta Rukoz	TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition.	IEEE Trans. Serv. Comput.	2010	DBLP DOI BibTeX RDF	transactional Web service, local optimization of Quality of Service, workflow patterns, Web service selection, automatic composition
27	Nguyen Vu Hoàng, Valérie Gouet-Brunet, Marta Rukoz, Maude Manouvrier	Embedding spatial information into image content description for scene retrieval.	Pattern Recognit.	2010	DBLP DOI BibTeX RDF
27	Yudith Cardinale, Joyce El Haddad, Maude Manouvrier, Marta Rukoz	Web service selection for transactional composition.	ICCS	2010	DBLP DOI BibTeX RDF
27	Eduardo Blanco 0001, Yudith Cardinale, Maria-Esther Vidal, Joyce El Haddad, Maude Manouvrier, Marta Rukoz	A Transactional-QoS Driven Approach for Web Service Composition.	RED	2010	DBLP DOI BibTeX RDF
27	Jean-François Cardoso, Maude Le Jeune, Jacques Delabrouille, Marc Betoule, Guillaume Patanchon	Component Separation With Flexible Models - Application to Multichannel Astrophysical Observations.	IEEE J. Sel. Top. Signal Process.	2008	DBLP DOI BibTeX RDF
27	Ségolène Caboche, Maude Pupin, Valérie Leclère, Arnaud Fontaine, Philippe Jacques, Gregory Kucherov	NORINE: a database of nonribosomal peptides.	Nucleic Acids Res.	2008	DBLP DOI BibTeX RDF
27	Marta Rukoz, Maude Manouvrier, Valérie Gouet-Brunet	Synthèse sur les modèles de représentation des relations spatiales dans les images symboliques.	Les Relations Spatiales	2008	DBLP BibTeX RDF
27	Joyce El Haddad, Maude Manouvrier, Guillermo Ramirez, Marta Rukoz	QoS-Driven Selection of Web Services for Transactional Composition.	ICWS	2008	DBLP DOI BibTeX RDF
27	Gilles Didier, Laurent Debomy, Maude Pupin, Ming Zhang, Alexander Grossmann, Claudine Devauchelle, Ivan Laprevotte	Comparing sequences without using alignments: application to HIV/SIV subtyping.	BMC Bioinform.	2007	DBLP DOI BibTeX RDF
27	Joyce El Haddad, Maude Manouvrier, Marta Rukoz	A Hierarchical Model for TransactionalWeb Service Composition in P2P Networks.	ICWS	2007	DBLP DOI BibTeX RDF
27	Jean-François Cardoso, Maude Martin	A Flexible Component Model for Precision ICA.	ICA	2007	DBLP DOI BibTeX RDF
27	Marta Rukoz, Maude Manouvrier, Geneviève Jomier	Delta-distance: A family of dissimilarity metrics between images represented by multi-level feature vectors.	Inf. Retr.	2006	DBLP DOI BibTeX RDF	Distance between quad/quin or nona-trees, Similarity of image segments, Content-based image retrieval, Similarity, Image database
27	Gilles Didier, Ivan Laprevotte, Maude Pupin, Alain Hénaut	Local Decoding of Sequences and Alignment-Free Comparison.	J. Comput. Biol.	2006	DBLP DOI BibTeX RDF
27	Claudia Bauzer Medeiros, Olivier Carles, Florian De Vuyst, Georges Hébrail, Bernard Hugueney, Marc Joliveau, Geneviève Jomier, Maude Manouvrier, Yosr Naïja, Gérard Scémama, Laurent Steffan	Vers un entrepôt de données pour le trafic routier.	EDA	2006	DBLP BibTeX RDF
27	Connie Maude Campbell, William Staton	A Square-Packing Problem of Erdős.	Am. Math. Mon.	2005	DBLP BibTeX RDF
27	Maude Manouvrier, Marta Rukoz, Geneviève Jomier	Quadtree-Based Image Representation and Retrieval.	Spatial Databases	2005	DBLP BibTeX RDF
27	Geneviève Jomier, Maude Manouvrier, Vincent Oria, Marta Rukoz	Multi-level index for global and partial content-based image retrieval.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
27	Maude Manouvrier, Marta Rukoz, Geneviève Jomier	A generalized metric distance between hierarchically partitioned images.	MDM@KDD	2005	DBLP DOI BibTeX RDF
27	Maude Bonenfant	Visual sign in video games.	DiGRA Conference	2005	DBLP BibTeX RDF
27	Geneviève Jomier, Maude Manouvrier, Vincent Oria, Marta Rukoz	Indexation multi-niveaux pour la recherche globale et partielle d'images par le contenu.	BDA	2004	DBLP BibTeX RDF
27	Maude Manouvrier, Marta Rukoz, Geneviève Jomier	Quadtree representations for storage and manipulation of clusters of images.	Image Vis. Comput.	2002	DBLP DOI BibTeX RDF
27	Marta Rukoz, Maude Manouvrier, Geneviève Jomier	Distances de similarité d'images basées sur les arbres quaternaires.	BDA	2002	DBLP BibTeX RDF
27	Geneviève Jomier, Maude Manouvrier, Marta Rukoz	Storage and management of similar images.	J. Braz. Comput. Soc.	2000	DBLP BibTeX RDF
27	Maude Klaerr-Blanchard, Hélène Chiapello, Eivind Coward	Detecting Localized Repeats in Genomic Sequences: A New Strategy and Its Application to Bacillus Subtilis and Arabidopsis Thaliana Sequences.	Comput. Chem.	2000	DBLP DOI BibTeX RDF
27	Geneviève Jomier, Maude Manouvrier, Marta Rukoz	Stockage et gestion d'images par un arbre quaternaire générique.	Proc. 15èmes Journées Bases de Données Avancées, BDA	1999	DBLP BibTeX RDF
27	Connie Maude Campbell	On cages for girth pair (6, b).	Discret. Math.	1997	DBLP DOI BibTeX RDF
27	David G. Andrews, Dana Maude	A Computerised Clinical Test of Forgetting Based on the ACT Model of Memory Retrieval.	Int. J. Man Mach. Stud.	1990	DBLP DOI BibTeX RDF
27	T. I. Maude	Distribution lists in an X.400 message handling system.	Comput. Commun.	1986	DBLP DOI BibTeX RDF
27	T. I. Maude, David J. Pullinger	Software for Reading, Refereeing and Browsing in the BLEND System.	Comput. J.	1985	DBLP DOI BibTeX RDF
27	Brian Shackel, David J. Pullinger, T. I. Maude, W. Peter Dodd	The BLEND-LINC Project on 'Electronic Journals' After Two Years.	Comput. J.	1983	DBLP DOI BibTeX RDF
27	A. D. Maude	Interpolation - Mainly for Graph Plotters.	Comput. J.	1973	DBLP DOI BibTeX RDF
24	Matt Webster, Grant Malcolm	Detection of metamorphic and virtualization-based malware using algebraic specification.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
24	María Alpuente, Demis Ballis, Daniel Romero 0001	Specification and Verification of Web Applications in Rewriting Logic.	FM	2009	DBLP DOI BibTeX RDF
24	Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura	Formal Specification and Analysis of Timing Properties in Software Systems.	FASE	2009	DBLP DOI BibTeX RDF
24	Francisco Durán 0001, Salvador Lucas, Claude Marché, José Meseguer 0001, Xavier Urbain	Proving operational termination of membership equational programs.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic
24	Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet	Declarative Debugging of Rewriting Logic Specifications.	WADT	2008	DBLP DOI BibTeX RDF
24	Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer	A Verification Framework for Normative Multi-Agent Systems.	PRIMA	2008	DBLP DOI BibTeX RDF
24	Malika Benammar, Faiza Belala, Fateh Latreche	AADL behavioral annex based on generalized rewriting logic.	RCIS	2008	DBLP DOI BibTeX RDF
24	Kyrre M. Begnum, Mark Burgess	Understanding Promise Theory Using Rewriting Logic. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF
24	María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero 0001	A Fast Algebraic Web Verification Service.	RR	2007	DBLP DOI BibTeX RDF
24	Grigore Rosu, Klaus Havelund	Rewriting-Based Techniques for Runtime Verification.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	verification, rewriting, runtime analysis
24	Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute	Pathway Logic Helping Biologists Understand and Organize Pathway Information.	CSB Workshops	2005	DBLP DOI BibTeX RDF
24	Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu	Formal Analysis of Java Programs in JavaFAN.	CAV	2004	DBLP DOI BibTeX RDF
24	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Claude Marché, Xavier Urbain	Proving termination of membership equational programs.	PEPM	2004	DBLP DOI BibTeX RDF	program transformation, termination, term rewriting, membership equational logic
24	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
24	Hui Ding, Can Zheng, Gul Agha, Lui Sha	Automated Verification of the Dependability of Object-Oriented Real-Time Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF
24	José Meseguer 0001, Grigore Rosu	A Total Approach to Partial Algebraic Specification.	ICALP	2002	DBLP DOI BibTeX RDF
22	Yongyi Peng, Ning Huang	Formalizing Semantics of OWL-S Process Model.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	formalization, OWL-S, rewrite logic, Maude, dynamic semantics
22	Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam	Conformance Testing of Distributed Concurrent Systems with Executable Designs.	FMCO	2008	DBLP DOI BibTeX RDF	concolic execution, Creol, Model-based testing, conformance testing, Maude
18	Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata 0001, Adrián Riesco 0001	Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
18	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Strategies, model checking and branching-time properties in Maude.	CoRR	2024	DBLP DOI BibTeX RDF
18	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Simulating and model checking membrane systems using strategies in Maude.	CoRR	2024	DBLP DOI BibTeX RDF
18	Steven Eker, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Alberto Verdejo	The Maude strategy language.	CoRR	2024	DBLP DOI BibTeX RDF
18	Duong Dinh Tran, Canh Minh Do, Santiago Escobar 0001, Kazuhiro Ogata 0001	Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
18	Víctor García, Santiago Escobar 0001, Kazuhiro Ogata 0001, Sedat Akleylek, Ayoub Otmani	Modelling and verification of post-quantum key encapsulation mechanisms using Maude.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
18	Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan	PN2Maude: An automatic tool to generate Maude specification for Petri net models.	Comput. Sci. J. Moldova	2023	DBLP BibTeX RDF
18	Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming	Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.	CoRR	2023	DBLP DOI BibTeX RDF
18	María Alpuente, Demis Ballis, Santiago Escobar 0001, D. Galán, Julia Sapiña	Safety enforcement via programmable strategies in Maude.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
18	Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez 0001	Session-based concurrency in Maude: Executable semantics and type checking.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
18	Steven Eker, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Alberto Verdejo	The Maude strategy language.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
18	Canh Minh Do, Kazuhiro Ogata 0001	Symbolic Model Checking Quantum Circuits in Maude.	SEKE	2023	DBLP DOI BibTeX RDF
18	Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming	Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.	Petri Nets	2023	DBLP DOI BibTeX RDF
18	Lorenzo Capra, Michael Köhler-Bußmeier	Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems.	SAC	2023	DBLP DOI BibTeX RDF
18	Lorenzo Capra, Michael Köhler-Bussmeier	Modelling Adaptive Systems with Nets-Within-Nets in Maude.	ENASE	2023	DBLP DOI BibTeX RDF
18	Takanori Ishibashi, Kazuhiro Ogata 0001	Formal Specification and Model Checking of Raft Leader Election in Maude.	ICSCA	2023	DBLP DOI BibTeX RDF
18	María Alpuente, Demis Ballis, Santiago Escobar 0001, José Meseguer 0001, Julia Sapiña	Optimizing Maude Programs via Program Specialization.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
18	Takanori Ishibashi, Kazuhiro Ogata 0001	Formal Specification and Model Checking of Raft Log Replication in Maude.	DMSVIVA	2023	DBLP DOI BibTeX RDF
18	Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala	A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems.	WETICE	2023	DBLP DOI BibTeX RDF
18	Lorenzo Capra, Michael Köhler-Bußmeier	Modelling Adaptive Systems with Maude Nets-within-Nets.	WorldCIST (3)	2023	DBLP DOI BibTeX RDF
18	Oana Otilia Captarencu	The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude.	ICEIS (2)	2023	DBLP DOI BibTeX RDF
18	Francisco Durán 0001	Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
18	Steven Eker	Associative unification in Maude.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
18	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Simulating and model checking membrane systems using strategies in Maude.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
18	Mourad Kezai, Abdallah Khababa	Generating Maude Specifications from M-UML Statechart Diagrams.	J. Adv. Comput. Intell. Intell. Informatics	2022	DBLP DOI BibTeX RDF
18	Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani	Generation of a Reversible Semantics for Erlang in Maude.	ICFEM	2022	DBLP DOI BibTeX RDF
18	Duong Dinh Tran, Canh Minh Do, Santiago Escobar 0001, Kazuhiro Ogata 0001	Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis.	FAVPQC@ICFEM	2022	DBLP BibTeX RDF
18	Duong Dinh Tran, Kazuhiro Ogata 0001, Santiago Escobar 0001, Sedat Akleylek, Ayoub Otmani	Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude.	FAVPQC@ICFEM	2022	DBLP BibTeX RDF
18	Rubén Rubio, Adrián Riesco 0001	Theorem Proving for Maude Specifications Using Lean.	ICFEM	2022	DBLP DOI BibTeX RDF
18	Víctor García, Santiago Escobar 0001, Kazuhiro Ogata 0001	Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude.	FAVPQC@ICFEM	2022	DBLP BibTeX RDF
18	Duong Dinh Tran, Kazuhiro Ogata 0001, Santiago Escobar 0001, Sedat Akleylek, Ayoub Otmani	Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude.	SEKE	2022	DBLP DOI BibTeX RDF
18	Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen	A Formal Model of Metacontrol in Maude.	ISoLA (1)	2022	DBLP DOI BibTeX RDF
18	Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala	A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation.	MEDI Workshops	2022	DBLP DOI BibTeX RDF
18	Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata 0001, Adrián Riesco 0001	Integration of SMGA and Maude to Facilitate Characteristic Conjecture.	DMSVIVA	2022	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott	Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).	IJCAR	2022	DBLP DOI BibTeX RDF
18	Lorenzo Capra, Michael Köhler-Bußmeier	A Maude Formalization of Object Nets.	ECSA (Tracks and Workshops)	2022	DBLP DOI BibTeX RDF
18	Lorenzo Capra	Canonization of Reconfigurable PT Nets in Maude.	RP	2022	DBLP DOI BibTeX RDF
18	Simon Thrane Hansen, Peter Csaba Ölveczky	Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
18	Canh Minh Do, Adrián Riesco 0001, Santiago Escobar 0001, Kazuhiro Ogata 0001	Parallel Maude-NPA for Cryptographic Protocol Analysis.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
18	Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001	Executable Semantics and Type Checking for Session-Based Concurrency in Maude.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
18	Rubén Rubio	An Overview of the Maude Strategy Language and its Applications.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
18	Peter Csaba Ölveczky	Teaching Formal Methods to Undergraduate Students Using Maude.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF