MT-Lab - Modelling of Information Technology

Søgeresultater

• 2014

  Maximizing Entropy over Markov Processes

  Biondi, F., Legay, A., Nielsen, B. F. & Wasowski, A., 2014, I: Journal of Logic and Algebraic Programming. 83, 5-6, s. 384-399 12 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Channel Capacity 100%
  • Markov Process 100%
  • Interval Markov Chains 75%
  • Markov Chain 75%
  • Confidential Information 50%

• Robust synthesis for real-time systems

  Larsen, K. G., Legay, A., Traonouez, L.-M. & Wasowski, A., 2014, I: Theoretical Computer Science. 515, s. 96-122 28 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Specification Theory 100%
  • Real-time Systems 100%
  • Robust Synthesis 100%
  • Time Specifications 100%
  • Real Time Systems 100%

• 2013

  Abstract Probabilistic Automata

  Delahaye, B., Katoen, J.-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., nov. 2013, I: Information and Computation. 232, s. 66-116 50 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Probabilistic Automata 100%
  • Automaton 100%
  • Specification Theory 33%
  • Stochastic Behavior 16%
  • State Space Explosion 16%

• Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)

  Song, L., Zhang, L. & Godskesen, J. C., 2013, I: Logical Methods in Computer Science. 9, 2, 34 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Probabilistic Automata 100%
  • Bisimulation 100%
  • Behavioral Equivalence 100%
  • Automaton 100%
  • Logical Equivalence 66%

• Incremental Bisimulation Abstraction Refinement

  Godskesen, J. C., Song, L. & Zhang, L., 8 jul. 2013, I: Proceedings of the International Conference on Application of Concurrency to System Design. s. 11-20

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Bisimulation 100%
  • Abstraction Refinement 100%
  • Probabilistic Computation Tree Logic 66%
  • Automaton 50%
  • Experimental Result 50%

• QUAIL: A Quantitative Security Analyzer for Imperative Code

  Biondi, F., Wasowski, A., Traonouez, L.-M. & Legay, A., jul. 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings.. s. 702-707 6 s. (Lecture Notes in Computer Science, Bind 8044).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Attacker 100%
  • Private Information 100%
  • Quantitative Security 100%
  • Secret Data 100%
  • Attackers 100%

• Quantifying Information Leakage of Randomized Protocols

  Biondi, F., Wasowski, A., Legay, A. & Malacaria, P., 20 jan. 2013, I: Lecture Notes in Computer Science. 7737, s. 68-87 20 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Randomized Protocol 100%
  • Information Leakage 100%
  • Markov Process 100%
  • Lattices 100%
  • Channel Capacity 100%

• Real-time specifications

  David, A., Larsen, K. G., Legay, A., Nyman, U. M., Traonouez, L.-M. & Wasowski, A., aug. 2013, I: International Journal on Software Tools for Technology Transfer. s. 1-29 29 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Automata 100%
  • Specification Theory 100%
  • Real-time Systems 100%
  • Design Methodology 100%
  • Transition System 100%

• Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs

  Mukkamala, R. R., Hildebrandt, T. & Slaats, T., 2013, I: International Enterprise Distributed Object Computing Conference. Proceedings. s. 127-136

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

  • Process Model 100%
  • model checker 100%
  • Deadlock Freedom 100%
  • Liveness 100%
  • Dynamic Condition Response Graphs 100%

• Variability-aware performance prediction: A statistical learning approach

  Guo, J., Czarnecki, K., Apel, S., Siegmund, N. & Wasowski, A., 2013, Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on . IEEE, s. 301-311 10 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

• 2012

  A Modal Specification Theory for Components with Data

  S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer, Bind 7253. s. 61-78 (Lecture Notes in Computer Science, Bind 7253).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

• Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

  Song, L. & Godskesen, J. C., sep. 2012, Theoretical Computer Science: Proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Springer, Bind 4604. s. 342-356 15 s. (Lecture Notes in Computer Science, Bind 4604).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Mobile Networks 100%
  • Network Topology 100%
  • Continuous-time 100%
  • Mobile Network 100%
  • Continuous Time 100%

• Compositional verification of real-time systems using Ecdar

  David, A., Larsen, K. G., Legay, A., Møller, M. H., Nyman, U. M., Ravn, A. P., Skou, A. J. & Wasowski, A., 2012, I: International Journal on Software Tools for Technology Transfer. 14, 6, s. 703-720

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Input/Output 100%
  • Execution Time 100%
  • Automaton 100%
  • Real Time Systems 100%
  • Depth Case Study 100%

• Consistency and refinement for Interval Markov Chains

  Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, I: Journal of Logic and Algebraic Programming. 81, 3, s. 209-266

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Interval Markov Chains 100%
  • Markov Chain 100%
  • Emptiness 66%
  • Common Implementation 40%
  • Polynomial Time 33%

• Moving from Specifications to Contracts in Component-Based Design

  Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12. Bind 7212. s. 43-58 (Lecture Notes in Computer Science).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

• New results for Constraint Markov Chains

  Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, I: Performance Evaluation. 69, 7-8, s. 379-401

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Markov Chain 100%
  • Specification Theory 50%
  • Interval Markov Chains 50%
  • Stochastic Systems 25%
  • Formal Proof 12%

• New Results on Timed Specifications

  Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. M. & Wasowski, A., 2012, I: Lecture Notes in Computer Science. 7137, s. 175 192 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Refinement for Transition Systems with Responses

  Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Bind 87.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

• 2011

  APAC: A Tool for Reasoning about Abstract Probabilistic Automata

  Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, Quantitative Evaluation of Systems (QEST), 2011 8th International Conference. IEEE, s. 151-152 2 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

• A Stochastic Broadcast Pi-Calculus

  Song, L., Nielson, F. & Nielsen, B. F., 6 jul. 2011, I: Electronic Proceedings in Theoretical Computer Science. 57, s. 74-88 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Immediate Transition 100%
  • π-calculus 100%
  • Nondeterminism 100%
  • Calculus 100%
  • Stochastics 100%

• Bisimulations Meet PCTL Equivalences for Probabilistic Automata

  Song, L., Zhang, L. & Godskesen, J. C., 5 sep. 2011, CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory . Springer, s. 108-123 15 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Probabilistic Automata 100%
  • Bisimulation 100%
  • Logical Equivalence 100%
  • Automaton 100%
  • Formal Verification 50%

• Vision Paper: Make a Difference! (Semantically)

  Fahrenberg, U., Legay, A. & Wasowski, A., 2011, I: Lecture Notes in Computer Science. 6981, s. 490-500 10 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• 2010

  Probabilistic Mobility Models for Mobile and Wireless Networks

  Song, L. & Godskesen, J. C., 2010, IFIP Advances in Information and Communication Technology . Springer, Bind 2010. 15 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Calculus 100%
  • Wireless Networks 100%
  • Weak Bisimulation 100%
  • Mobility Model 100%
  • Mobility Function 100%