|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 204 occurrences of 128 keywords
|
|
|
Results
Found 719 publication records. Showing 677 according to the selection in the facets
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 |
|
Displaying result #601 - #677 of 677 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7] |
|