Suchergebnisse - Riesco, Adrian

1

A Survey of Algorithmic Debugging von Caballero, Rafael, Riesco, Adrián, Silva, Josep

Veröffentlicht in ACM computing surveys

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

An integrated tool set for verifying CafeOBJ specifications von Riesco, Adrián, Ogata, Kazuhiro

Veröffentlicht in The Journal of systems and software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings von Riesco, Adrian, Zhang, Min

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information von Santos-Buitrago, Beatriz, Riesco, Adrian, Knapp, Merrill, Alcantud, Jose Carlos R., Santos-Garcia, Gustavo, Talcott, Carolyn

Veröffentlicht in IEEE access

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

A core Erlang semantics for declarative debugging von Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

FlinkCheck: Property-Based Testing for Apache Flink von Espinosa, Cristina Valentina, Martin-Martin, Enrique, Riesco, Adrian, Rodriguez-Hortala, Juan

Veröffentlicht in IEEE access

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

A Language-Independent Technique for Assessing Tweet Success: An Experience Report von Martin-Martin, Enrique, Riesco, Adrian, Rodriguez, Manuel

Veröffentlicht in IEEE access

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores von Riesco, Adrián, Ogata, Kazuhiro

Veröffentlicht in ACM transactions on software engineering and methodology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Maude2Lean: Theorem proving for Maude specifications using Lean von Rubio, Rubén, Riesco, Adrián

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way von Do, Canh Minh, Phyo, Yati, Riesco, Adrián, Ogata, Kazuhiro

Veröffentlicht in ACM transactions on software engineering and methodology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

EDD: A Declarative Debugger for Sequential Erlang Programs von Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrian, Tamarit, Salvador

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Singular and plural functions for functional logic programming von RIESCO, ADRIÁN, RODRÍGUEZ-HORTALÁ, JUAN

Veröffentlicht in Theory and practice of logic programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators von Riesco, Adrián, Rodríguez-Hortalá, Juan

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

A unified framework for declarative debugging and testing von Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador

Veröffentlicht in Information and software technology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Creusot: A Foundry for the Deductive Verification of Rust Programs von Denis, Xavier, Jourdan, Jacques-Henri, Marché, Claude

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

A Maude environment for CafeOBJ von Riesco, Adrián, Ogata, Kazuhiro, Futatsugi, Kokichi

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Verification of the ROS NavFn planner using executable specification languages von Martin-Martin, Enrique, Montenegro, Manuel, Riesco, Adrián, Rodríguez-Hortalá, Juan, Rubio, Rubén

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving von Bui, Dang Duy, Tran, Duong Dinh, Ogata, Kazuhiro, Riesco, Adrian

Veröffentlicht in Multimedia tools and applications

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

An Integration of CafeOBJ into Full Maude von Riesco, Adrián

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

A Survey of Algorithmic Debugging von Caballero, Rafael, Riesco, Adrián, Silva, Josep

An integrated tool set for verifying CafeOBJ specifications von Riesco, Adrián, Ogata, Kazuhiro

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings von Riesco, Adrian, Zhang, Min

Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information von Santos-Buitrago, Beatriz, Riesco, Adrian, Knapp, Merrill, Alcantud, Jose Carlos R., Santos-Garcia, Gustavo, Talcott, Carolyn

A core Erlang semantics for declarative debugging von Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador

FlinkCheck: Property-Based Testing for Apache Flink von Espinosa, Cristina Valentina, Martin-Martin, Enrique, Riesco, Adrian, Rodriguez-Hortala, Juan

A Language-Independent Technique for Assessing Tweet Success: An Experience Report von Martin-Martin, Enrique, Riesco, Adrian, Rodriguez, Manuel

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores von Riesco, Adrián, Ogata, Kazuhiro

Maude2Lean: Theorem proving for Maude specifications using Lean von Rubio, Rubén, Riesco, Adrián

Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way von Do, Canh Minh, Phyo, Yati, Riesco, Adrián, Ogata, Kazuhiro

EDD: A Declarative Debugger for Sequential Erlang Programs von Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrian, Tamarit, Salvador

Singular and plural functions for functional logic programming von RIESCO, ADRIÁN, RODRÍGUEZ-HORTALÁ, JUAN

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators von Riesco, Adrián, Rodríguez-Hortalá, Juan

A unified framework for declarative debugging and testing von Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador

Creusot: A Foundry for the Deductive Verification of Rust Programs von Denis, Xavier, Jourdan, Jacques-Henri, Marché, Claude

A Maude environment for CafeOBJ von Riesco, Adrián, Ogata, Kazuhiro, Futatsugi, Kokichi

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Verification of the ROS NavFn planner using executable specification languages von Martin-Martin, Enrique, Montenegro, Manuel, Riesco, Adrián, Rodríguez-Hortalá, Juan, Rubio, Rubén

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving von Bui, Dang Duy, Tran, Duong Dinh, Ogata, Kazuhiro, Riesco, Adrian

An Integration of CafeOBJ into Full Maude von Riesco, Adrián

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle