Amar Bouali

According to our database1, Amar Bouali authored at least 12 papers between 1991 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

1992
1994
1996
1998
2000
2002
2004
2006
2008
0
1
2
3
4
1
1
1
1
1
1
1
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Panel Session - The Future Car: Technology, Methods and Tools.
Proceedings of the Design, Automation and Test in Europe, 2008

2006
EPspectra: a formal toolkit for developing DSP software applications.
Theory Pract. Log. Program., 2006

2004
Formal Verification of an Avionics Sensor Voter Using SCADE.
Proceedings of the Formal Techniques, 2004

2002
Top-level validation of system-on-chip in Esterel Studio.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2000
ESTEREL: a formal method applied to avionic software development.
Sci. Comput. Program., 2000

1998
XEVE, an ESTEREL Verification Environment.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996
The FC2TOOLS Set (Tool Demonstration).
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Verifying Synchronous Reactive Systems Programmed in ESTEREL.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

The FC2TOOLS Set.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1994
JACK: Just Another Concurrency Kit. The intergration Projekt.
Bull. EATCS, 1994

1992
Symbolic Bisimulation Minimisation.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991
Causal Models for Rational Algebraic Processes.
Proceedings of the CONCUR '91, 1991


  Loading...