1
0
0
News
300 dataforskare möts i Västerås - Mälardalens högskola
news.cision.com
Det är också ett idealiskt sätt att öka den internationella medvetenheten om MDH, säger Cristina Seceleanu, projektledare för COMPSAC
CORCS : 5th IEEE International Workshop on Component-Based...
www.wikicfp.com
CORCS : 5th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
CORCS : The 4th IEEE International Workshop on Component-Based...
www.wikicfp.com
CORCS : The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
Joint 22nd International Workshop on Formal Methods for Industrial...
ercim-news.ercim.eu
ERCIM News, the quarterly magazine of the European Research Consortium for Informatics and Mathematics
Telephone & Addresses
eniro: Cristina Seceleanu, Västerås, telefonnummer, adress, kontaktuppgifter...
Kontaktuppgifter till Cristina Seceleanu , telefonnummer, address och kontaktuppgifter.
Cristina Seceleanu Varmfrontsgatan 1, Västerås - hitta.se
www.hitta.se
50 år. Varmfrontsgatan 1, Västerås. Medelinkomsten i området är kr, snittbelåningen kr. Valdistriktet röstar borgerligt.
Business Profiles
Researchgate: Cristina Seceleanu
Västerås, Sweden
Employees
IDT - ES
www.es.mdh.se
Biography. Cristina Seceleanu is a senior lecturer and Tech. Dr at MdH, Embedded Systems Division. She received a MSc. in Electronics from Polytechnic University of ...
A functional language for specifying business reports - Participants
di.ku.dk
Title, Proceedings of the 23rd Nordic Workshop on Programming Theory. Editors, Paul Pettersson, Cristina Seceleanu. Number of pages, 3.
Education
UCAmI - Committees
mamilab.esi.uclm.es
IoT & Sensors. Iván González SPAIN. Gustavo López COSTA RICA. Cristina Seceleanu SWEDEN. Smart Environments. Joe Rafferty UNITED KINGDOM.
UCAmI (IWAAL & AmIHEALTH)
mami.uclm.es
Ashalatha Kunnappilly, Cristina Seceleanu and María Lindén. 17:50-18:10, " Recognition of activities in resource constrained environments; reducing the ...
Books & Literature
CRISTINA SECELEANU - IATED Digital Library
library.iated.org
Works published by CRISTINA SECELEANU at IATED Digital Library
Critical Systems: Formal Methods and Automated Verification by Laure...
books.apple.com
Read a free sample or buy Critical Systems: Formal Methods and Automated Verification by Laure Petrucci, Cristina Seceleanu & Ana Cavalcanti. You can read this...
Component-Based Software Engineering: 13th International Symposium,...
books.google.de
Bridging the Semantic Gap between Abstract Models of Embedded Systems⋆ Jagadish Suryadevara, Eun-Young Kang, Cristina Seceleanu, and Paul ...
Formal Modeling and Analysis of Timed Systems: 5th International...
books.google.de
... Pierre-Alain Reynier Oliviero Riganelli Julien Schmaltz Cristina Seceleanu Mihaela Sighireanu Jiri Srba Vijay Suman Daniel Sundmark Mani Swaminathan Li ...
Related Documents
Sébastien Lafond, Åbo akademi | SlideShare
www.slideshare.net
View all of Sébastien Lafond's Presentations.
Cristina Seceleanu -
conf.researchr.org
Name: Cristina Seceleanu. Country: Sweden. Affiliation: Mälardalen University. Personal website: http://www.es.mdh.se/staff/173-Cristina_Seceleanu.
EPTCS 20: Formal Methods for Aerospace
arxiv.org
Cristina Seceleanu (Malardalen, SE) Roberto Segala (Verona, IT) Ferucio Tiplea (Iasi, RO) Antonios Tsourdos (Cranfield, UK) Mike Whalen (Minnesota, USA)
Cristina Seceleanu - Academia.edu
independent.academia.edu
Cristina Seceleanu studies Matlab, Hybrid Systems, and Business.
Scientific Publications
[clean-list] CORCS 2008: 2nd Call for Papers (extended deadline!)
mailman.science.ru.nl
[clean-list] CORCS 2008: 2nd Call for Papers (extended deadline!) Cristina Seceleanu cristina.seceleanu at mdh.se. Fri Feb :05:54 MET Previous ...
Publications
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL | SpringerLink
link.springer.com
In the development of safety-critical embedded systems, the ability to formally analyze system behavior models, based on timing and causality, helps the...
Bridging the Semantic Gap between Abstract Models of Embedded Systems...
link.springer.com
In the development of embedded software, modeling languages used within or across development phases e.g., requirements, specification, design, etc are based...
Distributed Energy Management Case Study: A Formal Approach to...
link.springer.com
The service-oriented paradigm has been established to enable quicker development of new applications from already existing services. Service negotiation is a...
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded...
link.springer.com
We present a framework for modeling and analysis of adaptive embedded systems, based on the model of timed automata with tasks. The model is extended with...
Reports & Statements
JISCMail - PROCOS Archives
www.jiscmail.ac.uk
Cristina Seceleanu <[log in to unmask]> France) Cristina Seceleanu ( Mälardalen University, Sweden) Special track Chair Ana Cavalcanti ...
[TYPES/announce] Deadline extension: FMA Formal Methods for Aerospace
www.mail-archive.com
... Flemming Nielson (DTU, DK) Dusko Pavlovic (Oxford, UK) Corina Pasareanu (CMU (SV), USA) Cristina Seceleanu (Malardalen, SE) Roberto Segala (Verona, IT
DBWorld Message
research.cs.wisc.edu
... Perspectives Moderator: Cristina Seceleanu, Malardalen University, Sweden Panelists: Tiziana Margaria University of Potsdam, Germany, Paul Pettersson, ...
Miscellaneous
Cristina Seceleanu - Associate Professor - …
www.linkedin.com
Cristina Seceleanu Associate Professor at Mälardalen University Sverige Programvaror 1 person har rekommenderat Cristina
Atilla Elçi - Google Scholar Citations
scholar.google.com
Cristina Seceleanu Associate Professor, Mälardalen University Verified email at mdh.se Ibukun Eweoya Covenant University, Ota, Nigeria Verified email at covenantuniversity.edu.ng Follow
Cristina Seceleanu - Google Scholar
scholar.google.com
22 filas · Cristina Seceleanu. Associate Professor, Mälardalen University. Verified email at mdh.se - …
Anton Jansen - Citations Google Scholar
scholar.google.ch
... M. Ali Babar,; Leo Hatvani,; Cristina Seceleanu,; Paul Pettersson,; Lai Xu,; Ivica Crnkovic,; Hongyu Pei Breivold,; Kristian Sandström,; Anne Koziolek (Martens) ...
Cristina Seceleanu | LinkedIn
www.linkedin.com
View Cristina Seceleanu's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Cristina Seceleanu...
BIOTECHNO Committees
www.iaria.org
BIOTECHNO Advisory Chairs. Olivier Bodenreider, National Institutes of Health - Bethesda, USA Cristina Seceleanu, Mälardalen University, Sweden
EUROMICRO'09 - DICES UKF project
www.fer.unizg.hr
"An Intuitive Formal Semantics of a Real-Time Component Model" by Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu and Paul Pettersson
Lubomír Bulej - Google Scholar Citations
scholar.google.nl
... Andreas Sewe,; Lucia Happe (Kapova),; Thierry Coupaye,; Cristina Seceleanu, ; Raffaela Mirandola,; Alex Villazon,; Giordano Tamburrelli,; Heiko Koziolek, ...
Paul Pettersson - Google Scholar Citations
scholar.google.at
Neue Zitate verfolgen. E-Mail-Benachrichtigung für neue Zitate von Artikeln in diesem Profil erstellen. Koautoren. Wang Yi · Kim G. Larsen · Cristina Seceleanu
Raluca Marinescu - Бібліографічні посилання Google Академія
scholar.google.com.ua
СпівавториПереглянути всіх… Cristina Seceleanu,; Eduard Paul Enoiu,; Paul Pettersson,; Mehrdad Saadatmand,; Alessio Bucaioni,; Marius Mikučionis, ...
[TYPES/announce] Formal Methods for Aerospace workshop: Call...
lists.seas.upenn.edu
... USA) Flemming Nielson (DTU, DK) Dusko Pavlovic (Oxford, UK) Cristina Seceleanu (Malardalen, SE) Roberto Segala (Verona, IT) Ferucio Tiplea (Iasi, RO
Raluca Marinescu - Google Akademik Alıntılar
scholar.google.com.tr
Katkıda bulunan yazarlarTümünü görüntüle… Cristina Seceleanu,; Eduard Paul Enoiu,; Paul Pettersson,; Pierre Yves Schobbens,; Aida Delic Causevic ...
Raluca Marinescu - Google Scholar Citations
scholar.google.se
Co-authorsView all… Cristina Seceleanu,; Eduard Paul Enoiu,; Paul Pettersson,; Pierre Yves Schobbens,; Aida Delic Causevic ...
Research team AOSTE Models and methods for the Analysis and...
dumas.ccsd.cnrs.fr
Cristina Seceleanu (1); Jagadish Suryadevara ... Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson. Verifying MARTE/CCSL Mode ...
Cristina Seceleanu: free download. Ebooks library. …
b-ok.cc
Cristina Seceleanu: free download. Ebooks library. On-line books store on Z-Library | B–OK. Download books for free. Find books
Cristina Seceleanu
easychair.org
Organization: Mälardalen University, Västerås, SWEDEN: Web page: http://www.es.mdh.se/staff/173-Cristina_Seceleanu
IARIA Journals
www.iariajournals.org
Cristina Seceleanu, Mälardalen University, Sweden Guodong Shao, National Institute of Standards and Technology (NIST), USA Dongwan Shin, New Mexico Tech, USA
(PDF) Pattern-Driven Support for Designing Component-Based...
www.academia.edu
Pattern-driven Support for Designing Component-based Architectural Models Jagadish Suryadevara, Cristina Seceleanu and Paul Pettersson ...
Cristina Seceleanu - Donatori organizatie - Galantom - Comunitatea...
hospice.galantom.ro
Galantom este un om mereu dispus să ii ajute pe alții, în mod dezinteresat; generos; darnic; mărinimos. Galantom.ro este platforma de fundraising peer to peer...
A functional language for specifying business reports - Members of...
di.ku.dk
Paul Pettersson; Cristina Seceleanu p (Mrtc technical report, Vol. 254). Publication: Research - peer-review › Conference abstract in proceedings ...
Related search requests for Cristina Seceleanu
Eduard Paul Jagadish Suryadevara Aida Delic Causevic | Aida Causevic Paul Pettersson Tiziana Margaria | Catia Trubiani Pierre Yves Schobbens Ivan Skuliber |
People Forename "Cristina" (37582) Name "Seceleanu" (13) |
sorted by relevance / date