The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Kim G. Larsen Kim Guldstrand Larsen ( http://dblp.L3S.de/Authors/Kim_G._Larsen )

URL (Homepage):  http://people.cs.aau.dk/~kgl/  Author page on DBLP  Author page in RDF  Community of Kim G. Larsen in ASPL-2

Publication years (Num. hits)
1984-1990 (18) 1991-1992 (17) 1993-1995 (22) 1996-1998 (15) 1999-2001 (17) 2002-2003 (18) 2004-2005 (18) 2006-2007 (17) 2008-2009 (30) 2010 (21) 2011 (26) 2012 (43) 2013 (22) 2014 (30) 2015 (30) 2016 (28) 2017 (25) 2018 (31) 2019 (2)
Publication types (Num. hits)
article(119) incollection(4) inproceedings(295) proceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 67 occurrences of 57 keywords

Results
Found 431 publication records. Showing 430 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare Converging from branching to linear metrics on Markov chains. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba Abstract Dependency Graphs and Their Application to Model Checking. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen Average-energy games. Search on Bibsonomy Acta Inf. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen Contracts for System Design. Search on Bibsonomy Foundations and Trends in Electronic Design Automation The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare Complete Axiomatization for the Total Variation Distance of Markov Chains. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen A Faster-Than Relation for Semi-Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Liyun Dai, Taolue Chen, Zhiming Liu 0001, Bican Xia, Naijun Zhan, Kim G. Larsen Parameter Synthesis Problems for one parametric clock Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Bacci 0001, Giorgio Bacci, Kim G. Larsen, Radu Mardare On the Metric-based Approximate Minimization of Markov Chains. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez High-level frameworks for the specification and verification of scheduling problems. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Radu Mardare, Bingtian Xue On decidability of recursive weighted logics. Search on Bibsonomy Soft Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manfred Droste, Kim G. Larsen Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Search on Bibsonomy Soft Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Giorgio Bacci, Kim G. Larsen, Radu Mardare On the metric-based approximate minimization of Markov Chains. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Igor Potapov, Jirí Srba Reachability problems: Special issue. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare Timed Comparisons of Semi-Markov Processes. Search on Bibsonomy LATA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Florian Lorber, Brian Nielsen 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. Search on Bibsonomy ISoLA (4) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. Search on Bibsonomy ISORC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florian Lorber, Kim G. Larsen, Brian Nielsen Model-Based Mutation Testing of Real-Time Systems via Model Checking. Search on Bibsonomy ICST Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber Learning Timed Automata via Genetic Programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba Discrete and continuous strategies for timed-arc Petri net games. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen Reasoning About Bounds in Weighted Transition Systems. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell 0001 Model Checking Real-Time Systems. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Axel Legay Statistical Model Checking the 2018 Edition! Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. Search on Bibsonomy FORMATS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Henrik Schiøler, Luminita Totu, Jan Dimon, Kim Guldstrand Larsen, Jakob Haahr Taankvist Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation. Search on Bibsonomy CCTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen 20 Years of Real Real Time Model Validation. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Mikkel Hansen, Kim Guldstrand Larsen On the Verification of Weighted Kripke Structures Under Uncertainty. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare On-the-Fly Computation of Bisimilarity Distances. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare On-the-Fly Computation of Bisimilarity Distances. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman Compositional Testing of Real-Time Systems. Search on Bibsonomy ModelEd, TestEd, TrustEd The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Giorgio Bacci, Kim G. Larsen, Radu Mardare On the Metric-Based Approximate Minimization of Markov Chains. Search on Bibsonomy ICALP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg Formal validation of supervisory energy management systems for microgrids. Search on Bibsonomy IECON The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Doron Peled, Sean Sedwards Memory-Efficient Tactics for Randomized LTL Model Checking. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin (eds.) 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark Search on Bibsonomy MFCS The full citation details ... 2017 DBLP  BibTeX  RDF
1Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman Mutation-Based Test-Case Generation with Ecdar. Search on Bibsonomy ICST Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden Unrestricted stone duality for Markov processes. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Uli Fahrenberg, Axel Legay From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare Timed Comparisons of Semi-Markov Processes. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue Reasoning About Bounds in Weighted Transition Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen Practical controller synthesis for MTL0, ∞. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Dependable and Optimal Cyber-Physical Systems. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. Search on Bibsonomy ICTAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.) Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Validation, Synthesis and Optimization for Cyber-Physical Systems. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anders Mariegaard, Kim Guldstrand Larsen Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking. Search on Bibsonomy FORMATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. Search on Bibsonomy GraMSec@CSF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Timed and Untimed Energy Games. Search on Bibsonomy CIAA The full citation details ... 2017 DBLP  BibTeX  RDF
1Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen Refinement of Trace Abstraction for Real-Time Programs. Search on Bibsonomy RP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou Statistical and exact schedulability analysis of hierarchical scheduling systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bingtian Xue, Stefan Schmid 0001, Kim G. Larsen WNetKAT: A Weighted SDN Programming and Verification Language. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kim G. Larsen, Simon Laursen, Martin Zimmermann 0002 Limit Your Consumption! Finding Bounds in Average-energy Games. Search on Bibsonomy QAPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Gebler, Kim G. Larsen, Simone Tini Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi Optimizing the resource requirements of hierarchical scheduling systems. Search on Bibsonomy SIGBED Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen Learning deterministic probabilistic automata from a model checking perspective. Search on Bibsonomy Machine Learning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Stefan Schmid 0001, Bingtian Xue WNetKAT: A Weighted SDN Programming and Verification Language. Search on Bibsonomy OPODIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Axel Legay On the Power of Statistical Model Checking. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Axel Legay Statistical Model Checking: Past, Present, and Future. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare Complete Axiomatization for the Bisimilarity Distance on Markov Chains. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards Importance Sampling for Stochastic Timed Automata. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist Online and Compositional Learning of Controllers with Application to Floor Heating. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhengkui Zhang, Brian Nielsen, Kim G. Larsen Distributed Algorithms for Time Optimal Reachability Analysis. Search on Bibsonomy FORMATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhengkui Zhang, Brian Nielsen, Kim G. Larsen Time optimal reachability analysis using swarm verification. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Radu Mardare, Bingtian Xue Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. Search on Bibsonomy FSTTCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. Search on Bibsonomy Cassting/SynCoP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen Formal modelling and analysis of Bitflips in ARM assembly code. Search on Bibsonomy Information Systems Frontiers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard Efficient model-checking of weighted CTL with upper-bound constraints. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen An Automata-Based Approach to Trace Partitioned Abstract Interpretation. Search on Bibsonomy Semantics, Logics, and Calculi The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue A Complete Approximation Theory for Weighted Transition Systems. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba Distributed Computation of Fixed Points on Dependency Graphs. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen Modelling Attack-defense Trees Using Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou Toolchain for user-centered intelligent floor heating control. Search on Bibsonomy IECON The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen, Peter Koch 0001 Energy-aware scheduling of FIR filter structures using a timed automata model. Search on Bibsonomy DDECS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen, Igor Potapov, Jirí Srba (eds.) Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings Search on Bibsonomy RP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba Refinement checking on parametric modal transition systems. Search on Bibsonomy Acta Inf. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Radu Mardare, Bingtian Xue Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba Language Emptiness of Continuous-Time Parametric Timed Automata. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen Average-energy games (full version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards Statistical model checking for biological systems. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen Uppaal SMC tutorial. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski Real-time specifications. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Radu Mardare, Bingtian Xue Concurrent weighted logic. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. Search on Bibsonomy CBSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann CAAL: Concurrency Workbench, Aalborg Edition. Search on Bibsonomy ICTAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare Converging from Branching to Linear Metrics on Markov Chains. Search on Bibsonomy ICTAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Kim G. Larsen, Andrea Morichetta 0001, Francesco Tiezzi A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. Search on Bibsonomy FACS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. Search on Bibsonomy ISORC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 430 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license