Results
Found 584 publication records. Showing 584 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Ulrike Lechner, Beat F. Schmid |
Logic for Media - The Computational Media Metaphor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Labelled Deductive System, Multi Agent System, Rewriting Logic, Medium |
24 | Carlos Castro |
COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 107-119, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction Problems, Rewriting Logic |
23 | Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet |
Declarative Debugging of Rewriting Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 308-325, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Carlos Morra, João M. P. Cardoso, Jürgen Becker 0001 |
Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo |
Playing with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 159-184, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 31-37, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
A Sampler of Application Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 645-665, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | L. J. Steggles |
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 363-381, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Peter D. Mosses |
Logical Specification of Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 32-49, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Mauricio Ayala-Rincón, Thomas Mailleux Santana |
SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2006, Ouro Preto, MG, Brazil, August 28 - September 1, 2006, pp. 125-130, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf |
Modeling Workflows with Recursive ECATNets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania, pp. 389-398, 2006, IEEE Computer Society, 0-7695-2740-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Klaus Havelund, Grigore Rosu |
Monitoring Programs Using Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 135-143, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak |
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Rewriting, and Concurrency ![In: Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, pp. 451-474, 2015, Springer, 978-3-319-23164-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer 0001, T. S. E. Maibaum |
A Verification Logic for Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 15(3), pp. 317-352, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mohamed Larbi Rebaiaia, Jihad Mohamad Al Ja'am, Ahmad Hasnah |
An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: Proceedings of the 2003 10th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2003, Sharjah, United Arab Emirates, December 14-17, 2003, pp. 866-869, 2003, IEEE, 0-7803-8163-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Mark-Oliver Stehr |
Towards a unified language based on equational logic, rewriting logic, and type theory. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
19 | Miguel Palomino Tarjuelo |
Comparing Meseguer's Rewriting Logic with the Logic CRWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 255-276, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer 0001, Isabel Pita |
Towards a Verification Logic for Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers, pp. 438-458, 1999, Springer, 3-540-67898-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | José Meseguer 0001, Ugo Montanari |
Mapping tile logic into rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers, pp. 62-91, 1997, Springer, 3-540-64299-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
A Higher Order Rewriting Logic for Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 153-167, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
19 | José Meseguer 0001 |
Multiparadigm Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 158-200, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Rafael del Vado Vírseda |
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 169-184, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | H. J. Sander Bruggink |
Residuals in Higher-Order Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 123-137, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Noll 0001 |
On Coherence Properties in Team Rewriting Models of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 478-493, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michele Baggi, Demis Ballis, Moreno Falaschi |
Quantitative Pathway Logic for Computational Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings, pp. 68-82, 2009, Springer, 978-3-642-03844-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Peter Csaba Ölveczky |
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 241-248, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal modeling and analysis, object-oriented real-time systems, embedded medical devices, rewriting logic, metric temporal logic |
16 | Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur |
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, pp. 19-36, 2008, Springer, 978-3-642-01363-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic |
16 | Peter Csaba Ölveczky, José Meseguer 0001 |
Semantics and pragmatics of Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(1-2), pp. 161-196, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification |
16 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005, pp. 1-12, 2005, ACM, 1-59593-231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal methods, protocol verification, rewriting logic |
16 | Federico Balaguer |
Model checking the behavior of frameworks extended with other frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 122-123, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
object-oriented, frameworks, temporal logic, rewriting logic |
16 | David A. Basin, Manuel Clavel, José Meseguer 0001 |
Reflective metalogical frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(3), pp. 528-576, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
metalogics, reflection, rewriting logic, Membership equational logic |
15 | Carolyn L. Talcott |
Symbolic modeling of signal transduction in pathway logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1656-1665, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem |
Formalizing ARTIS Agent Model Using RT-Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, pp. 226-231, 2009, Springer, 978-3-642-04142-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ARTIS Agent, Real-Time Maude, Formal specification, Validation |
15 | José Meseguer 0001 |
The Temporal Logic of Rewriting: A Gentle Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 354-382, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Chafia Bouanaka, Faiza Belala |
Towards a mobile architecture description language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 743-748, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse |
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 412-426, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky, José Meseguer 0001 |
Specification and Analysis of Real-Time Systems Using Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 354-358, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
The Maude 2.0 System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 76-87, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott |
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANCE ![In: 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 29-31 May 2002, San Francisco, CA, USA, pp. 494-510, 2002, IEEE Computer Society, 0-7695-1564-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Nasreddine Aoumeur, Gunter Saake |
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 11th International Conference CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings, pp. 381-395, 1999, Springer, 3-540-66157-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Marian Vittek |
A Compiler for Nondeterministic Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings, pp. 154-167, 1996, Springer, 3-540-61464-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci |
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01884, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia |
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.09021, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Model checking strategy-controlled systems in rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.07616, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Nicolás Pozas, Camilo Rocha |
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 136, pp. 100928, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Compositional Verification in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 24(1), pp. 57-109, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Compositional Verification in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.16537, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Olarte, Elaine Pimentel, Camilo Rocha |
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 130, pp. 100827, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
QMaude: Quantitative Specification and Verification in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 240-259, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri |
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: IEEE International Conference on Networking, Sensing and Control, ICNSC 2023, Marseille, France, October 25-27, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-6950-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001 |
Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 21(4), pp. 4:1-12, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alejandro Rodríguez 0006, Francisco Durán 0001, Lars Michael Kristensen |
Simulation and analysis of MultEcore multilevel models based on rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 21(2), pp. 561-586, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Model checking strategy-controlled systems in rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 29(1), pp. 7, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Olarte, Camilo Rocha, Daniel Osorio |
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.05813, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco 0001, Uemura Yasuyoshi |
Hardware Trojan detection via rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 127, pp. 100762, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui |
Formal verification of IoT applications using rewriting logic: An MDE-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 222, pp. 102859, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | María Alpuente, Santiago Escobar 0001, Julia Sapiña, Demis Ballis |
Symbolic Specialization of Rewriting Logic Theories with Presto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 22(3), pp. 444-495, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming |
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022, pp. 3-15, 2022, ACM, 978-1-4503-9907-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lorenzo Capra |
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings, pp. 140-156, 2022, Springer, 978-3-030-94875-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Kyungmin Bae (eds.) |
Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![Springer, 978-3-031-12440-2 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Simon Thrane Hansen, Peter Csaba Ölveczky |
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 130-150, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo |
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 3-21, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Mödersheim |
Rewriting Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 22-41, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Raúl López-Rueda, Santiago Escobar 0001 |
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 45-64, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Canh Minh Do, Adrián Riesco 0001, Santiago Escobar 0001, Kazuhiro Ogata 0001 |
Parallel Maude-NPA for Cryptographic Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 253-273, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001 |
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 230-250, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Raúl López-Rueda, Santiago Escobar 0001, José Meseguer 0001 |
An Efficient Canonical Narrowing Implementation for Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 151-170, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio |
An Overview of the Maude Strategy Language and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 65-84, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Checking Sufficient Completeness by Inductive Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 171-190, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Stephen Skeirik |
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 191-211, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky |
Teaching Formal Methods to Undergraduate Students Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 85-110, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio |
Maude as a Library: An Efficient All-Purpose Programming Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 274-294, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Vivek Nigam, Carolyn L. Talcott |
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 212-229, 2022, Springer, 978-3-031-12440-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña |
Symbolic Specialization of Rewriting Logic Theories with Presto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.10201, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Carlos Olarte, Elaine Pimentel, Camilo Rocha |
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.03113, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Ammar Boucherit, Kamel Barkaoui, Osman Hasan |
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)., pp. 155-174, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan |
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiagent Grid Syst. ![In: Multiagent Grid Syst. 16(1), pp. 47-66, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui |
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Aided Eng. Technol. ![In: Int. J. Comput. Aided Eng. Technol. 12(2), pp. 237-262, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Compositional Specification in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 20(1), pp. 44-98, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Escobar 0001, Narciso Martí-Oliet (eds.) |
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![Springer, 978-3-030-63594-7 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Vivek Nigam, Carolyn L. Talcott |
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 197-215, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Stephen Skeirik, José Meseguer 0001, Camilo Rocha |
Verification of the IBOS Browser Security Properties in Reachability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 176-196, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Thierry Boy de la Tour, Rachid Echahed |
Combining Parallel Graph Rewriting and Quotient Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 1-18, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
Strategies, Model Checking and Branching-Time Properties in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 156-175, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Stephen Skeirik |
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 114-135, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Variant Satisfiability of Parameterized Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 96-113, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mitsuhiro Okada, Yuta Takahashi |
A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 136-155, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Xiaohong Chen 0002, Dorel Lucanu, Grigore Rosu |
Connecting Constrained Constructor Patterns and Matching Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 19-37, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Variants in the Infinitary Unification Wonderland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 75-95, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mircea Marin, Besik Dundua, Temur Kutsia |
A Rule-Based System for Computation and Deduction in Mathematica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 57-74, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Camilo Rocha, Gwen Salaün |
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 38-56, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Compositional specification in rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.11769, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Miguel Romero 0005, Sergio Ramírez, Camilo Rocha, Frank Valencia |
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.03819, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Francisco Durán 0001, Camilo Rocha, Gwen Salaün |
A rewriting logic approach to resource allocation analysis in business process models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 183, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Peter Csaba Ölveczky |
Design and Validation of Cloud Storage Systems Using Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019, pp. 17-21, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ammar Boucherit, Abdallah Khababa, Laura M. Castro |
Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiagent Grid Syst. ![In: Multiagent Grid Syst. 14(4), pp. 403-418, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 60(4), pp. 421-463, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Durán 0001, Camilo Rocha, Gwen Salaün |
Stochastic analysis of BPMN with time in rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 168, pp. 1-17, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001 |
Symbolic Reasoning Methods in Rewriting Logic and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 25-60, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto |
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018., pp. 359-366, 2018, SciTePress, 978-989-758-300-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |