1
0
0
News
Netzwerk-Profile
LinkedIn: Maria Sorea | LinkedIn
berufliche Netzwerk, das Fach- und Führungskräften wie Maria Sorea dabei hilft,
...
Business-Profile
Maria SOREA | Patent Attorney | Nokia, Espoo | IPR | Research...
www.researchgate.net
Maria SOREA, Patent Attorney | Cited by 934 | of Nokia, Espoo | Read 39 publications | Contact Maria SOREA
Ausbildung
Alumni - Universität UlmUni Ulm
www.uni-ulm.de
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 ...
Alumni - Ulm University
www.uni-ulm.de
— Dr. Maria Sorea. Dr. Andreas Steigmiller, Ehem. Mitarbeiterseite Uni Ulm. Dr. Martin Strecker. Trung Kien Tran, Ehem. › inst › alumni
Corporate Site - Seminars 2003
nia-cms.nianet.org
Maria Sorea, SRI International. February 28 “Glider Fligh Dynamics and Soaring Behavior in an Ambient Wind Gradient”. Scott Beeler, NIA. February 21 “The ...
Herkunft
Sorea Name MeaningAncestry
www.ancestry.com
Maria Sorea. Unknown - Unknown · Maria Sorea · Enrique Sorea · Wanda Sorea Maria Sorea. Unknown - Unknown · Maria Sorea · Enrique Sorea · Wanda Sorea
Juana Santiago De Sorea in the Census | Ancestry®
www.ancestry.com
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...
Sorea - Ancestry.com
www.ancestry.com
Results of — Maria Sorea. Maria Sorea from tree andreea Chiriluta Family Tree. Record information. Birth, date date city, Vaslui, Romania. › search
Bücher
ForewordBücher.de
bilder.buecher.de
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.
PrefaceBücher.de
bilder.buecher.de
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.
Automated Deduction - CADE-18: 18th International Conference ...google.de
books.google.de
... Maria Sorea ** SRI International Computer Science Laboratory 333 Ravenswood Avenue Menlo Park , CA , USA { demoura , ruess , .com http ...
Computer Aided Verification: 15th International Conference, ...google.de
books.google.de
... Truncated Paths Cindy Eisner1, Dana 26 Leonardo de Moura, Harald Rueß, and Maria Sorea Leonardo de Moura, Harald Rueß, Maria Sorea Symbolic Model Checking.
Dokumente zum Namen
Leonardo Mendonca de Moura - ColleaguesACM Digital Library
dl.acm.org
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.
Predicate Abstraction for Dense Real-Time SystemsTidsskrift.dk
tidsskrift.dk
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 ...
SRI Formal Methods: Recent Paperssri.com
fm.csl.sri.com
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, ...
Luca de AlfaroLuca de Alfaro
luca.dealfaro.com
— 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 ...
Wissenschaftliche Veröffentlichungen
CLASSIFICATION AND ANALYSIS OF FAILURE MODES ...ScienceDirect.com
www.sciencedirect.com
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.
Formal Analysis for Embedded Real-Time SystemsArchive ouverte HAL
hal.science
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): ...
Josef SchalkDBLP
dblp.org
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.
SRSP04 - Universität UlmUni Ulm
www.uni-ulm.de
— 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
Veröffentlichungen allgemein
Flexible Communication Architecture for Dependable Time ...Springer
link.springer.com
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 Automataresearchr.org
researchr.org
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): ...
Lazy Approximation for Dense Real-Time SystemsSpringer
link.springer.com
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.
To be presented at the 18th International Conference ...ResearchGate
www.researchgate.net
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 ...
Artikel & Meinungen
European Patent Drafting Camp - FORUM Institutforum-institut.com
www.forum-institut.com
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 ...
www.linkedin.com
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: Georg Nolte on the EU SEP Regulation
www.linkedin.com
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.
JISCMail - CABERNET-EVENTS Archives
www.jiscmail.ac.uk
... of a Fault-Tolerant Contention Resolving Algorithm - Wilfried Steiner (Vienna U. of Technology, Austria); John Rushby (SRI International, USA); Maria Sorea, ...
Sonstiges
Maria Sorea email address & phone number | GENPACT ...RocketReach
rocketreach.co
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 ...
Roxana Maria Sorea (@roxanarogoz)Instagram · roxanarogoz370+ Follower
www.instagram.com
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)
(Not so) Recent Formal Methods Papers from SRIsri.com
fm.csl.sri.com
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 ...Research Explorer The University of Manchester
research.manchester.ac.uk
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 ...
CONCUR 2002FI MUNI
www.fi.muni.cz
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 ...
Credits - SMT-LIB The Satisfiability Modulo Theories LibrarySMT-LIB
smtlib.cs.uiowa.edu
... 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 ...
Crossref Metadata SearchAlliant International University
0-search-crossref-org.library.alliant.edu
... 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 ...
E/E Architectures on the Way to Level 4TTTech Auto
www.tttech-auto.com
[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 ...
External refereesIEEE Computer Society
www.computer.org
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 ...
FroCoS Invited TalksTheory and Logic Group
www.logic.at
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 ...
Integrated Task and Message Scheduling in Time-Triggered ...zlibrary.to
zlibrary.to
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 ...
Leveraging applications of formal methods, verification and ...zlibrary.to
zlibrary.to
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 ...
Member Search ResultsFICPI
ficpi.org
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 ...imag.fr
www-formats-ftrtft.imag.fr
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 ...
ORBilu: Detailled Reference - University of LuxembourgORBilu
orbilu.uni.lu
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 ...
PubPeer - Search publications and join the conversation.PubPeer
www.pubpeer.com
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 ...
ReferencesUNSW Sydney
cgi.cse.unsw.edu.au
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 ...
Representative searchUnified Patent Court
www.unified-patent-court.org
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, ...
Students - Luca de AlfaroLuca de Alfaro
luca.dealfaro.com
Postdocs. Krishnendu Chatterjee ( ); Maria Sorea (2005); Marco Faella ( ); Mariëlle Stoelinga ( ) ... Postdocs. Krishnendu Chatterjee ( ); Maria Sorea (2005); Marco Faella ( ); Mariëlle Stoelinga ( ) ...
BRICS Research Series, 2001brics.dk
www.brics.dk
— 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 ...
Verwandte Suchanfragen zu Maria Sorea
Harald Rueß Holger Pfeifer Oliver Möller | Siegfried Höck Maria Fehnker |
Personen Vorname "Maria" (74561) Name "Sorea" (4) |
sortiert nach Relevanz / Datum