20112019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 11 Lignende profiler
Fire alarm systems Teknik og materialevidenskab
Clocks Teknik og materialevidenskab
Model checking Teknik og materialevidenskab
Controllers Teknik og materialevidenskab
Heating Teknik og materialevidenskab
Conformance Testing Matematik
Formal methods Teknik og materialevidenskab
Spreadsheets Teknik og materialevidenskab

Netværk Klik på punkterne for at se detaljerne.

Publikationer 2011 2019

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Spreadsheets
Model checking
Parallel programming
Scalability
Derivatives
1 Downloads (Pure)

Partial order reduction for reachability games

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., aug. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Model checking
Petri nets
2 Citationer (Scopus)
128 Downloads (Pure)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil

A delay-robust touristic plan recommendation using real-world public transportation information

Ayala, V. A. A., Alzogbi, A., Gülsen, K. C., Färber, M., Muñiz, M. & Lausen, G., 1 jan. 2017, I : CEUR Workshop Proceedings. 1906, s. 9-17 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Recommender systems
Experiments

Uppaal Stratego for Intelligent Traffic Lights

Eriksen, A. B., Huang, C., Kildebogaard, J., Lahrmann, H. S., Larsen, K. G., Muniz, M. & Taankvist, J. H., 2017, 12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 10 s. SP0878

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Telecommunication traffic
Controllers
Radar
Cruise control
Information use