More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Safouan Taha

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j7]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/BallenghienTW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/BallenghienTW23
Benoît Ballenghien, Safouan Taha, Burkhart Wolff:
HOL-CSPM - Architectural operators for HOL-CSP. Arch. Formal Proofs 2023 (2023)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/CrisafulliTW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/CrisafulliTW23
Paolo Crisafulli, Safouan Taha, Burkhart Wolff:
Modeling and analysing Cyber-Physical Systems in HOL-CSP. Robotics Auton. Syst. 170: 104549 (2023)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/har/FouillardSTB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/har/FouillardSTB23
Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger:
An Incremental Diagnosis Algorithm of Human Erroneous Decision Making. HAR 2023: 48-63
2021
[j5]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/FouillardTBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/FouillardTBS21
Valentin Fouillard, Safouan Taha, Frédéric Boulanger, Nicolas Sabouret:
Belief Revision Theory. Arch. Formal Proofs 2021 (2021)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/FouillardSTB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/FouillardSTB21
Valentin Fouillard, Nicolas Sabouret, Safouan Taha, Frédéric Boulanger:
Catching cognitive biases in an erroneous decision making process. SMC 2021: 3121-3127
2020
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/TahaWY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/TahaWY20
Safouan Taha, Burkhart Wolff, Lina Ye:
The HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/TahaWY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/TahaWY20
Safouan Taha, Burkhart Wolff, Lina Ye:
Philosophers May Dine - Definitively! IFM 2020: 419-439
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/TodorovTB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/TodorovTB20
Vassil Todorov, Safouan Taha, Frédéric Boulanger:
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking. NFM 2020: 187-203

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/TahaYW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/TahaYW19
Safouan Taha, Lina Ye, Burkhart Wolff:
HOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/TodorovTBH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/TodorovTBH19
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez:
Improved Invariant Generation for Industrial Software Model Checking of Time Properties. QRS 2019: 334-341
2018
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TodorovBT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TodorovBT18
Vassil Todorov, Frédéric Boulanger, Safouan Taha:
Formal verification of automotive embedded software. FormaliSE@ICSE 2018: 84-87
2015
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/TahaJDCK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/TahaJDCK15
Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso:
A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects Comput. 27(4): 641-664 (2015)
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/VanBBTVWY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/VanBBTVWY15
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye:
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS 2015: 14-19
2014
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KansoT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KansoT14
Bilal Kanso, Safouan Taha:
Specification of temporal properties with OCL. Sci. Comput. Program. 96: 527-551 (2014)
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DadeauCLTVBT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DadeauCLTVBT13
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha:
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. ICST 2013: 431-438
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CastillosDJKT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CastillosDJKT13
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha:
A Compositional Automata-Based Semantics for Property Patterns. IFM 2013: 316-330
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/ChouhCJBT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ChouhCJBT13
Hamza Chouh, Charlotte Callon, Ghita Jalal, Frédéric Boulanger, Safouan Taha:
Modeling and Verification of Redundancy Policies. ACES-MB@MoDELS 2013
2012
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/KansoT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/KansoT12
Bilal Kanso, Safouan Taha:
Temporal Constraint Support for OCL. SLE 2012: 83-103
2011
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/CastillosDJT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/CastillosDJT11
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha:
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS 2011: 32-47
2010
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/TahaRG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/TahaRG10
Safouan Taha, Ansgar Radermacher, Sébastien Gérard:
An Entirely Model-Based Framework for Hardware Design and Simulation. DIPES/BICC 2010: 31-42
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/BenyahiaCTTBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/BenyahiaCTTBG10
Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard:
Extending the Standard Execution Model of UML for Real-Time Systems. DIPES/BICC 2010: 43-54

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/RevolTTCGRD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/RevolTTCGRD08
Sebastien Revol, Safouan Taha, François Terrier, Alain Clouard, Sébastien Gérard, Ansgar Radermacher, Jean-Luc Dekeyser:
Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT. DIPES 2008: 69-78
2007
[c2]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/TahaRGD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/TahaRGD07
Safouan Taha, Ansgar Radermacher, Sébastien Gérard, Jean-Luc Dekeyser:
MARTE: UML-based Hardware Design from Modelling to Simulation. FDL 2007: 274-279
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/TahaRGD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/TahaRGD07
Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser:
An Open Framework for Detailed Hardware Modeling. SIES 2007: 118-125

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.