181 Infos zu Maria Sorea

1 Aktuelle Nachrichten

16 Profile in Sozialen Netzwerken

berufliche Netzwerk, das Fach- und Führungskräften wie Maria Sorea dabei hilft,  ...

1 Business-Profile

Maria SOREA, Patent Attorney | Cited by 934 | of Nokia, Espoo | Read 39 publications | Contact Maria SOREA

3 Infos zur Ausbildung

Maria Sorea. Dr. Andreas Steigmiller, Ehem. Mitarbeiterseite Uni Ulm. Dr. Martin Strecker. Trung Kien Tran, Ehem. Mitarbeiterseite Uni Ulm. Dirk Tyschler. Petra ... Maria Sorea. Dr. Andreas Steigmiller, Ehem. Mitarbeiterseite Uni Ulm. Dr. Martin Strecker. Trung Kien Tran, Ehem. Mitarbeiterseite Uni Ulm. Dirk Tyschler. Petra ...

— Dr. Maria Sorea. Dr. Andreas Steigmiller, Ehem. Mitarbeiterseite Uni Ulm. Dr. Martin Strecker. Trung Kien Tran, Ehem. › inst › alumni

Maria Sorea, SRI International. February 28 “Glider Fligh Dynamics and Soaring Behavior in an Ambient Wind Gradient”. Scott Beeler, NIA. February 21 “The ...

3 Angaben zur Herkunft

Maria Sorea. Unknown - Unknown · Maria Sorea · Enrique Sorea · Wanda Sorea Maria Sorea. Unknown - Unknown · Maria Sorea · Enrique Sorea · Wanda Sorea

View Juana Santiago De Sorea's US census record to find family members, occupation details & more. Access is free so discover Juana Santiago De Sorea's...

Results of — Maria Sorea. Maria Sorea from tree andreea Chiriluta Family Tree. Record information. Birth, date date city, Vaslui, Romania. › search

27 Bücher zum Namen

Maria Sorea. Christoph Sprenger. Rick Statman. Colin Stirling. Thomas Streicher. Koichi Takahashi. Makoto Tanabe. Francis Tang. Ashish Tiwari. Keith Wansbrough. Maria Sorea. Christoph Sprenger. Rick Statman. Colin Stirling. Thomas Streicher. Koichi Takahashi. Makoto Tanabe. Francis Tang. Ashish Tiwari. Keith Wansbrough.

Maria Sorea. Gunnar Staalmarck. Aaron Stump. Grégoire Sutre. Armando Tacchella. Xavier Thirioux. Ferucio Laurentiu Tiplea. Ashish Tiwari. Richard Trefler. Maria Sorea. Gunnar Staalmarck. Aaron Stump. Grégoire Sutre. Armando Tacchella. Xavier Thirioux. Ferucio Laurentiu Tiplea. Ashish Tiwari. Richard Trefler.

... Maria Sorea ** SRI International Computer Science Laboratory 333 Ravenswood Avenue Menlo Park , CA , USA { demoura , ruess , .com http ...

... Truncated Paths Cindy Eisner1, Dana 26 Leonardo de Moura, Harald Rueß, and Maria Sorea Leonardo de Moura, Harald Rueß, Maria Sorea Symbolic Model Checking.

9 Dokumente

Maria Sorea · 1 · 1 Papercounts · Kenneth Lauchlin McMillan · 1 · 1 Papercounts · Lawrence C Paulson · 1 · 1 Papercounts · Ira David Baxter · 1 · 1 Papercounts. Maria Sorea · 1 · 1 Papercounts · Kenneth Lauchlin McMillan · 1 · 1 Papercounts · Lawrence C Paulson · 1 · 1 Papercounts · Ira David Baxter · 1 · 1 Papercounts.

von MO Möller · Zitiert von: 56 — Maria Sorea. BRICS Report Series. RS ISSN November Page Oliver Möller, Harald Rueß, and Maria Sorea. Predi- cate Abstraction for ... von MO Möller · Zitiert von: 56 — Maria Sorea. BRICS Report Series. RS ISSN November Page Oliver Möller, Harald Rueß, and Maria Sorea. Predi- cate Abstraction for ...

Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. Presented at FTRTFT '04, ... Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. Presented at FTRTFT '04, ...

— Maria Sorea (UC Santa Cruz, 2005). Maria Sorea is now a Research Associate at the School of. Computer Science of the University of Manchester — Maria Sorea (UC Santa Cruz, 2005). Maria Sorea is now a Research Associate at the School of. Computer Science of the University of Manchester ...

16 Wissenschaftliche Publikationen

von M Sorea · · Zitiert von: 3 — ... OF FAILURE MODES FOR TIME-TRIGGERED SYSTEMS. Author links open overlay panel. Maria Sorea * , Wilfried Steiner **. Show more. Add to Mendeley. Share. Cite. von M Sorea · · Zitiert von: 3 — ... OF FAILURE MODES FOR TIME-TRIGGERED SYSTEMS. Author links open overlay panel. Maria Sorea * , Wilfried Steiner **. Show more. Add to Mendeley. Share. Cite.

von J Rushby — Harald Rueß, Maria Sorea, and Natarajan Shankar. 7. References. [1] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): ... von J Rushby — Harald Rueß, Maria Sorea, and Natarajan Shankar. 7. References. [1] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): ...

Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss: Flexible Communication Architecture for Dependable Time-Triggered Systems. Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss: Flexible Communication Architecture for Dependable Time-Triggered Systems.

— Maria Sorea and Holger Pfeifer", title = "{Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault — Maria Sorea and Holger Pfeifer", title = "{Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault

11 Allgemeine Veröffentlichungen

von C Heller · Zitiert von: 1 — Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea & Sebastian Voss. Authors. Christoph Heller. View author publications. You can also search for this ... von C Heller · Zitiert von: 1 — Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea & Sebastian Voss. Authors. Christoph Heller. View author publications. You can also search for this ...

Bounded Model Checking for Timed Automata. Maria Sorea. Bounded Model Checking for Timed Automata. Electronic Notes in Theoretical Computer Science, 68(5): ... Bounded Model Checking for Timed Automata. Maria Sorea. Bounded Model Checking for Timed Automata. Electronic Notes in Theoretical Computer Science, 68(5): ...

von M Sorea · · Zitiert von: 24 — Maria Sorea. Conference paper Author information. Authors and Affiliations. Abteilung Künstliche Intelligenz, Universität Ulm, Germany. Maria Sorea. von M Sorea · · Zitiert von: 24 — Maria Sorea. Conference paper Author information. Authors and Affiliations. Abteilung Künstliche Intelligenz, Universität Ulm, Germany. Maria Sorea.

Maria Sorea · Harald Ruess. We investigate the combination of propositional SAT check- ers with domain-specific theorem provers as a ... Maria Sorea · Harald Ruess. We investigate the combination of propositional SAT check- ers with domain-specific theorem provers as a ...

1 Video- & Audioinhalte

› channel

4 Meinungen & Artikel

Maria Sorea. Senior Patent Counsel, European and German Patent Attorney, European Patent Litigator, Nokia Technologies (Munich). As a Senior Patent Counsel ... Maria Sorea. Senior Patent Counsel, European and German Patent Attorney, European Patent Litigator, Nokia Technologies (Munich). As a Senior Patent Counsel ...

FORUM IP Talks: Ronak Kalhor-Witzel and Maria Sorea on European Patent drafting in times of generative AI · Jean-Claude Alexandre Ho, LL.M. FORUM IP Talks: Ronak Kalhor-Witzel and Maria Sorea on European Patent drafting in times of generative AI · Jean-Claude Alexandre Ho, LL.M.

FORUM IP Talks: Ronak Kalhor-Witzel and Maria Sorea on the challenges of European Patent drafting. FORUM IP Talks: Ronak Kalhor-Witzel and Maria Sorea on the challenges of European Patent drafting.

... of a Fault-Tolerant Contention Resolving Algorithm - Wilfried Steiner (Vienna U. of Technology, Austria); John Rushby (SRI International, USA); Maria Sorea, ...

86 Webfunde aus dem Netz

Maria Sorea, based in Romania, is currently a Senior Manager EMEA, OTC at GENPACT LLC, bringing experience from previous roles at Wipro Technologies and ... Maria Sorea, based in Romania, is currently a Senior Manager EMEA, OTC at GENPACT LLC, bringing experience from previous roles at Wipro Technologies and ...

370 Followers, 912 Following, 13 Posts - See Instagram photos and videos from Roxana Maria Sorea (@roxanarogoz) 370 Followers, 912 Following, 13 Posts - See Instagram photos and videos from Roxana Maria Sorea (@roxanarogoz)

SAL 2 by Leonardo de Moura, Sam Owre, Harald Ruess, John Rushby, N. Shankar, Maria Sorea, and Ashish Tiwari. Presented at CAV 2004, Boston, MA, July SAL 2 by Leonardo de Moura, Sam Owre, Harald Ruess, John Rushby, N. Shankar, Maria Sorea, and Ashish Tiwari. Presented at CAV 2004, Boston, MA, July

Bounded model checking and induction: From refutation to verification (extended abstract, category A). Leonardo De Moura, Harald Rueß, Maria Sorea. Research ... Bounded model checking and induction: From refutation to verification (extended abstract, category A). Leonardo De Moura, Harald Rueß, Maria Sorea. Research ...

Maria Sorea. We show decidability of the satisfiability problem for an extension of the modal mu-calculus with event-recording clocks. Based on techniques ... Maria Sorea. We show decidability of the satisfiability problem for an extension of the modal mu-calculus with event-recording clocks. Based on techniques ...

... Maria Sorea, Volker Sorge, Dominik Stoffel, Ofer Strichman, Christoph Sticksel, Aaron Stump, Geoff Sutcliffe, Naoyuki Tamura, Nestan Tsiskaridze, Aaron Tomb Maria Sorea, Volker Sorge, Dominik Stoffel, Ofer Strichman, Christoph Sticksel, Aaron Stump, Geoff Sutcliffe, Naoyuki Tamura, Nestan Tsiskaridze, Aaron Tomb ...

... Maria Sorea | Bruno Dutertre | Wilfried Steiner. https://doi.org isorc Actions. Cite; Filter on this publication · Metadata as JSON. Message Maria Sorea | Bruno Dutertre | Wilfried Steiner. https://doi.org isorc Actions. Cite; Filter on this publication · Metadata as JSON. Message ...

[2] Steiner, Wilfried, John Rushby, Maria Sorea, and Holger Pfeifer. "Model checking a fault-tolerant startup algorithm: From design exploration to ... [2] Steiner, Wilfried, John Rushby, Maria Sorea, and Holger Pfeifer. "Model checking a fault-tolerant startup algorithm: From design exploration to ...

von A Barana · · Zitiert von: 37 — ... Maria Sorea Umberto Souza da Costa Bernhard Steffen Tatiana Sugeta Jun Sun Meng Sun Sofiene Tahar Maurice Ter Beek Mark Trakhtenbrot Stavros Tripakis Emilio ... von A Barana · · Zitiert von: 37 — ... Maria Sorea Umberto Souza da Costa Bernhard Steffen Tatiana Sugeta Jun Sun Meng Sun Sofiene Tahar Maurice Ter Beek Mark Trakhtenbrot Stavros Tripakis Emilio ...

The talk is based on joint work with Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, and Maria Sorea. A Comprehensive Framework for Combined ... The talk is based on joint work with Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, and Maria Sorea. A Comprehensive Framework for Combined ...

Maria Sorea for supporting me with endless patience and guidance. It has been a pleasure to discuss with her and gave me the chance to learn a lot ... Maria Sorea for supporting me with endless patience and guidance. It has been a pleasure to discuss with her and gave me the chance to learn a lot ...

Michael Paulitsch, Harald Ruess, and Maria Sorea A Simulation Approach for Performance Validation during Embedded Systems Design Michael Paulitsch, Harald Ruess, and Maria Sorea A Simulation Approach for Performance Validation during Embedded Systems Design ...

Maria Sorea. Germany. View Profile. avatar. Dipl.-Ing. (FH) LL.M. Manuel Francisco Soria Parra. Keller Schneider Patentanwalts GmbH. Germany. München. View ... Maria Sorea. Germany. View Profile. avatar. Dipl.-Ing. (FH) LL.M. Manuel Francisco Soria Parra. Keller Schneider Patentanwalts GmbH. Germany. München. View ...

Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. Presented at Formal ... Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. Presented at Formal ...

von C Menghi · · Zitiert von: 79 — Maria Sorea Lazy approximation for dense real-time systems. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ... von C Menghi · · Zitiert von: 79 — Maria Sorea Lazy approximation for dense real-time systems. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ...

Leonardo De Moura, Harald Rueß, Maria Sorea. Automated Deduction—CADE-18 (2002) 0 comments. You have not yet installed the PubPeer browser plugin and will ... Leonardo De Moura, Harald Rueß, Maria Sorea. Automated Deduction—CADE-18 (2002) 0 comments. You have not yet installed the PubPeer browser plugin and will ...

Available at http://dl.acm.org/citation.cfm?id= Leonardo De Moura, Harald Rueß & Maria Sorea (2003): Bounded Model Checking and Induction ... Available at http://dl.acm.org/citation.cfm?id= Leonardo De Moura, Harald Rueß & Maria Sorea (2003): Bounded Model Checking and Induction ...

Maria Sorea. Representation entitlement: Article 48(2), Patent Attorney with other qualifications-EPLC Decision Rule (a); Street: Nokia, Maria Sorea. Representation entitlement: Article 48(2), Patent Attorney with other qualifications-EPLC Decision Rule (a); Street: Nokia,  ...

Postdocs. Krishnendu Chatterjee ( ); Maria Sorea (2005); Marco Faella ( ); Mariëlle Stoelinga ( ) ... Postdocs. Krishnendu Chatterjee ( ); Maria Sorea (2005); Marco Faella ( ); Mariëlle Stoelinga ( ) ...

— 43 pp. RS : Abstract, PostScript, PDF. M. Oliver Möller, Harald Rueß, and Maria Sorea. Predicate Abstraction for Dense Real-Time Systems — 43 pp. RS : Abstract, PostScript, PDF. M. Oliver Möller, Harald Rueß, and Maria Sorea. Predicate Abstraction for Dense Real-Time Systems ...