• Suche: "Formal Methods in Software Verification and Control"

Treffer 1 - 20 von 135

1

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
Luiz Carvalho ; Renzo Degiovanni ; Maxime Cordy ; et al.
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-13

FOS: Computer and inform... Model checking Automated Software Testi... 4. Education Linear temporal logic Fuzz testing …
Fachzeitschrift
Zu den Favoriten
2

Modeling and Analysis of Cooperative Packet Recovery Protocol
Muhammad Naeem ; Muhammad Atif ; Arshad Ali ; et al.
IEEE Access, Vol 12, Pp 56334-56343 (2024)
Naeem, M, Atif, M, Ali, A, Gulzar, M & Hasrat, I R 2024, 'Modeling and Analysis of Cooperative Packet Recovery Protocol', IEEE Access, vol. 12, pp. 56334-56343. https://doi.org/10.1109/ACCESS.2024.3389738

Alternative medicine Computer Networks and Co... End-to-End Congestion Co... RTP Control Protocol Transmission delay 7. Clean energy …
Fachzeitschrift
Zu den Favoriten
3

Laws of Timed State Machines
Ana Cavalcanti ; Madiel Conserva Filho ; Pedro Ribeiro ; et al.
The Computer Journal. 67:2066-2107

Artificial intelligence 0102 computer and inform... 02 engineering and techn... Normalization (sociology... Operator (biology) 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
4

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving
Dang Duy Bui ; Duong Dinh Tran ; Kôichi Ogata ; et al.
Multimedia Tools and Applications. 83:36865-36898

Artificial intelligence Abstract Interpretation Commutative property 0102 computer and inform... 02 engineering and techn... Poaceae …
Fachzeitschrift
Zu den Favoriten
5

Towards automatic Maude specifications generation from C functions
Fateh Boutekkouk
Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)

Rewriting Information technology 0102 computer and inform... 02 engineering and techn... Epistemology 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
6

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Figueira, Diego ; Figueira, Santiago ; Pin, Edwin
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-13

FOS: Computer and inform... Computer Science - Logic... Artificial intelligence Class (philosophy) Computer Science - Artif... Geometry …
Fachzeitschrift
Zu den Favoriten
7

An Original Approach for Translating Grafcet into C/Unix Code for Validation Purposes
Nacéra Benaouda ; A. Benaouda
Engineering, Technology & Applied Science Research. 12:9697-9702

0209 industrial biotechn... Modeling and Control of... FOS: Mechanical engineer... Set (abstract data type) 02 engineering and techn... Unix …
Fachzeitschrift
Zu den Favoriten
8

Diagnosability Verification in Labeled Petri Nets Using a Twin Model
Shaopeng Hu ; Yihui Hu ; Sharefa Murad ; et al.

Modeling and Control of... Petri net Computer science 7. Clean energy Industrial and Manufactu... Programming language …
Fachzeitschrift
Zu den Favoriten
9

Stochastic Activity Networks Templates: Supporting Variability in Performability Models
Montecchi, Leonardo ; Lollini, Paolo ; Bondavalli, Andrea
IEEE Transactions on Reliability

FOS: Computer and inform... Computer Science - Logic... Formal Languages and Aut... Computer Networks and Co... Concurrency Modeling Modeling and Control of... …
Fachzeitschrift
Zu den Favoriten
10

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Joseph W. N. Paulus ; Daniele Nantes-Sobrinho ; Jorge A. Pérez
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

FOS: Computer and inform... Computer Science - Logic... Artificial intelligence Logic Linear logic 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
11

Switching controller synthesis for delay hybrid systems under perturbations
Ye Bai ; Tao Gan ; Jiao Li ; et al.
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. :1-11

Automaton Hybrid automaton Artificial intelligence 0209 industrial biotechn... Modeling and Control of... Automata Theory and Form... …
Fachzeitschrift
Zu den Favoriten
12

Session-based concurrency, declaratively
Mauricio Cano ; Hugo A. López ; Jorge A. Pérez ; et al.
Cano, M, Lopez, H A, Perez, J A & Rueda, C 2022, ' Session-based concurrency, declaratively ', Acta Informatica, vol. 59, pp. 37–123 . https://doi.org/10.1007/s00236-021-00395-w

Artificial intelligence Computer Networks and Co... Session types Geometry 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
13

Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems
Denis S. Loubach ; Ricardo Bonna ; George Ungureanu ; et al.
IEEE Access, Vol 9, Pp 156337-156360 (2021)

Executable Embedded systems Dynamic Reconfiguration System-Level Design Epistemology 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
14

Towards Refinable Choreographies
Ugo de'Liguoro ; Hernán Melgratti ; Emilio Tuosto
Journal of Logic and Algebraic Methods in Programming

FOS: Computer and inform... Computer Science - Logic... 0102 computer and inform... 02 engineering and techn... Type Inference 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
15

Second-Order Finite Automata
Alexsander A. de Melo ; Mateus de Oliveira Oliveira
Lecture Notes in Computer Science ISBN: 9783030500252
Theory of Computing Systems

FOS: Computer and inform... Combinatorics on Words Automaton Formal Languages and Aut... Automata Theory and Form... Deterministic automaton …
Fachzeitschrift
Zu den Favoriten
16

Comparing EventB, $\{log\}$ and Why3 Models of Sparse Sets
Maximiliano Cristiá ; Catherine Dubois ; Demange, Delphine

FOS: Computer and inform... Composite material Computer Networks and Co... Mathematical proof Distributed Constraint O... Geometry …
Zu den Favoriten
17

Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format
Bruno Andreotti ; Hanna Lachnitt ; Haniel Barbosa
Lecture Notes in Computer Science ISBN: 9783031308222

Mathematical proof Usability Runtime Verification Geometry Model Checking 12. Responsible consumpt... …
Buch
Zu den Favoriten
18

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics
Carlos Areces ; Valentín Cassano ; Raul Fervari ; et al.
Lecture Notes in Computer Science ISBN: 9783031435126

Multimodal logic Quantum mechanics Description Logics Database Theoretical computer sci... Logic Programming and Kn... …
Buch
Zu den Favoriten
19

Local Search for Solving Satisfiability of Polynomial Formulas
Haokun Li ; Bican Xia ; Tingting Zhao
Lecture Notes in Computer Science ISBN: 9783031377020

Computer Science - Symbo... FOS: Computer and inform... Computer Science - Logic... Symbolic Computing in Al... Symbolic Computation (cs... Polynomial …
Buch
Zu den Favoriten
20

Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Yican Sun ; Hongfei Fu ; Krishnendu Chatterjee ; et al.
Lecture Notes in Computer Science ISBN: 9783031377082

FOS: Computer and inform... Artificial intelligence Regular Expressions Automata Theory and Form... Runtime Verification Computer science …
Buch
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter