Results
Found 584 publication records. Showing 584 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Yahia Rabih, Elias Tahhan-Bittar, Michel Schneider |
Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic. |
DEXA Workshops |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Attoui, Michel Schneider |
A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic. |
Real Time Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Dorel Lucanu, Nicolae Surpatanu |
On Refinement in Rewriting Logic. |
Sci. Ann. Cuza Univ. |
1996 |
DBLP BibTeX RDF |
|
15 | José Meseguer 0001 (eds.) |
First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996 |
WRLA |
1996 |
DBLP BibTeX RDF |
|
15 | Steven Eker |
Fast matching in combinations of regular equational theories. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Carolyn L. Talcott |
An actor rewriting theory. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Hélène Kirchner, Pierre-Etienne Moreau |
A reflective extension of ELAN. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek |
ELAN: A logical framework based on computational systems. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Gadducci, Ugo Montanari |
Tiles, rewriting rules and CCS. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Isabel Pita, Narciso Martí-Oliet |
A Maude specification of an object-oriented database model for telecommunication networks. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Viry |
Input/Output for ELAN. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Martin Wirsing, Alexander Knapp |
A formal approach to object-oriented software engineering. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Castro |
Solving binary CSP using computational systems. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Ulrike Lechner |
Object-oriented specifications of distributed systems in the mu-Calculus and Maude. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Preface. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Peter Borovanský, Claude Kirchner, Hélène Kirchner |
Controlling rewriting by rewriting. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer 0001 |
Principles of Maude. |
WRLA |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Attoui, David R. C. Hill |
A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic. |
ISSRE |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001 |
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Attoui, Michel Schneider |
A formal approach based on the rewriting logic for prototyping distributed information systems. |
RSP |
1994 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Conditioned Rewriting Logic as a United Model of Concurrency. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Conditional Rewriting Logic: Deduction, Models and Concurrency. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Camilo Rocha, José Meseguer 0001 |
Theorem Proving Modulo Based on Boolean Equational Procedures. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
A new generic scheme for functional logic programming with constraints. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Logic programming, Constraints, Functional programming |
13 | Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan |
The Maude LTL Model Checker and Its Implementation. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández |
Proving Failure in Functional Logic Programs. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Unification and Narrowing in Maude 2.4. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
13 | M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer |
Prototyping 3APL in the Maude Term Rewriting Language. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino |
Theoroidal Maps as Algebraic Simulations. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu |
Formal Analysis of Java Programs in JavaFAN. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Nasreddine Aoumeur |
Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Rafael del Vado Vírseda |
A higher-order logical framework for the algorithmic debugging and verification of declarative programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus |
12 | José Meseguer 0001 |
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni, José Meseguer 0001 |
Generalized Rewrite Theories. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Maria Teresa Hortalá-González, Eva Ullán |
An Abstract Machine Based System for a Lazy Narrowing Calculus. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
12 | José Meseguer 0001, Xiaolei Qian |
A Logical Semantics for Object-Oriented Databases. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Nasreddine Aoumeur, Kamel Barkaoui |
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Aicha Choutri, Faiza Belala, Kamel Barkaoui |
Towards a tile based LfP semantics. |
RCIS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | 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 |
|
10 | Vincent van Oostrom |
Sub-Birkhoff. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
A lazy narrowing calculus for declarative constraint programming. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages |
10 | Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott |
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. |
CMSB |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele |
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr |
Maude as a Formal Meta-tool. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
8 | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
Dynamic Symbolic Execution for Testing Distributed Objects. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
Dynamic Symbolic Execution of Distributed Concurrent Objects. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Leon Bendiksen, Peter Csaba Ölveczky |
The Priced-Timed Maude Tool. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
8 | José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo |
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. |
SLE |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero 0001 |
A Declarative Debugger for Maude. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Peter Csaba Ölveczky, José Meseguer 0001 |
The Real-Time Maude Tool. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Raman Sharykin, Phillip A. Porras |
Applying Formal Evaluation to Worm Defense Design. |
IPCCC |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Francesco Pagliarecci, Loris Penserini, Luca Spalazzi |
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan. |
OTM Workshops (1) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas |
An Object-Oriented Component Model for Heterogeneous Nets. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Peter Csaba Ölveczky, Stian Thorvaldsen |
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi |
Hierarchical Verification in Maude of L f P Software Architectures. |
ECSA |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Dorel Lucanu, Grigore Rosu |
CIRC : A Circular Coinductive Prover. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
8 | |
Applying Formal Methods to Compositionality Description of Web Service. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Flávio Oquendo |
pi-Method: a model-driven formal method for architecture-centric software engineering. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering |
8 | Peter Csaba Ölveczky, Marco Caccamo |
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl |
A Dynamic Class Construct for Asynchronous Concurrent Objects. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe |
Inheritance in the Presence of Asynchronous Method Calls. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Flávio Oquendo |
pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
architecture refinement languages, formal development techniques, software architectures, stepwise refinement |
8 | Azadeh Farzan, José Meseguer 0001, Grigore Rosu |
Formal JVM Code Analysis in JavaFAN. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam |
VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe |
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
8 | 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 |
8 | Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri |
Specifying DIMA Multi-agents Models Using Maude. |
PRIMA |
2004 |
DBLP DOI BibTeX RDF |
|
8 | José Raúl Romero, Antonio Vallecillo |
Formalizing ODP Computational Viewpoint Specifications in Maude. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe |
An Asynchronous Communication Model for Distributed Concurrent Objects. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
Pigeon: A Specification Language for Mobile Agent Applications. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Gabriel Juhás, Robert Lorenz 0001, Tomás Singliar |
On Synchronicity and Concurrency in Petri Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Nasreddine Aoumeur, Gunter Saake |
Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Reiko Heckel, Tom Mens, Michel Wermelinger |
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Francisco Durán 0001 |
The Extensibility of Maude's Module Algebra. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
8 | Nikolaj S. Bjørner, César A. Muñoz |
Absolute Explicit Unification. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
8 | Martin Leucker, Thomas Noll 0001 |
Rapid Prototyping of Specification Language Implementations. |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
|
8 | José Meseguer 0001, Carolyn L. Talcott |
A Partial Order Event Model for Concurrent Objects. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
8 | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández |
TOY: A Multiparadigm Declarative System. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
8 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada |
The Maude System. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
8 | Hélène Kirchner, Pierre-Etienne Moreau |
Non-deterministic Computations in ELAN. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
8 | Gian-Luigi Ferrari 0002, Ugo Montanari |
A Tile-Based Coordination View of Asynchronous pi-Calculus. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
8 | José Meseguer 0001 |
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #584 of 584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |