E-LIB Suche - Ergebnisse für: ARIAS, JAIME

1

CosyVerif: The Path to Formalisms Cohabitation:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

André, Étienne ; Arias, Jaime ; Barbot, Benoît... - p. 432-444 , 2024

Link: https://doi.org/10.1007/..

2

Symbolic analysis and parameter synthesis for networks of p..:

Arias, Jaime ; Bae, Kyungmin ; Olarte, Carlos...
Science of Computer Programming. 233 (2024) - p. 103074 , 2024

Link: https://doi.org/10.1016/..

3

Optimal Scheduling of Agents in ADTrees: Specialized Algori..:

Arias, Jaime ; Olarte, Carlos ; Petrucci, Laure...
IEEE Transactions on Reliability. 73 (2024) 2 - p. 861-875 , 2024

Link: https://doi.org/10.1109/..

4

Simple solutions for improving thermal comfort in huts in t..:

Mejia-Solis, Enrique ; Arias, Jaime ; Palm, Björn
Heliyon. 9 (2023) 10 - p. e19709 , 2023

Link: https://doi.org/10.1016/..

5

Symbolic Analysis and Parameter Synthesis for Time Petri Ne..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Arias, Jaime ; Bae, Kyungmin ; Olarte, Carlos... - p. 369-392 , 2023

Link: https://doi.org/10.1007/..

6

Investigating the heating and air conditioning provision ca..:

Thanasoulas, Sotirios ; Arias, Jaime ; Sawalha, Samer
Applied Thermal Engineering. 230 (2023) - p. 120782 , 2023

Link: https://doi.org/10.1016/..

7

Carbon storage in tree biomass dispersed in pastures in the..:

LOMBO, Darwin F. ; BURBANO, Esteban ; ARIAS, Jaime A..
Forest Systems. 32 (2023) 1 - p. e002 , 2023

Link: https://doi.org/10.5424/..

8

Symbolic Observation Graph-Based Generation of Test Paths:

, In: Tests and Proofs; Lecture Notes in Computer Science,

Klai, Kais ; Bennani, Mohamed Taha ; Arias, Jaime.. - p. 127-146 , 2023

Link: https://doi.org/10.1007/..

9

Structural styles of the Upper Magdalena valley, Northern A..:

, In: Andean Structural Styles,

Espitia, Wilmer ; Cortés, Martín ; Beltrán, Wilman.. - p. 139-148 , 2022

Link: https://doi.org/10.1016/..

10

Contributors:

, In: Andean Structural Styles,

Aizprua, Carlos ; Almeida, Rafael ; Arias, Jaime... - p. ix-xii , 2022

Link: https://doi.org/10.1016/..

11

Rewriting Logic Semantics and Symbolic Analysis for Paramet..:

, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,

Arias, Jaime ; Bae, Kyungmin ; Olarte, Carlos... - p. 3-15 , 2022

Link: https://dl.acm.org/doi/1..

12

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid Stat..:

, In: Lecture Notes in Computer Science; Verification and Evaluation of Computer and Communication Systems,

Klai, Kais ; Abid, Chiheb Ameur ; Arias, Jaime. - p. 27-42 , 2022

Link: https://doi.org/10.1007/..

13

Structural styles of the southern Putumayo Foreland Basin, ..:

, In: Andean Structural Styles,

Beltrán, Wilman ; Espitia, Wilmer ; Bello-Palacios, Daniel.. - p. 227-234 , 2022

Link: https://doi.org/10.1016/..

14

Minimal Schedule with Minimal Number of Agents in Attack-De..:

, In: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS),

Arias, Jaime ; Petrucci, Laure ; Masko, Lukasz.. - p. 1-10 , 2022

Link: https://doi.org/10.1109/..

15

Modular Analysis of Tree-Topology Models:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Arias, Jaime ; Knapik, Michał ; Penczek, Wojciech. - p. 36-53 , 2022

Link: https://doi.org/10.1007/..