Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Simon, Marcelo F.
397  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

ATR: template-based repair for Alloy specifications:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Zheng, Guolong ; Nguyen, ThanhVu ; Brida, Simón Gutiérrez... - p. 666-677 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

flack : Counterexample-Guided Fault Localization for All..:

, In: Proceedings of the 43rd International Conference on Software Engineering,
Zheng, Guolong ; Nguyen, ThanhVu ; Brida, Simón Gutiérrez... - p. 637-648 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

Artifact of 'FLACK: counterexample-guided fault localizatio..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,
Zheng, Guolong ; Nguyen, ThanhVu ; Brida, Simón Gutiérrez... - p. 179-180 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

Contributors:

, In: Current Therapy in Large Animal Theriogenology,
Adams, Gregg P. ; Abbitt, Bruce ; Almond, Glen W.... - p. v-xv , 2007
Link: https://doi.org/10.1016/..
 
?
5

Contributors:

, In: Cellular, Molecular, Physiological, and Behavioral Aspects of Spinal Cord Injury,
Acioglu, Cigdem ; Aftab, Kiran ; Al Omari, Safwan... - p. xix-xxiii , 2022
Link: https://doi.org/10.1016/..
 
?
6

Contributors:

, In: Genetics, Neurology, Behavior, and Diet in Parkinson's Disease,
Alam, Gelareh ; Albino, C.M. ; Almeida, Quincy J.... - p. xiii-xxi , 2020
Link: https://doi.org/10.1016/..
 
?
7

List of Contributors:

, In: Neuropathology of Drug Addictions and Substance Misuse,
Abadie-Guedes, Ricardo ; Abi-Dargham, Anissa ; Abulseoud, Osama A.... - p. xxvii-xxxv , 2016
Link: https://doi.org/10.1016/..
 
?
8

Conservation of Plant Genetic Resources in Brazil:

, In: Sustainable Development and Biodiversity; Sustainable Utilization and Conservation of Plant Genetic Diversity,
Pádua, Juliano Gomes ; de Abreu, Aluana Gonçalves ; Barbieri, Rosa Lía... - p. 795-819 , 2024
Link: https://doi.org/10.1007/..
 
?
9

Transcolar Rural New Route Cost Calculation Software and Co..:

, In: Information Systems and Technologies; Lecture Notes in Networks and Systems,
Porto, Marcelo F. ; Silveira, Mateus A. ; Alves, Lucas V. R... - p. 50-59 , 2024
Link: https://doi.org/10.1007/..
 
?
10

Automatic Preparation of Sensory Effects : Managing Sync..:

, In: Proceedings of the 15th ACM Multimedia Systems Conference,
Ivanov, Marina ; Moreno, Marcelo F. ; Muchaluat-Saade, Débora C. - p. 100-108 , 2024
Link: https://dl.acm.org/doi/1..
 
?
11

Why Owl Monkeys Are Pitheciids: Morphology, Adaptations, an..:

, In: Developments in Primatology: Progress and Prospects; Owl Monkeys,
Rosenberger, Alfred L. ; Tejedor, Marcelo F. - p. 103-154 , 2023
Link: https://doi.org/10.1007/..
 
?
12

An Efficiency Study of a Three-Phase Induction Motor Throug..:

, In: 2023 15th IEEE International Conference on Industry Applications (INDUSCON),
Graciola, Clayton L. ; Goedtel, Alessandro ; Castoldi, Marcelo F.... - p. 899-905 , 2023
Link: https://doi.org/10.1109/..
 
?
13

Classification of Bearing Faults in Induction Motors with t..:

, In: 2023 IEEE 14th International Symposium on Diagnostics for Electrical Machines, Power Electronics and Drives (SDEMPED),
Bornea, Yuri P. ; Vitor, Avyner L. O. ; Castoldi, Marcelo F... - p. 567-573 , 2023
Link: https://doi.org/10.1109/..
 
?
14

Precise Lazy Initialization for Programs with Complex Heap ..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),
Copia, Juan Manuel ; Molina, Facundo ; Aguirre, Nazareno... - p. 752-762 , 2023
Link: https://doi.org/10.1109/..
 
?
15

Efficient Bounded Exhaustive Input Generation from Program ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Politano, Mariano ; Bengolea, Valeria ; Molina, Facundo... - p. 111-132 , 2023
Link: https://doi.org/10.1007/..
 
1-15