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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: Eighth International Workshop on Database and Expert Systems Applications, DEXA '97, Toulouse, France, September 1-2, 1997, Proceedings., pp. 550-555, 1997, IEEE Computer Society, 0-8186-8147-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 10(1), pp. 5-22, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Dorel Lucanu, Nicolae Surpatanu |
On Refinement in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Cuza Univ. ![In: Sci. Ann. Cuza Univ. 5, pp. 67-84, 1996. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![Elsevier The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
15 | Steven Eker |
Fast matching in combinations of regular equational theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 90-109, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Carolyn L. Talcott |
An actor rewriting theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 361-384, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Hélène Kirchner, Pierre-Etienne Moreau |
A reflective extension of ELAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 149-168, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 35-50, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Gadducci, Ugo Montanari |
Tiles, rewriting rules and CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 1-19, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Isabel Pita, Narciso Martí-Oliet |
A Maude specification of an object-oriented database model for telecommunication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 405-423, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Viry |
Input/Output for ELAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 51-64, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Martin Wirsing, Alexander Knapp |
A formal approach to object-oriented software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 322-360, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Castro |
Solving binary CSP using computational systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 246-265, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Ulrike Lechner |
Object-oriented specifications of distributed systems in the mu-Calculus and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 385-404, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 424-425, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Peter Borovanský, Claude Kirchner, Hélène Kirchner |
Controlling rewriting by rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 169-189, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer 0001 |
Principles of Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996, pp. 65-89, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: Sixth International Symposium on Software Reliability Engineering, ISSRE 1995, Toulouse, France, October 24-27, 1995, pp. 387-392, 1995, IEEE Computer Society, 0-8186-7131-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001 |
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 309-339, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Attoui, Michel Schneider |
A formal approach based on the rewriting logic for prototyping distributed information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: Proceedings of IEEE 5th International Workshop on Rapid System Prototyping, RSP 1994, Grenoble, France, June 20-23, 1994, pp. 184-19, 1994, IEEE Computer Society, 0-8186-5885-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Conditioned Rewriting Logic as a United Model of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 96(1), pp. 73-155, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Conditional Rewriting Logic: Deduction, Models and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 64-91, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Camilo Rocha, José Meseguer 0001 |
Theorem Proving Modulo Based on Boolean Equational Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 337-351, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(1-2), pp. 73-122, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, pp. 230-234, 2003, Springer, 3-540-40117-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández |
Proving Failure in Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 179-193, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 380-390, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers, pp. 95-114, 2006, Springer, 978-3-540-69618-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino |
Theoroidal Maps as Algebraic Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, pp. 126-143, 2004, Springer, 3-540-25327-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu |
Formal Analysis of Java Programs in JavaFAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 501-505, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Nasreddine Aoumeur |
Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 91-111, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 49-60, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 3-, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni, José Meseguer 0001 |
Generalized Rewrite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 252-266, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Maria Teresa Hortalá-González, Eva Ullán |
An Abstract Machine Based System for a Lazy Narrowing Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings, pp. 216-232, 2001, Springer, 3-540-41739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | José Meseguer 0001, Xiaolei Qian |
A Logical Semantics for Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 26-28, 1993., pp. 89-98, 1993, ACM Press, 978-0-89791-592-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Nasreddine Aoumeur, Kamel Barkaoui |
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 474-480, 2009, IEEE Computer Society, 978-0-7695-3613-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 1305-1307, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Aicha Choutri, Faiza Belala, Kamel Barkaoui |
Towards a tile based LfP semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Proceedings of the IEEE International Conference on Research Challenges in Information Science, RCIS 2008, Marrakech, Morocco, June 3-6, 2008, pp. 9-16, 2008, IEEE, 978-1-4244-1677-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB Workshops ![In: Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, CSB 2005 Workshops, Stanford, CA, USA, August 8-11, 2005, pp. 155-156, 2005, IEEE Computer Society, 0-7695-2442-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Vincent van Oostrom |
Sub-Birkhoff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 180-195, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 43-54, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings, pp. 164-165, 2003, Springer, 3-540-00605-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 333-348, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1684-1703, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
8 | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, pp. 138-146, 2009, IEEE Computer Society, 978-0-7695-3602-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
Dynamic Symbolic Execution for Testing Distributed Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 105-120, 2009, Springer, 978-3-642-02948-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
Dynamic Symbolic Execution of Distributed Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 225-230, 2009, Springer, 978-3-642-02137-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Leon Bendiksen, Peter Csaba Ölveczky |
The Priced-Timed Maude Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 443-448, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers, pp. 54-73, 2008, Springer, 978-3-642-00433-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero 0001 |
A Declarative Debugger for Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 116-121, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Peter Csaba Ölveczky, José Meseguer 0001 |
The Real-Time Maude Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 332-336, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Raman Sharykin, Phillip A. Porras |
Applying Formal Evaluation to Worm Defense Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 26th IEEE International Performance Computing and Communications Conference, IPCCC 2007, April 11-13, 2007, New Orleans, Louisiana, USA, pp. 479-486, 2007, IEEE Computer Society, 1-4244-1138-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 105-114, 2007, Springer, 978-3-540-76887-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas |
An Object-Oriented Component Model for Heterogeneous Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, pp. 257-279, 2007, Springer, 978-3-540-92187-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 122-140, 2007, Springer, 978-3-540-72919-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi |
Hierarchical Verification in Maude of L f P Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings, pp. 156-170, 2007, Springer, 978-3-540-75131-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Dorel Lucanu, Grigore Rosu |
CIRC : A Circular Coinductive Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 372-378, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | |
Applying Formal Methods to Compositionality Description of Web Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 13, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Flávio Oquendo |
pi-Method: a model-driven formal method for architecture-centric software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(3), pp. 1-13, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 357-372, 2006, Springer, 3-540-33093-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl |
A Dynamic Class Construct for Asynchronous Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, pp. 15-30, 2005, Springer, 3-540-26181-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe |
Inheritance in the Presence of Asynchronous Method Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Flávio Oquendo |
pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 29(5), pp. 1-20, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 132-147, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam |
VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe |
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures, pp. 274-295, 2004, Springer, 3-540-29131-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Gabriel Ciobanu, Dorel Lucanu |
Specification and Verification of Synchronizing Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 307-327, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers, pp. 29-42, 2004, Springer, 3-540-25340-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | José Raúl Romero, Antonio Vallecillo |
Formalizing ODP Computational Viewpoint Specifications in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings, pp. 212-223, 2004, IEEE Computer Society, 0-7695-2214-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Einar Broch Johnsen, Olaf Owe |
An Asynchronous Communication Model for Distributed Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 188-197, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden |
Pigeon: A Specification Language for Mobile Agent Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 1356-1357, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Gabriel Juhás, Robert Lorenz 0001, Tomás Singliar |
On Synchronicity and Concurrency in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 357-376, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented Information Systems, 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings, pp. 60-70, 2003, Springer, 3-540-40860-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 450-454, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Francisco Durán 0001 |
The Extensibility of Maude's Module Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 422-437, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
8 | Nikolaj S. Bjørner, César A. Muñoz |
Absolute Explicit Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 31-46, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
8 | Martin Leucker, Thomas Noll 0001 |
Rapid Prototyping of Specification Language Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), Clearwater, Florida, USA, June 16-18, 1999, pp. 60-65, 1999, IEEE Computer Society, 0-7695-0246-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
8 | José Meseguer 0001, Carolyn L. Talcott |
A Partial Order Event Model for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 415-430, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
8 | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández |
TOY: A Multiparadigm Declarative System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 244-247, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 240-243, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
8 | Hélène Kirchner, Pierre-Etienne Moreau |
Non-deterministic Computations in ELAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 168-182, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
8 | Gian-Luigi Ferrari 0002, Ugo Montanari |
A Tile-Based Coordination View of Asynchronous pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, pp. 52-70, 1997, Springer, 3-540-63437-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
8 | José Meseguer 0001 |
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 220-246, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #584 of 584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |