|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu |
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalid Latif 0002, Tiberiu Seceleanu, Cristina Cerschi Seceleanu, Hannu Tenhunen |
Service based communication for MPSoC platform-SegBus. |
Microprocessors and Microsystems - Embedded Hardware Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson |
Pattern-Driven Support for Designing Component-Based Architectural Models. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
clock constraints, UML/Marte, embedded system, components |
| 1 | Cristina Cerschi Seceleanu |
Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic |
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson |
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinko Ivanov, Marin Orlic, Cristina Cerschi Seceleanu, Aneta Vulgarakis |
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson |
Bridging the Semantic Gap between Abstract Models of Embedded Systems. |
CBSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
Modeling and Reasoning about Service Behaviors and Their Compositions. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalid Latif 0002, Tiberiu Seceleanu, Cristina Cerschi Seceleanu, Hannu Tenhunen |
Resource-aware task allocation and scheduling for segbus platform. |
ICECS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Cerschi Seceleanu |
Integrating Behavioral Descriptions into a Component Model for Embedded Systems. |
EUROMICRO-SEAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson |
Analyzing a Pattern-Based Model of a Real-Time Turntable System. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiberiu Seceleanu, Ivica Crnkovic, Cristina Cerschi Seceleanu |
Transaction Level Control for Application Execution on the SegBus Platform. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson |
REMES: A Resource Model for Embedded Systems. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson |
Formal Semantics of the ProCom Real-Time Component Model. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
Scheduling Timed Modules for Correct Resource Sharing. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
timed modules, real-time systems, resource management, component-based design |
| 1 | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
Message from the CORCS 2008 Workshop Organizers. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aneta Vulgarakis, Cristina Cerschi Seceleanu |
Embedded Systems Resources: Views on Modeling and Analysis. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
resource usage analysis, embedded systems, component-based design |
| 1 | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
CORCS 2008 Workshop Organization. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Cristina Cerschi Seceleanu |
Panel Description: 40 Years of Software Engineering. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
special session, software engineering |
| 1 | Aida Causevic, Paul Pettersson, Cristina Cerschi Seceleanu |
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. |
CIMCA/IAWTIC/ISE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cerschi Seceleanu |
Formal Development of Real-Time Priority-Based Schedulers. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cerschi Seceleanu |
Designing Controllers for Reachability. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cerschi Seceleanu, Tiberiu Seceleanu |
Synchronization Can Improve Reactive Systems Control and Modularity. |
J. UCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ralph-Johan Back, Cristina Cerschi Seceleanu |
Contracts and Games in Controller Synthesis for Discrete Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cerschi Seceleanu, Tiberiu Seceleanu |
Modular Design of Reactive Systems. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Concurrency, Reactive systems, Modular design, Action systems |
| 1 | Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm |
Symbolic Simulation of Hybrid Systems. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")