|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Samir Chouali, Ahmed Hammad |
Formal verification of components assembly based on SysML and interface automata.  |
ISSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Chouali, Hassan Mountassir, Sebti Mouelhi |
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Chouali, Sebti Mouelhi, Hassan Mountassir |
Adapting Component Behaviours Using Interface Automata. |
EUROMICRO-SEAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebti Mouelhi, Samir Chouali, Hassan Mountassir |
Refinement of Interface Automata Strengthened by Action Semantics. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Chouali, Maritta Heisel, Jeanine Souquières |
Proving Component Interoperability with B Refinement. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde |
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde |
PLTL-partitioned model checking for reactive systems under fairness assumptions. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking |
| 1 | Françoise Bellegarde, Samir Chouali, Jacques Julliand |
Refinemant verification of fair transition systems can contribute to PLTL model checking. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeanine Souquières, Samir Chouali |
Verifying the compatibility of component interfaces using the B formal method. |
Software Engineering Research and Practice |
2005 |
DBLP BibTeX RDF |
|
| 1 | Françoise Bellegarde, Samir Chouali, Jacques Julliand |
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
B event systems1, fairness hypotheses, PLTL verification, specification |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")