News
MBMV 2018
www.mbmv2018.uni-tuebingen.de
21. Workshop für neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale,...
14th Workshop on Quantitative Aspects of Programming QAPL 2016
qapl16.doc.ic.ac.uk
Finding Bounds in Average-energy Games; Enno Ruijters, Dennis Guck, Peter Drolenga and Marielle Stoelinga: Reliability-centered maintenance via fault tree analysis; Sebastian Junges, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Matthias Volk and Tim Quatmann: Advances in parametric ...
Hamburg: Bio-Stadt bekommt BIOSpitzenkoch: Oekolandbau
www.oekolandbau.de
Die Initiative der BIOSpitzenköche des Bundesprogramms Ökologischer Landbau und andere Formen nachhaltiger Landwirtschaft hat ein neues Mitglied. Sebastian...
Lebendiges Aachen - Kluge Köpfe geehrt
www.lebendiges-aachen.de
Fotos und Texte aus der Städteregion Aachen
Netzwerk-Profile
LinkedIn: Sebastian Junges | LinkedIn
Sehen Sie sich das berufliche Profil von Sebastian Junges (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...
LinkedIn: Sebastian Junges – Research Assistant at i2 – RWTH Aachen ...de.linkedin.com › sebastian-junges
Sehen Sie sich das Profil von Sebastian Junges auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 1 Job ist im Profil von Sebastian Junges aufgelistet ...
LinkedIn: Sebastian Junges | LinkedIn
Sebastian Junges' berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Sebastian Junges dabei ...
sjunges (Sebastian Junges) / Starred · GitHub
github.com
Post-doc at UC Berkeley @BerkeleyLearnVerify. Previously at RWTH Aachen University @moves-rwth - sjunges
Firmen-Mitarbeiter
Nils Jansen's Homepage
www.cs.ru.nl
Sebastian Junges, Nils Jansen, Ruohan Zhang, Joost-Pieter Katoen, Ufuk Topcu, Mary Hayhoe. Model Checking For Safe Navigation Among Humans. In QEST, ...
Projekte
sjunges / Profile
sourceforge.net
Posted a comment on discussion Help on Groove. Right now, my main interest was to compile myself as I hoped it might resolve [#463] years ago; Modified a ...
Groove / Bugs / #463 Exception in InitializerError
sourceforge.net
Creator: Sebastian Junges. Private: No. When opening the Simulator (Groove ) in Debian 8.0 with OpenJDK-7 I get the following error.
Groove / Discussion Help: Compilation instructions
sourceforge.net
Creator: Sebastian Junges. Created: Updated: Sebastian Junges Hi,. i tried to manually compile Groove, but could not ...
Groove / Bugs / Search
sourceforge.net
463 · Exception in InitializerError, closed-fixed, Arend Rensink, Sebastian Junges · State not marked result even though no rule is applicable ...
Bücher
Gröbner Bases Bibliography
www3.risc.jku.at
Year · Title↓, Author(s), File, Bibtex, URL. 1, 2013, On Gr\"obner bases in the context of satisfiability-modulo-theories solving over the real numbers. Erika Abraham, Florian Corzilius, Sebastian Junges, Ulrich Loup · Go To Publication ...
Algebraic Informatics: 5th International Conference, CAI 2013,...
books.google.de
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in...
Computer Aided Verification: 27th International Conference, CAV 2015,...
books.google.de
The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015,...
Computer Safety, Reliability, and Security: 35th International...
books.google.de
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in...
Dokumente zum Namen
[ ] A storm is Coming: A Modern Probabilistic Model Checker
arxiv.org
Authors:Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. (Submitted on 14 Feb 2017). Abstract: We launch the new probabilistic model ...
[ ] Are Parametric Markov Chains Monotonic?
arxiv.org
Authors:Jip Spel, Sebastian Junges, Joost-Pieter Katoen. (Submitted on 19 Jul 2019). Abstract: This paper presents a simple algorithm to check ...
[ ] Enforcing Almost-Sure Reachability in POMDPs
arxiv.org
Authors:Sebastian Junges, Nils Jansen, Sanjit A. Seshia · Download PDF. Abstract: Partially-Observable Markov Decision Processes ...
[ ] Counterexample-Driven Synthesis for Probabilistic...
arxiv.org
Submission history. From: Sebastian Junges [view email] [v1] Sun, 28 Apr :15:33 UTC (170 KB). Full-text links: ...
Wissenschaftliche Veröffentlichungen
Sebastian Junges | Informatik 2 - RWTH Aachen Universitymoves.rwth-aachen.de › people › sebastian-junges
moves.rwth-aachen.de
Sebastian Junges · Research interests. Model checking of quantitative (parameterised) systems · Tool support. Over the years, I've been involved in the ...
dblp: BibTeX records: Sebastian Junges
dblp.uni-trier.de
List of computer science publications by BibTeX records: Sebastian Junges
Sebastian Junges · GitLabdgit.cs.uni-saarland.de › sjunges
dgit.cs.uni-saarland.de
dGit GitLab Instance.
Sebastian Junges
www-i2.informatik.rwth-aachen.de
On Gröbner Bases in SMT-Compliant Decision Procedures Modern satisfiability solvers are able to determine satisfiability of a given propositional logic formula very ...
Veröffentlichungen allgemein
EconPapers: Safety analysis for vehicle guidance systems with dynamic...
econpapers.repec.org
By Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz and Matthias Volk; Abstract: This paper considers the design-phase safety analysis of ...
A Review of Statistical Model Checking Pitfalls on Real-Time...
link.springer.com
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. Authors; Authors and affiliations. Dimitri Bohlender; Harold Bruintjes; Sebastian Junges; Jens Katelaan; Viet Yen Nguyen; Thomas Noll. Dimitri Bohlender. 1. Harold Bruintjes. 1. Sebastian Junges. 1. Jens Katelaan. 1. Viet Yen Nguyen. 1; 2 .
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox |...
link.springer.com
Florian Corzilius; Ulrich Loup; Sebastian Junges; Erika Ábrahám. Florian Corzilius. 1. Ulrich Loup. 1. Sebastian Junges. 1. Erika Ábrahám RWTH Aachen ...
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT...
link.springer.com
During the last decade, popular SMT solvers have been extended step-by-step with a wide range of decision procedures for different theories. Some SMT solvers...
Artikel & Meinungen
Google Groups: Mac OS: java.lang.UnsatisfiedLinkError: no FloatingPoints
Happy to provide more information! Also happy to try out some things as you might not have access to a Mac. Best regards,. Sebastian Junges. Philipp Wendler's ...
Schloss Dagstuhl : Participant List
www.dagstuhl.de
... Nils Jansen (Radboud University Nijmegen, NL) [dblp] · Sebastian Junges (RWTH Aachen, DE) [dblp] · Joost-Pieter Katoen (RWTH Aachen, ...
Sonstiges
Sebastian Junges - Postdoctoral Researcher - University of ...www.linkedin.com › sebastian-jun...
www.linkedin.com
View Sebastian Junges' profile on LinkedIn, the world's largest professional community. Sebastian has 4 jobs listed on their profile. See the complete profile on ...
Sebastian Junges - Citazioni di Google Scholar
scholar.google.it
C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... Computer Aided Verification, A review of statistical model checking ...
Sebastian Junges - Citações do Google Acadêmico
scholar.google.com.uy
C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... International Conference on Computer Aided Verification,
Sebastian Junges - Cites de Google Acadèmic
scholar.google.es
Cites combinades. La llista anomenada Citats per inclou les cites als articles següents de Google Acadèmic. Els articles marcats amb una * poden ser diferents ...
Sebastian Junges - EasyChaireasychair.org › FLoC2018 › person1291
easychair.org
Sebastian Junges. Organization: RWTH Aachen University. Web page: http://moves.rwth-aachen.de/people/sebastian-junges/. Pages in this Program. MoRe on ...
Sebastian Junges - The Mathematics Genealogy Project
www.mathgenealogy.org
Sebastian Junges. Dr. rer. nat. Rheinisch-Westfälische Technische Hochschule Aachen Germany. Dissertation: Parameter Synthesis in Markov Models.
Sebastian Junges - Google Scholar
scholar.google.de
Sebastian Junges. PostDoc at University of California, Berkeley. Verified email at berkeley.edu - Homepage. Formal methods Markov Decision Processes Controller Synthesis Inference Fault Tree Analysis. Articles Cited by Co-authors. Title. Sort. Sort by citations Sort by year Sort by title. Cited by.
Ivan Papusha - Google Scholar
scholar.google.ch
California Institute of Technology - 119-mal zitiert - Control Theory - Convex Optimization - Adaptive Control - Formal Methods
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories...
www.springerprofessional.de
Aus dem eBook: Algebraic Informatics von Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám: We address satisfiability checking for the first-order ...
Nils Jansen - Google Scholar
scholar.google.fr
Assistant Professor, Radboud University Nijmegen - 引用: 1,083 件 - Artificial Intelligence - Planning under Uncertainty - POMDPs - Safe...
Accepted papers
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
Sebastian Junge: Hamburgs erster BIOSpitzenkoch - …
szene-hamburg.com
Sebastian Junges Blutwurst hätte aber trotzdem Instagram-Potenzial: Er serviert sie mit Apfelchutney und armen Rittern vom Weizensauer, den er vor sechs Jahren selber angesetzt hat. „Der Geruch einer Sauerteigkultur ist für mich einer der schönsten überhaupt“, erklärt er und lässt seine Gäste an diesem Abend kleine Gläser zum ...
ATVA 2016
atva2016.gforge.inria.fr
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges and Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever.
A Storm is Coming: A Modern Probabilistic Model Checker
www.prismmodelchecker.org
[DJKV17] Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen and Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker. In Proc.
Accepted Papers | CAV 2015
i-cav.org
Synthesis through Unification; Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen and ...
On the Complexity of Reachability in Parametric Markov DROPSdrops.dagstuhl.de › opus › volltexte
drops.dagstuhl.de
@InProceedings{winkler_et_al:LIPIcs:2019:10916, author = {Tobias Winkler and Sebastian Junges and Guillermo A. P{\'e}rez and Joost-Pieter Katoen}, title ...
Accepted Papers | CAV July
i-cav.org
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd Millstein, Sanjit A. Seshia and Guy Van den Broeck; BDD4BNN: A BDD-based Quantitative ...
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces...
www.springerprofessional.de
Autoren: Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Verlag: Springer International Publishing. Erschienen in: Computer Safety, Reliability, and ...
sortiert nach Relevanz / Datum