Search results for "Maude"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Guoqiang Li 0001, Mizuhito Ogawa	Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol.	ATVA	2008	DBLP DOI BibTeX RDF
12	JunFeng Wu, HuaiKou Miao	A Rewriting Logic Approach to OWL-S Composite Process Formal Specification.	APSCC	2008	DBLP DOI BibTeX RDF
12	Ning Huang, Dong Wang, Xiaoguang Jia	An Algebra-Based Reliability Prediction Approach for Composite Web Services.	ISSRE	2008	DBLP DOI BibTeX RDF
12	Nishant Sinha 0001	Symbolic Program Analysis Using Term Rewriting and Generalization.	FMCAD	2008	DBLP DOI BibTeX RDF
12	Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He	Mapping Software Architecture Specification to Rewriting Logic (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Software architecture specification, Petri net, rewriting logic, interleaving semantics
12	Chafia Bouanaka, Faiza Belala	Towards a mobile architecture description language.	AICCSA	2008	DBLP DOI BibTeX RDF
12	Aicha Choutri, Faiza Belala, Kamel Barkaoui	Towards a tile based LfP semantics.	RCIS	2008	DBLP DOI BibTeX RDF
12	María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda	A Modular Equational Generalization Algorithm.	LOPSTR	2008	DBLP DOI BibTeX RDF
12	Daniel Elenius, Grit Denker, Mark-Oliver Stehr	A Semantic Web Reasoner for Rules, Equations and Constraints.	RR	2008	DBLP DOI BibTeX RDF
12	Artur Boronat, José Meseguer 0001	An Algebraic Semantics for MOF.	FASE	2008	DBLP DOI BibTeX RDF	metamodeling semantics, reflection, model-driven development, MOF, membership equational logic
12	Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu	Defining and Executing P Systems with Structured Data in K.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
12	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
12	Philippe A. Palanque, Sandra Basnyat, David Navarre	Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.	USAB	2007	DBLP DOI BibTeX RDF	Incident and Accident Investigation, Human-Computer Interaction, Medical Informatics, Formal Description Techniques, Patient Monitoring
12	Guoqiang Li 0001, Mizuhito Ogawa	On-the-Fly Model Checking of Fair Non-repudiation Protocols.	ATVA	2007	DBLP DOI BibTeX RDF
12	Anders Moen Hagalisletto	Validating Attacks on Authentication Protocols.	ISCC	2007	DBLP DOI BibTeX RDF
12	Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas	An Object-Oriented Component Model for Heterogeneous Nets.	FMCO	2007	DBLP DOI BibTeX RDF
12	Joe Hendrix, José Meseguer 0001	On the Completeness of Context-Sensitive Order-Sorted Specifications.	RTA	2007	DBLP DOI BibTeX RDF
12	Dorel Lucanu	Proving Behavioral Commutativity with CIRC.	SYNASC	2007	DBLP DOI BibTeX RDF
12	Dorel Lucanu, Grigore Rosu	CIRC : A Circular Coinductive Prover.	CALCO	2007	DBLP DOI BibTeX RDF
12	Yacine Kissoum, Zaïdi Sahnoun	A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems.	AICCSA	2007	DBLP DOI BibTeX RDF
12	Beatriz Alarcón, Salvador Lucas	Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs.	FroCoS	2007	DBLP DOI BibTeX RDF
12	José Eduardo Rivera, Antonio Vallecillo	Adding Behavior to Models.	EDOC	2007	DBLP DOI BibTeX RDF
12		Applying Formal Methods to Compositionality Description of Web Service.	ICIW	2007	DBLP DOI BibTeX RDF
12	Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso	Specification and design of component-based coordination systems by integrating coordination patterns.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	accordance checker, coordination requirements, coordination patterns, behavior simulation
12	Mauricio Ayala-Rincón, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein	Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Term Rewriting Systems (TRS), algebraic manipulation, dynamically reconfigurable systems, Fast Fourier Transform (FFT), reconfigurable computing, systolic arrays, rewriting-logic
12	Bow-Yaw Wang	Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study.	SAC	2006	DBLP DOI BibTeX RDF
12	Jounaïdi Ben Hassen, Sofiène Tahar	On the numerical verification of probabilistic rewriting systems.	DATE	2006	DBLP DOI BibTeX RDF
12	Manuel Clavel, Marina Egea	ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.	AMAST	2006	DBLP DOI BibTeX RDF
12	Carolyn L. Talcott	Symbolic modeling of signal transduction in pathway logic.	WSC	2006	DBLP DOI BibTeX RDF
12	Yujian Fu, Zhijiang Dong, Xudong He	Modeling, validating and automating composition of web services.	ICWE	2006	DBLP DOI BibTeX RDF	service oriented system specification, petri nets, temporal logic, verification and validation, software architecture model
12	Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf	Modeling Workflows with Recursive ECATNets.	SYNASC	2006	DBLP DOI BibTeX RDF
12	José Raúl Romero, Antonio Vallecillo	On the Execution of ODP Computational Specifications.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
12	Artur Boronat, Joaquín Oriente, Abel Gómez 0001, Isidro Ramos, José A. Carsí	An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	OCL queries and invariants, MDA, metamodeling, algebraic specification
12	Artur Boronat, José A. Carsí, Isidro Ramos	Algebraic Specification of a Model Transformation Engine.	FASE	2006	DBLP DOI BibTeX RDF	Model Transformation, Model-Driven Engineering, Traceability, Algebraic Specifications, QVT
12	Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse	Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.	LPAR	2005	DBLP DOI BibTeX RDF
12	Federico Balaguer	Model checking the behavior of frameworks extended with other frameworks.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	object-oriented, frameworks, temporal logic, rewriting logic
12	Xuezheng Fu, Hao Wang, William L. Harrison, Robert W. Harrison	RNA Pseudoknot Prediction Using Term Rewriting.	BIBE	2005	DBLP DOI BibTeX RDF
12	Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr	Formal prototyping in early stages of protocol design.	WITS	2005	DBLP DOI BibTeX RDF
12	José Meseguer 0001	Functorial Semantics of Rewrite Theories.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
12	Francisco Martínez, José Ambrosio Toval Álvarez	A Precise Approach for the Analysis of the UML Models Consistency.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
12	Chadlia Jerad, Kamel Barkaoui	On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
12	Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles	Formal validation of pattern matching code.	PPDP	2005	DBLP DOI BibTeX RDF	multi-match, verified code, compilation, pattern matching, term rewriting
12	Joe Hendrix, Manuel Clavel, José Meseguer 0001	A Sufficient Completeness Reasoning Tool for Partial Specifications.	RTA	2005	DBLP DOI BibTeX RDF
12	Mihai Danes, Dorel Lucanu, Gabriel Ciobanu	Specification of Coordinated Objects and Verification of Their Temporal Properties.	SYNASC	2005	DBLP DOI BibTeX RDF
12	David A. Basin, Manuel Clavel, José Meseguer 0001	Reflective metalogical frameworks.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	metalogics, reflection, rewriting logic, Membership equational logic
12	Ahmed Sobeih, Mahesh Viswanathan 0001, Jennifer C. Hou	Check and simulate: a case for incorporating model checking in network simulation.	MEMOCODE	2004	DBLP DOI BibTeX RDF
12	Azadeh Farzan, José Meseguer 0001, Grigore Rosu	Formal JVM Code Analysis in JavaFAN.	AMAST	2004	DBLP DOI BibTeX RDF
12	José Meseguer 0001, Christiano Braga	Modular Rewriting Semantics of Programming Languages.	AMAST	2004	DBLP DOI BibTeX RDF
12	Salvador Lucas	Polynomials for Proving Termination of Context-Sensitive Rewriting.	FoSSaCS	2004	DBLP DOI BibTeX RDF	Programming languages, termination, rewriting
12	Gabriel Aguilera 0001, Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán	A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.	SBIA	2004	DBLP DOI BibTeX RDF
12	Ozan Kahramanogullari	System BV without the Equalities for Unit.	ISCIS	2004	DBLP DOI BibTeX RDF
12	José Meseguer 0001, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
12	Carsten Schürmann	Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.	FLOPS	2004	DBLP DOI BibTeX RDF
12	Berndt Farwer, Michael Leuschel	Model checking object petri nets in prolog.	PPDP	2004	DBLP DOI BibTeX RDF	model checking, compilation, animation, prolog, object petri nets
12	José Meseguer 0001	Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design.	MEMOCODE	2003	DBLP DOI BibTeX RDF
12	Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer 0001	Certifying and Synthesizing Membership Equational Proofs.	FME	2003	DBLP DOI BibTeX RDF
12	Roberto Bruni, José Meseguer 0001	Generalized Rewrite Theories.	ICALP	2003	DBLP DOI BibTeX RDF
12	José Meseguer 0001, Miguel Palomino, Narciso Martí-Oliet	Equational Abstractions.	CADE	2003	DBLP DOI BibTeX RDF
12	Steven Eker	Associative-Commutative Rewriting on Large Terms.	RTA	2003	DBLP DOI BibTeX RDF
12	Feng Chen 0006, Grigore Rosu, Ram Prasad Venkatesan	Rule-Based Analysis of Dimensional Safety.	RTA	2003	DBLP DOI BibTeX RDF
12	Grigore Rosu, Mahesh Viswanathan 0001	Testing Extended Regular Language Membership Incrementally by Rewriting.	RTA	2003	DBLP DOI BibTeX RDF
12	Mauricio Ayala-Rincón, Rodrigo Borges Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein	Efficient Computation of Algebraic Operations over Dynamically Reconfigurable Systems Specified by Rewriting-Logic Environments.	SCCC	2003	DBLP DOI BibTeX RDF	Reconfigurable Systolic Arrays, Fast Fourier Transform, Rewriting-Logic, Term Rewriting Systems
12	María Alpuente, Santiago Escobar 0001, Bernhard Gramlich, Salvador Lucas	Improving On-Demand Strategy Annotations.	LPAR	2002	DBLP DOI BibTeX RDF	on-demand strategy annotations, lazy evaluation, Declarative programming, demandness, OBJ
12	Bernhard Gramlich, Salvador Lucas	Simple termination of context-sensitive rewriting.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	automatic proofs of termination, context-sensitive rewriting, modular program analysis and verification, declarative programming, evaluation strategies
12	Nasreddine Aoumeur, Gunter Saake	Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.	CAiSE	2002	DBLP DOI BibTeX RDF
12	Bernhard Gramlich, Salvador Lucas	Modular termination of context-sensitive rewriting.	PPDP	2002	DBLP DOI BibTeX RDF	context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies
12	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Mapping Modular SOS to Rewriting Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
12	Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky	Rewriting Logic as a Unifying Framework for Petri Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
12	Klaus Havelund, Grigore Rosu	Monitoring Programs Using Rewriting.	ASE	2001	DBLP DOI BibTeX RDF
12	José Luis Fernández Alemán, José Ambrosio Toval Álvarez	Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.	ISSRE	2000	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Software Model Reliability, Formal Verification, Requirements Specification
12	Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez	Guaranteeing Coherent Software Systems when Composing Coordinated Components.	COORDINATION	2000	DBLP DOI BibTeX RDF
12	David A. Basin, Manuel Clavel, José Meseguer 0001	Rewriting Logic as a Metalogical Framework.	FSTTCS	2000	DBLP DOI BibTeX RDF
12	Nasreddine Aoumeur, Gunter Saake	Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems.	CAiSE	1999	DBLP DOI BibTeX RDF
12	Peter D. Mosses	Logical Specification of Operational Semantics.	CSL	1999	DBLP DOI BibTeX RDF
12	Isabel Pita, Narciso Martí-Oliet	Using Reflection to Specify Transaction Sequences in Rewriting Logic.	WADT	1998	DBLP DOI BibTeX RDF
12	Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer 0001	Specification and Proof in Membership Equational Logic.	TAPSOFT	1997	DBLP DOI BibTeX RDF
12	José Meseguer 0001	Multiparadigm Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF