|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 204 occurrences of 128 keywords
|
|
|
Results
Found 719 publication records. Showing 677 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Jon Grov, Peter Csaba Ölveczky |
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 494-519, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez 0002 |
Dynamic Validation of Maude Prototypes of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 212-228, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Camilo Rocha, José Meseguer 0001 |
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 603-629, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago |
A rewriting-based forwards semantics for Maude-NPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotSoS ![In: Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014, pp. 3, 2014, ACM, 978-1-4503-2907-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Zakaria Benzadri, Chafia Bouanaka, Faïza Belala |
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESaaSA@CLOSER ![In: ESaaSA 2014 - Proceedings of the International Workshop on Emerging Software as a Service and Analytics, Barcelona, Spain, April 3-5, 2014., pp. 3-12, 2014, SciTePress, 978-989-758-026-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Sonia Santiago, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings, pp. 162-177, 2014, Springer, 978-3-319-11850-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001 |
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 52-68, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Antonio Moreno-Delgado, Francisco Durán 0001 |
The Movie Database Case: A Solution Using the Maude-based e-Motions Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTC@STAF ![In: Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014., pp. 116-124, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Narciso Martí-Oliet, Francisco Durán 0001, Alberto Verdejo |
Equational Abstractions in Rewriting Logic and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 17-31, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Antonio González-Burgueño, Sonia Santiago, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
Analysis of the IBM CCA Security API Protocols in Maude-NPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings, pp. 111-130, 2014, Springer, 978-3-319-14053-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Nissreen A. S. El-Saber, Artur Boronat |
BPMN Formalization and Verification using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BM-FA ![In: Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, BM-FA 2014, York, United Kingdom, July 22-22, 2014, pp. 1, 2014, ACM, 978-1-4503-2791-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente |
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 21-41, 2014, Springer, 978-3-319-12903-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky |
Real-Time Maude and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 42-79, 2014, Springer, 978-3-319-12903-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Massimo Bartoletti, Maurizio Murgia 0001, Alceste Scalas, Roberto Zunino |
Modelling and Verifying Contract-Oriented Systems in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 130-146, 2014, Springer, 978-3-319-12903-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001 |
An Integration of CafeOBJ into Full Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 230-246, 2014, Springer, 978-3-319-12903-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Si Liu 0003, Peter Csaba Ölveczky, José Meseguer 0001 |
A Framework for Mobile Ad hoc Networks in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 162-177, 2014, Springer, 978-3-319-12903-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Conditional Narrowing Modulo in Rewriting Logic and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 80-96, 2014, Springer, 978-3-319-12903-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Zakaria Benzadri, Chafia Bouanaka, Faiza Belala |
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAASE ![In: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014., pp. 165-170, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Sahar Smaali, Aïcha Choutri, Faïza Belala |
K-Maude Definition of Dynamic Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAASE ![In: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014., pp. 92-99, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Vlad Rusu |
Embedding domain-specific modelling languages in Maude specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 12(4), pp. 847-869, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Camilo Rocha |
Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Colomb. de Computación ![In: Rev. Colomb. de Computación 14(2), pp. 98-121, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
Meta SOS - A Maude Based SOS Meta-Theory Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 93-107, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Farid Mokhati, Yahia Menassel |
Towards formalising use case maps in Maude strategy language: application to multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 47(2/3), pp. 138-151, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Scibor Sobieski, Bartosz Zielinski 0002 |
Using maude rewriting system to modularize and extend SQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, pp. 853-858, 2013, ACM, 978-1-4503-1656-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah |
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers, pp. 178-194, 2013, Springer, 978-3-319-05415-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu 0005 |
Linking the Semantics of BPEL Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (1) ![In: 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, pp. 422-431, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Fabrizio Pecoraro, Daniela Luzi |
Detecting Software Failures in the MAUDE Database: A Preliminary Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2013 - Proceedings of the 14th World Congress on Medical and Health Informatics, 20-13 August 2013, Copenhagen, Denmark, pp. 1098, 2013, IOS Press, 978-1-61499-288-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem |
Formalizing SIMBA RTMAS Models using Real-time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 1, Barcelona, Spain, 15-18 February, 2013, pp. 411-414, 2013, SciTePress, 978-989-8565-38-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
18 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
A Timed CTL Model Checker for Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 334-339, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Muhammad Fadlisyah, Peter Csaba Ölveczky |
The HI-Maude Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 322-327, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu |
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 29-36, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu 0005 |
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 260-263, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Kyungmin Bae, Joshua Krisiloff, José Meseguer 0001, Peter Csaba Ölveczky |
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012., pp. 5-21, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis |
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 77(12), pp. 1235-1271, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Isabel Pita, María-Inés Fernández-Camacho |
Formal Specification of the Kademlia and the Kad Routing Tables in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, pp. 231-247, 2012, Springer, 978-3-642-37634-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001 |
Using Semantics Specified in Maude to Generate Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 90-104, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Huibiao Zhu, Peng Liu, Jifeng He 0001, Shengchao Qin |
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers, pp. 164-185, 2012, Springer, 978-3-642-35704-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra |
Formal specification of multisimulations using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 22, 2012, SCS/ACM, 978-1-61839-786-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001 |
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 54-82, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
Timed CTL Model Checking in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 182-200, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 139-161, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 118-138, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu |
Making Maude Definitions More Interactive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 83-98, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001 |
Using Narrowing to Test Maude Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 201-220, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | José Meseguer 0001 |
Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 1095-1102, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Isabel Pita, Adrián Riesco 0001 |
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011, pp. 61-71, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Gregory Blanc, Youki Kadobayashi |
A Step towards Static Script Malware Abstraction: Rewriting Obfuscated Script with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 94-D(11), pp. 2159-2166, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Malika Benammar, Faiza Belala, Kamel Barkaoui |
Implémentation orientée objet d'ABAReL en Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 30(6), pp. 741-767, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Vlad Rusu |
Embedding domain-specific modelling languages in maude specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(1), pp. 1-8, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Artur Boronat, José Meseguer 0001 |
Automated Model Synchronization: A Case Study on UML with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Andrea Vandin, Alberto Lluch-Lafuente |
Towards a Maude Tool for Model Checking Temporal Graph Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Verdejo, Narciso Martí-Oliet |
Basic completion strategies as another application of the Maude strategy language ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011., pp. 17-36, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky |
Formal Model Engineering for Embedded Systems Using Real-Time Maude ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMMSE ![In: Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011., pp. 3-13, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
State Space Reduction in the Maude-NRL Protocol Analyzer ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1105.5282, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Francisco Durán 0001, Martin Gogolla, Manuel Roldán |
Tracing Properties of UML and OCL Models with Maude ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMMSE ![In: Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011., pp. 81-97, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Francisco Gutiérrez, Pablo López, Ernesto Pimentel 0001 |
On the Formal Analysis of P2P Algorithms with aSMoL and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIbSE ![In: Proceedings of the 14th Iberoamerican Conference on Software Engineering, CIbSE 2011, Rio de Janeiro, Brasil, April 27-29, 2011, pp. 225-238, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer 0001 |
Synchronous AADL and Its Formal Analysis in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, pp. 651-667, 2011, Springer, 978-3-642-24558-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Camilo Rocha, José María Álvarez 0002 |
Towards a Maude Formal Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Modeling: Actors, Open Systems, Biological Systems ![In: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, pp. 329-351, 2011, Springer, 978-3-642-24932-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky |
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Modeling: Actors, Open Systems, Biological Systems ![In: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, pp. 368-402, 2011, Springer, 978-3-642-24932-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Santiago Escobar 0001, Deepak Kapur, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse |
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 65-76, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Bruni, Alberto Lluch-Lafuente |
Evaluating the Performance of Model Transformation Styles in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 79-96, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, José Meseguer 0001, Carolyn L. Talcott |
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 31-40, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Anduo Wang, Carolyn L. Talcott, Limin Jia 0001, Boon Thau Loo, Andre Scedrov |
Analyzing BGP Instances in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, pp. 334-348, 2011, Springer, 978-3-642-21460-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Scibor Sobieski, Bartosz Zielinski 0002 |
Modularisation in Maude of Parametrized RBAC for Row Level Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems - 15th International Conference, ADBIS 2011, Vienna, Austria, September 20-23, 2011. Proceedings, pp. 401-414, 2011, Springer, 978-3-642-23736-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Camilo Rocha, José María Álvarez 0002 |
Tool Interoperability in the Maude Formal Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 400-406, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Rafael Caballero 0001, Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet |
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers, pp. 73-89, 2011, Springer, 978-3-642-32210-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, pp. 415-430, 2011, Springer, 978-3-642-24689-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour |
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 9(3), pp. 59-77, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder 0001 |
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTRTS ![In: Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010., pp. 1-25, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Kyungmin Bae, Peter Csaba Ölveczky |
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTRTS ![In: Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010., pp. 46-66, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám |
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTRTS ![In: Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010., pp. 117-136, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Narciso Martí-Oliet |
An Introduction to Maude and Some of Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 4-9, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001 |
Test-Case Generation for Maude Functional Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers, pp. 287-301, 2010, Springer, 978-3-642-28411-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet |
A Complete Declarative Debugger for Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers, pp. 216-225, 2010, Springer, 978-3-642-17795-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Mihai Codescu, Till Mossakowski, Adrián Riesco 0001, Christian Maeder |
Integrating Maude into Hets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers, pp. 60-75, 2010, Springer, 978-3-642-17795-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Marc Boyer |
NC-Maude: A Rewriting Tool to Play with Network Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, pp. 137-151, 2010, Springer, 978-3-642-16557-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Hamza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem |
Towards formalizing web service composition in Maude's strategy language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWSA ![In: Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications, ISWSA 2010, Amman, Jordan, June 14-16, 2010, pp. 15, 2010, ACM, 978-1-4503-0475-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Ralf Sasse, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers, pp. 163-178, 2010, Springer, 978-3-642-22443-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet |
Declarative Debugging of Missing Answers for Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 277-294, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky, Artur Boronat, José Meseguer 0001 |
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, pp. 47-62, 2010, Springer, 978-3-642-13463-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago |
Sequential Protocol Composition in Maude-NPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2010, 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings, pp. 303-318, 2010, Springer, 978-3-642-15496-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, José Meseguer 0001 |
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 86-103, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Kyungmin Bae, José Meseguer 0001 |
The Linear Temporal Logic of Rewriting Maude Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 208-225, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet |
Enhancing the Debugging of Maude Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 226-242, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, José Meseguer 0001 |
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 69-85, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Traian-Florin Serbanuta, Grigore Rosu |
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 104-122, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | José Eduardo Rivera, Francisco Durán 0001, Antonio Vallecillo |
Formal Specification and Analysis of Domain Specific Models Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 85(11-12), pp. 778-792, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Sonia Santiago, Carolyn L. Talcott, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
A Graphical User Interface for Maude-NPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 3-20, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Francisco Durán 0001, Meriem Ouederni, Gwen Salaün |
Checking Protocol Compatibility using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009, pp. 65-81, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
A Natural Implementation of Plural Semantics in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDTA ![In: Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, LDTA 2009, York, UK, March 27-28, 2009, pp. 165-175, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Farid Mokhati, Mourad Badri |
Generating Maude Specifications From UML Use Case Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 8(2), pp. 319-136, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Peter Csaba Ölveczky, Stian Thorvaldsen |
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 410(2-3), pp. 254-280, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Roldán, Francisco Durán 0001, Antonio Vallecillo |
Invariant-driven specifications in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 74(10), pp. 812-835, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid |
Porting IgorII from Maude to Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIP ![In: Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers, pp. 140-158, 2009, Springer, 978-3-642-11930-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Fabio Martinelli, Marinella Petrocchi |
Executable Specification of Cryptofraglets in Maude for Security Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIONETICS ![In: Bioinspired Models of Network, Information, and Computing Systems - 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers, pp. 11-23, 2009, Springer, 978-3-642-12807-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Artur Boronat, José Meseguer 0001 |
MOMENT2: EMF Model Transformations in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009, pp. 178-179, 2009, 978-84-692-4211-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Francisco Gutiérrez |
Web Services and Interoperability for the Maude Termination Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 83-92, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001, Pedro Ojeda, Daniel Romero 0001 |
A Tool for Automated Certification of Java Source Code in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 19-29, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo |
A Declarative Debugger for Maude Functional Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 63-81, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Bjarne Holen, Einar Broch Johnsen, Arild Waaler |
Proof Search for the First-Order Connection Calculus in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 173-188, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 677 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|