127 Infos zu Florian Furbach

6 Aktuelle Nachrichten

Florian Furbach and Peter Chini. Petri Net Invariant Synthesis (video link). Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal and Elad Michael Schiller ...

TACAS: Concurrency. Chair: Hadar Frenkel. Room: Hollenfels ; 16:30. Verification under TSO with an infinite Data Domain. Florian Furbach, Parosh Aziz Abdulla, ...

Hernan Ponce-De-Leon, Florian Furbach, Keijo Heljanko and Roland Meyer. A Context-Sensitive Memory Model for Verification of C/C++ Programs. Arie Gurfinkel ...

— Florian Furbach, Parosh Aziz Abdulla, Mohamed Faouzi Atig and Shashwat Garg. 17:00. OxiDD: A Safe, Concurrent, Modular, and Performant ...

13 Profile in Sozialen Netzwerken

Sehen Sie sich das Profil von Florian Furbach auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 2 Jobs sind im Profil von Florian Furbach aufgelistet. Sehen Sie ... Technische Universität BraunschweigUniversity of Kaiserslautern.

Florian Furbach. Postdoctoral Researcher at DTU Compute. DTU Compute University of Kaiserslautern. København, Region Hovedstaden, Danmark

-c,--cover Set if the input is a coverability check. Authors and Contact. Maintainer: Florian Furbach. Please feel free to contact ...

1 Business-Profile

Join for free. My main research interests are synthesis and program verification. I examined the verification of concurrent programs under weak memory models. In particular, I studied the ...

2 Firmen-Mitarbeiter

Florian Furbach (Dr.-Ing.) Reiner Hüchting · Jürgen Koslowski (PhD, Assistant Professor). Sebastian Muskalla (Dr. rer. nat.) Elisabeth Neumann · Prakash ...

Ulrich Furbach, Florian Furbach and Christian Freksa, Relating strong spatial cognition to symbolic problem solving – An example, in: Proc. 2nd Workshop on ...

1 Persönliche Webseiten

Florian Furbach. Researcher at Department of Information Technology; Division of Computer Systems. .se; Visiting address: Hus

12 Bücher zum Namen

von C Freksa · · Zitiert von: 19 — We acknowledge engaged discussions with Pat Langley, Ashok Goel, Ulrich Furbach, Florian Furbach, Ana-Maria Olteţeanu, Holger Schultheis ...

Papers by Florian Furbach with links to code and results ... Florian Furbach, Christian Freksa. In this note, we discuss and analyse a shortest path ...

... Florian Furbach, Christian Freksa. In this note, we discuss and analyse a shortest path finding approach using strong spatial cognition. Paper · Add Code ...

WebContents — Part II DARTAGNAN: Bounded Model Checking for Weak Memory Models (Competition Contribution) ^73 Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko,

19 Dokumente

von PA Abdulla · · Zitiert von: 3 — Parameterized Verification under TSO with Data Types. Authors:Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub ...

Florian Furbach. Search within Florian Furbach's work. SearchSearch. Home · Florian Furbach · Colleagues. Florian Furbach. loading. Applied Filters. Florian ...

von PA Abdulla · — From: Florian Furbach [view email] [v1] Thu, 18 Jan :31:05 UTC (6,797 KB). Full-text links: Access Paper: View a PDF of the paper ...

Florian Furbach · Florian Furbach · Export Citations · Save this search · Author Profile Pages · Bibliometrics · ACM Author-Izer Service · Footer ...

11 Wissenschaftliche Publikationen

Ulrich Furbach, Florian Furbach, Christian Freksa: Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. Bridging@IJCAI 2016:

— List of computer science publications by Florian Furbach.

Ehemalige Neuigkeiten · Gruppe 1: Mi 13:45 Uhr, (Florian Furbach, ursprünglich Do 11:45 Uhr) · Gruppe 2: Mi 17:15 Uhr, (Jan Bormann, ursprünglich Do ...

— https://dblp.org/rec/conf/fmcad/LeonFHM18. Hernán Ponce de León, Florian Furbach, Keijo Heljanko , Roland Meyer: BMC with Memory Models as ...

8 Allgemeine Veröffentlichungen

von H Ponce-de-León · · Zitiert von: 18 — Hernán Ponce de León, Florian Furbach, Keijo Heljanko, and Roland Meyer. BMC with memory models as modules. In FMCAD, pages 1–9. IEEE,

von M Triebel · — Florian Furbach, Franziska Bathelt-Tok, Gabriele Graichen, Hendrik Hügel,. Irmela Triebel, Jan Sürmeli, Jörg Desel, Jörgen Brandt, Johannes ...

... Florian Furbach · Roland Meyer; [...] Natalia Gavrilenko. We present Dartagnan, a bounded model checker (BMC) for concurrent ...

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in

1 Meinungen & Artikel

— 作者：Parosh Aziz Abdulla,Mohamed Faouzi Atig,Florian Furbach,Shashwat Garg 链接：点击下载PDF文件 摘要：我们检查下的总存储排序（TSO）语义的 ...

49 Webfunde aus dem Netz

Articles by Florian Furbach on Muck Rack. Find Florian Furbach's email address, contact information, LinkedIn, Twitter, other social media and more.

Find Florian Furbach's articles, email address, contact information, Twitter and more.

... Box 337, Uppsala. Organisationsnummer: Momsregistreringsnummer: SE RegistratorOm sidanSidansvarig: Florian Furbach. Go to top.

— Född 28 maj, Florian Furbach är ogift och har inga bolagsengagemang. Se Florians uppgifter om inkomst, telefonnummer, fordon, hundar, ...

von MF Atig · · Zitiert von: 20 — ORCID ;Mohamad Faouzi Atig;Florian Furbach ORCID ;Adwait A. Godbole ORCID ;Yacoub G. Hendi;et al., Lecture notes in computer science, Parameterized ...

von P Bouyer · — Florian Furbach. Francesco Gavazzo. Shibashis Guha. Lipsy Gupta. Stefan Göller. Peter Habermehl. Matthew Hague. Piotr Hofman. Lukáš Holík. Uday ...

Florian Furbach, Roland Meyer, Klaus Schneider and Maximilian Senftleben. Layered Reduction for Abstract Probabilistic Automata; Arpit Sharma and Joost ...

... Florian Furbach, Keijo Heljanko and Roland Meyer. BMC with Memory Models as Modules Bjørnar Luteberget, Koen Claessen and Christian Johansen. Design-Time ...

von B Akesson — ... Florian Furbach Gilles Geeraerts Stanislavs Golubcovs Hossein Hojjat Loïg Jezequel Jorge Julvez Henning Kerstan Sarmen Keshishzadeh Hanna Klaudel Michał ...

... Florian Furbach, Keijo Heljanko, Roland Meyer. List of references. Linux kernel litmus test suite. https://github.com/paulmckrcu/litmus; Linux Memory Model ...

BMC with Memory Models as Modules. Hernan Ponce-De-Leon, Florian Furbach, Keijo Heljanko, Roland Meyer. Helsinki Institute for Information Technology (HIIT) ...

von J Alglave · · Zitiert von: 2 — Joint work of Florian Furbach, Keijo Heljanko, Roland Meyer, Hernán Ponce de León. We present PORTHOS, the first tool that discovers porting bugs in ...

von H Ponce-de-León · Zitiert von: 7 — 3. Hernán Ponce de León, Florian Furbach, Keijo Heljanko, and Roland Meyer. Dartagnan: Bounded model checking for weak memory models (competition contribution) ...

Hernán Ponce de León, Florian Furbach, Keijo Heljanko, and Roland Meyer. Dartagnan: Bounded model checking for weak memory models (Competition Contribution). In ...

von M Kokologiannakis · · Zitiert von: 12 — Natalia Gavrilenko, Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, and Roland Meyer (2019). “BMC for weak memory models: Relation analysis for ...

Parosh Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub Hendi, S. Krishna and Stephan Spengler. Paremeterized verification under TSO ...

Florian Furbach, Roland Meyer, Klaus Schneider and Maximilian Senftleben. · Aurelien Deharbe and Frederic Peschanski. · Thomas Carle, Manel Djemal, Dumitru Potop ...

Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer.

von H Ponce-de-León · · Zitiert von: 20 — Portability analysis for weak memory models porthos. Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer. Research output: Chapter in Book ...

Hernan Ponce-De-Leon, Florian Furbach, Keijo Heljanko and Roland Meyer. BMC with Memory Models as Modules (abstract). 12:05-13:30Lunch Break. Tejas Conference ...