-
1Academic Journal
المؤلفون: Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Jacob Illum Rasmussen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.521.8076; http://people.cs.aau.dk/~kgl/PTGA.pdf
-
2Academic Journal
المؤلفون: John Knudsen, Anna Ing Olfsd Ottir, Jens Alsted Hansen, Jacob Johnsen, Anna Ingolfsdottir, Anders Lyhne Christensen, Jens Alsted, Hansen Jacob, Johnsen John Knudsen, Jacob Illum Rasmussen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.989; http://www.brics.dk/RS/02/7/BRICS-RS-02-7.ps.gz
-
3
المؤلفون: Kim Guldstrand Larsen, K. Subramani, Jacob Illum Rasmussen
المصدر: Formal Methods in System Design. 29:97-114
مصطلحات موضوعية: Mathematical optimization, Linear programming, Computer science, Distributed computing, Duality (optimization), Graph, Theoretical Computer Science, Scheduling (computing), Automaton, Hardware and Architecture, Reachability, Optimal scheduling, Graph (abstract data type), Integer programming, Software
-
4
المؤلفون: Peter Bulychev, Paul Pettersson, Morgan Magnin, Wang Yi, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Joakim Byg, Gerd Behrmann, Didier Lime, Jiri Srba, Thomas Chatain, Olivier Roux, Alexandre David, Kenneth Y. Joergensen, Louis Marie Traonouez
المساهمون: Jard, Claude, H. Roux, Olivier, Roux, Olivier H.
المصدر: David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, K G, Pettersson, P, Rasmussen, J I, Srba, J, Yi, W, Joergensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L M 2013, Tools for Model-Checking Timed Systems . in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods . Wiley, pp. 165-225 . https://doi.org/10.1002/9781118558188.ch6
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methodsمصطلحات موضوعية: Model checking, business.industry, Computer science, Embedded system, ROMEO, and timed extensions, UPPAAL-CORA/-TIGA, business, TAPAAL, timed-arc Petri nets, Model-checking, and tools, UPPAAL, timed automata/symbolic
-
5
المؤلفون: Jacob Illum Rasmussen, Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen
المصدر: Formal Methods for Components and Objects ISBN: 9783642252709
FMCOمصطلحات موضوعية: Model checking, Control theory, Computer science, Distributed computing, Hybrid system, Control (management), Linear matrix inequality, Control engineering, Domain (software engineering)
-
6
المؤلفون: Jan Storbank Pedersen, Arne Skou, Kim Guldstrand Larsen, Poul Hougaard, Brian Nielsen, Marius Mikučionis, Steen Ulrik Palm, Jacob Illum Rasmussen
المصدر: Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)مصطلحات موضوعية: Model checking, symbols.namesake, Task (computing), Computer science, Distributed computing, symbols, Planck, Shared resource
-
7
المساهمون: Nicolescu, Gabriela, J. Mosterman, Pieter
المصدر: David, A, Rasmussen, J I, Larsen, K G & Skou, A 2009, Model-based Framework for Schedulability Analysis Using Uppaal 4.1 . in G Nicolescu & P J. Mosterman (eds), Model-Based Design for Embedded Systems . 1 edn, CRC Press, Computational Analysis, Synthesis, and Design of Dynamic Systems, pp. 93-119 . < http://www.cs.ru.nl/~fvaan/PC/chapter.pdf >
Model-Based Design for Embedded Systems ISBN: 9781315218823
Model-Based Design for Embedded Systems ISBN: 9781420067842مصطلحات موضوعية: Model checking, business.industry, Computer science, Multiprocessor Systems, Embedded system, Schedulability Analysis, Energy consumption, business, Monitoring and control, Model Checking, UPPAAL
-
8
المؤلفون: Jacob Illum Rasmussen, Kim Guldstrand Larsen
المصدر: Larsen, K G & Rasmussen, J I 2008, ' Optimal Reachability for Multi-Priced Timed Automata ', Theoretical Computer Science, vol. 390, no. 2-3, pp. 197-213 . https://doi.org/10.1016/j.tcs.2007.09.021
Theoretical Computer Scienceمصطلحات موضوعية: Mathematical optimization, General Computer Science, Reachability problem, Liveness, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Maximization, Extension (predicate logic), 01 natural sciences, Upper and lower bounds, Theoretical Computer Science, Decidability, Constraint (information theory), 010201 computation theory & mathematics, Reachability, 0202 electrical engineering, electronic engineering, information engineering, Algorithm, Computer Science(all), Mathematics
-
9
المصدر: Lecture Notes in Computer Science ISBN: 9783540754534
FORMATSمصطلحات موضوعية: Automatic controller, Control theory, Computer science, Code (cryptography), Process (computing), Control engineering, Control zone, Simulation
-
10
المؤلفون: Kim Guldstrand Larsen, Gerd Behrmann, Jacob Illum Rasmussen
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540712084
TACASمصطلحات موضوعية: business.industry, Computer science, media_common.quotation_subject, Search tree, Automaton, Simple (abstract algebra), State space search, State space, Beam search, Artificial intelligence, Simplicity, Hybrid automaton, business, media_common
-
11
المصدر: Lecture Notes in Computer Science ISBN: 9783540727323
مصطلحات موضوعية: Theoretical computer science, Computer science, 020204 information systems, 010102 general mathematics, 0202 electrical engineering, electronic engineering, information engineering, Timed automaton, 02 engineering and technology, 0101 mathematics, 01 natural sciences, Algorithm, Automaton
-
12
المصدر: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science ISBN: 9783540499947
FSTTCSمصطلحات موضوعية: Computer Science::Computer Science and Game Theory, Theoretical computer science, business.industry, Computability, Optimal cost, ComputingMilieux_PERSONALCOMPUTING, Contrast (statistics), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Undecidable problem, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Artificial intelligence, business, Game theory, Mathematics
-
13
المؤلفون: Jacob Illum Rasmussen, Kim Guldstrand Larsen
المصدر: Foundations of Software Science and Computational Structures ISBN: 9783540253884
FoSSaCSمصطلحات موضوعية: Variable (computer science), Mathematical optimization, Reachability, Computer science, Reachability problem, State (computer science), Symbolic execution, Algorithm, Upper and lower bounds, Decidability, Automaton
-
14
المؤلفون: Kim Guldstrand Larsen, Jacob Illum Rasmussen, Gerd Behrmann
المصدر: Behrmann, G, Larsen, K G & Rasmussen, J I 2005, ' Optimal scheduling using priced timed automata ', SIGMETRICS Performance Evaluation Review-Measurement and Evaluation, vol. 32, no. 4, pp. 34-40 .
مصطلحات موضوعية: Computer Networks and Communications, Hardware and Architecture, Computer science, Reachability, Distributed computing, Optimal scheduling, Software, Automaton
-
15
المؤلفون: Kim Guldstrand Larsen, Jacob Illum Rasmussen, Gerd Behrmann
المصدر: Lecture Notes in Computer Science ISBN: 9783540309468
FORMATSمصطلحات موضوعية: Model checking, Worst-case execution time, Computer science, Bounded function, Liveness, Graph (abstract data type), Graph theory, Formal methods, Algorithm, Presburger arithmetic, Automaton, Decidability
-
16
المؤلفون: Kim Guldstrand Larsen, Jacob Illum Rasmussen, Gerd Behrmann
المصدر: Formal Methods for Components and Objects ISBN: 9783540291312
FMCOمصطلحات موضوعية: Object-oriented programming, Computer science, Reachability, business.industry, Component-based software engineering, Software development, Formal methods, business, Algorithm, Real-time operating system, Scheduling (computing), Automaton
-
17
المؤلفون: K. Subramani, Kim Guldstrand Larsen, Jacob Illum Rasmussen
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540212997
TACASمصطلحات موضوعية: Mathematical optimization, Program analysis, Linear programming, Reachability, Computer science, Timed automaton, Graph (abstract data type), Algorithm, Symbolic data analysis, Graph, Scheduling (computing), Automaton
-
18
المؤلفون: Jacob Illum Rasmussen, Jacob Johnsen, Anna Ingólfsdóttir, Jens Alsted Hansen, John Knudsen, Anders Lyhne Christensen
المصدر: BRICS Report Series; No 7 (2002): RS-7 A Formalization of Linkage Analysis
BRICS Report Series; Nr. 7 (2002): RS-7 A Formalization of Linkage Analysisمصطلحات موضوعية: Alternative methods, Basis (linear algebra), Genetic linkage, Genetic linkage analysis, Computer science, Biological modeling, Correctness proofs, Data mining, State (computer science), computer.software_genre, computer, Multi point
وصف الملف: application/pdf
-
19Academic Journal
المؤلفون: Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Jacob Illum Rasmussen
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.3486; http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BLMR-fsttcs06.pdf
-
20Academic Journal
المؤلفون: Marius Mikučionis, Kim Guldstr, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: schedulabilityanalysis, timedautomata, stop-watchautomata, model-checking
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.1416; http://www.cs.aau.dk/%7Ebnielsen/Published/ISoLA2010.pdf