Publikationer pr. år
Fingeraftryk Dyk ned i de forskningsemner, hvor SDU Software Engineering er aktiv. Disse emneetiketter kommer fra arbejdet fra denne organisations medlemmer. Sammen danner de et unikt fingeraftryk.
Software engineering
Teknik og materialevidenskab
Intelligent buildings
Teknik og materialevidenskab
Industry
Teknik og materialevidenskab
Testing
Teknik og materialevidenskab
Flow control
Teknik og materialevidenskab
Robots
Teknik og materialevidenskab
Application programs
Teknik og materialevidenskab
Students
Teknik og materialevidenskab
Netværk
Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.
Profiler
Publikationer 2003 2019
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL
Kang, E-Y., mar. 2019, arXiv. 19 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgang
Embedded systems
Specifications
Model checking
Trucks
Computer systems
Assessment of Building Intelligence Requirements for Real Time Performance Testing in Smart Buildings
Markoska, E., Jakica, N., Lazarova-Molnar, S. & Kragh, M. K., 1. aug. 2019, 2019 4th International Conference on Smart and Sustainable Technologies (SpliTech). Perković, T., Vukojević, K., Rodrigues, J. J. P. C., Nižetić, S., Patrono, L. & Šolić, P. (red.). IEEE, 6 s.Publikation: Bidrag til bog/antologi/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
Intelligent buildings
Testing
Metadata
Energy utilization
Monitoring
Collaborative data analytics for smart buildings: opportunities and models
Lazarova-Molnar, S. & Mohamed, N., 16. jan. 2019, I : Cluster Computing: The Journal of Networks, Software Tools and Applications. 22, Supplement. 1, s. 1065-1077Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Intelligent buildings
Fault detection
Failure analysis
Energy efficiency
Energy conservation
Combining Performance Testing and Metadata Models to Support Fault Detection and Diagnostics in Smart Buildings
Markoska, E., Johansen, A., Kjærgaard, M. B., Lazarova-Molnar, S., Jradi, M. & Jørgensen, B. N., 2019, I : Applied System Innovation.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Comparative evaluation of threshold modelling for smart buildings' performance testing
Markoska, E., 2019, 2018 Ninth International Green and Sustainable Computing Conference (IGSC).Publikation: Bidrag til bog/antologi/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
Aktiviteter 2013 2019
Institut National de Recherche en Informatique et en Automatique
Jan Midtgaard (Gæsteforsker)11 jul. 2019 → 18 jul. 2019
Aktivitet: Gæsteophold ved andre institutioner
Sorbonne University
Jan Midtgaard (Gæsteforsker)6 maj 2019 → 15 maj 2019
Aktivitet: Gæsteophold ved andre institutioner
Concurrency and Computation: Practice & Experience (Tidsskrift)
Torben Worm (Peer reviewer)1 apr. 2019 → …
Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
26th International Static Analysis Symposium, SAS 2019 (Begivenhed)
Jan Midtgaard (Medlem)1 feb. 2019 → 11 okt. 2019
Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
Director-at-Large on the Board of Directors of The Society for Modeling and Simulation International (SCS) (Ekstern organisation)
Sanja Lazarova-Molnar (Medlem)2019
Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
Projekter 2017 2019
- 1 Aktiv
FFU: Future Freezing Unit (FFU)
Worm, T., Appleton Coolidge, W., Jabangwe, R., Jabangwe, I. N., Lundquist, N. & Mørk, T. I.
03/03/2017 → 31/12/2019
Projekter: Projekt › Forskning
Priser
Best Paper Award: Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT
Eun-Young Kang (Modtager), 2011
Pris: Priser, stipendier, udnævnelser
Cum Laude (B.Sc. in Computer Science)
Ronald Jabangwe (Modtager), dec. 2004
Pris: Priser, stipendier, udnævnelser
Doctoral Recherche Grant: French Institute for Research in Computer Science and Automation
Eun-Young Kang (Modtager), 2006
Pris: Priser, stipendier, udnævnelser
France
Automation
Computer Science
John McCarthy Best Article Award
Jan Midtgaard (Modtager), 12 jun. 2018
Pris: Priser, stipendier, udnævnelser
Undervisning og vejledning
Artificial Intelligence
| Sanja Lazarova-Molnar 01/02/2018 → 31/05/2018 |
Kursus: Undervisning og vejledning › Undervisning
Blockchain. Theory and Usage
| Kasper Hallenborg & Torben Worm 01/09/2018 → … |
Kursus: Undervisning og vejledning › Undervisning
Design of Software Systems
| Ronald Jabangwe 01/09/2017 → 31/01/2019 |
Kursus: Undervisning og vejledning › Undervisning
Fundamentals of Cybersecurity
| Ronald Jabangwe 31/01/2018 → … |
Kursus: Undervisning og vejledning › Undervisning