Zum Inhalt springen

Braberman, Víctor [Verfasser:in] ; Fribourg, Laurent [Herausgeber:in]

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2013

Erschienen in: Lecture notes in computer science ; 8053
Asteasuain, Fernando; Braberman, Víctor

Declaratively building behavior by means of scenario clauses

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2017

Erschienen in: Requirements Engineering, 22 (2017) 2, Seite 239-274
Braberman, Víctor; Olivero, Alfredo

Extending Timed Automata for Compositional Modeling Healthy Timed Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2002

Erschienen in: Electronic Notes in Theoretical Computer Science, 52 (2002) 3, Seite 227-245
Braberman, Victor A.; Felder, Miguel

Software Engineering — ESEC/FSE ’99: Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1999

Erschienen in: Software Engineering — ESEC/FSE ’99 (1999), Seite 494-510
Braberman, Victor A.; Felder, Miguel

Verification of real-time designs : combining scheduling theory with automatic formal verification : combining scheduling theory with automatic formal verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1999

Erschienen in: ACM SIGSOFT Software Engineering Notes, 24 (1999) 6, Seite 494-510
Czemerinski, Hernan; Braberman, Victor; Uchitel, Sebastian

Behaviour abstraction adequacy criteria for API call protocol testing

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2016

Erschienen in: Software Testing, Verification and Reliability, 26 (2016) 3, Seite 211-244
Pavese, Esteban; Braberman, Víctor; Uchitel, Sebastian

Less is More : Estimating Probabilistic Rewards over Partial System Explorations : Estimating Probabilistic Rewards over Partial System Explorations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2016

Erschienen in: ACM Transactions on Software Engineering and Methodology, 25 (2016) 2, Seite 1-47
Pavese, Esteban; Braberman, Victor; Uchitel, Sebastian

Probabilistic Interface Automata

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2016

Erschienen in: IEEE Transactions on Software Engineering, 42 (2016) 9, Seite 843-865
Fischbein, Dario; Braberman, Victor; Uchitel, Sebastian

Theoretical Aspects of Computing - ICTAC 2009: A Sound Observational Semantics for Modal Transition Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen in: Theoretical Aspects of Computing - ICTAC 2009 (2009), Seite 215-230
Braberman, Victor; Garbervetsky, Diego; Yovine, Sergio

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

AITO - Association Internationale pour les Technologies Objets, 2006

Erschienen in: The Journal of Object Technology, 5 (2006) 5, Seite 31
Braberman, Víctor; Olivero, Alfredo; Schapachnik, Fernando

Issues in distributed timed model checking : Building Zeus : Building Zeus

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2005

Erschienen in: International Journal on Software Tools for Technology Transfer, 7 (2005) 1, Seite 4-18
Braberman, Víctor; Garbervetsky, Diego; Olivero, Alfredo

Computer Aided Verification: ObsSlice: A Timed Automata Slicer Based on Observers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Computer Aided Verification (2004), Seite 470-474
Braberman, Victor; López Pombo, Carlos; Olivero, Alfredo

On Improving Backwards Verification of Timed Automata (Extended Abstract)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2002

Erschienen in: Electronic Notes in Theoretical Computer Science, 65 (2002) 6, Seite 60-67
Braberman, Victor; Garbervetsky, Diego; Olivero, Alfredo

Tools and Algorithms for the Construction and Analysis of Systems: Improving the Verification of Timed Systems Using Influence Information

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems (2002), Seite 21-36
Delgado, Tomás; Sánchez Sorondo, Marco; Braberman, Víctor; Uchitel, Sebastián

Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for the Advancement of Artificial Intelligence (AAAI), 2023

Erschienen in: Proceedings of the International Conference on Automated Planning and Scheduling, 33 (2023) 1, Seite 569-577
Ciolek, Daniel; Braberman, Victor; DIppolito, Nicolas; Piterman, Nir; Uchitel, Sebastian

Interaction Models and Automated Control under Partial Observable Environments

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2017

Erschienen in: IEEE Transactions on Software Engineering, 43 (2017) 1, Seite 19-33
Braberman, Víctor; Garbervetsky, Diego; Hym, Samuel; Yovine, Sergio

Summary-based inference of quantitative bounds of live heap objects

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2014

Erschienen in: Science of Computer Programming, 92 (2014), Seite 56-84
Caso, Guido De; Braberman, Victor; Garbervetsky, Diego; Uchitel, Sebastian

Enabledness-based program abstractions for behavior validation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2013

Erschienen in: ACM Transactions on Software Engineering and Methodology, 22 (2013) 3, Seite 1-46
Sibay, German Emir; Braberman, Victor; Uchitel, Sebastian; Kramer, Jeff

Synthesizing Modal Transition Systems from Triggered Scenarios

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2013

Erschienen in: IEEE Transactions on Software Engineering, 39 (2013) 7, Seite 975-1001
D'ippolito, Nicolás; Braberman, Victor; Piterman, Nir; Uchitel, Sebastián

Synthesizing nonanomalous event-based controllers for liveness goals

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2013

Erschienen in: ACM Transactions on Software Engineering and Methodology, 22 (2013) 1, Seite 1-36

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr