GMariano's b-method [at least 200 articles] Export Sort

Recent papers added to GMariano's library classified by the tag b-method. You can also see everyone's b-method.

Hide details

	Évaluation des logiciels critiques: application à la méthode BAssessment of safety critical software: Application of method B [My Copy] Recherche - Transports - Sécurité, Vol. 58 (March 1998), pp. 21-36. by E. El Koursi posted to rts b-method 1998 by GMariano on 2009-11-06 12:20:23 as along with 1 group Formal methods for safety critical software
	Formalizing FreeRTOS: First Steps [My Copy] Formal Methods: Foundations and Applications (2009), pp. 101-117. by David Déharbe, Stephenson Galvão, Anamaria Moreira posted to real_time_operating_system real_time free-rtos b-method by GMariano on 2009-11-06 11:37:20 as along with 1 group Formal methods for safety critical software
	Formal Modelling of a Microcontroller Instruction Set in B [My Copy] Formal Methods: Foundations and Applications (2009), pp. 282-289. by Valério Medeiros, David Déharbe posted to case-study b-method 2009 by GMariano on 2009-11-06 11:07:02 as along with 1 group Formal methods for safety critical software
	Improving Reliability of Cooperative Concurrent Systems with Exception Flow Analysis [My Copy] Journal of Systems and Software, Vol. In Press, Accepted Manuscript (2008) by Fernando C. Filho, Alexander Romanovsky, Cec�ia posted to alloy b-method exception-handling file-import-08-12-29 by GMariano on 2008-12-29 10:59:12 as
	A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of Vehicles [My Copy] ERCIM News (2008), pp. 33-34. by Jeanine Souquières posted to b-method components formal-methods safecode by GMariano on 2008-12-08 08:29:02 as
	B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments. [My Copy] (November 2006) by Akram Idani posted to b-method b-to-uml reverse-engeniering uml-to-b by GMariano on 2008-11-16 14:58:41 as
	Abstract State Machines, B and Z, First International Conference, ABZ 2008 [My Copy] In ABZ, Vol. 5238 (16-18 September 2008) edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca posted to abz-2008 b-method event-b formal-methods by GMariano on 2008-11-03 11:17:03 as
	Object Modelling in the SystemB Industrial Project [My Copy] In ABZ'2008 (Short Papers), Vol. 5238 (2008) by Helen Treharne, Edward Turner, Steve Schneider, Neil Evans edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca posted to abz-2008 b-method event-b object system-b by GMariano on 2008-11-03 11:12:29 as
	Modelling and Proof of a Tree-Structured File System in Event-B and Rodin [My Copy] Formal Methods and Software Engineering (2008), pp. 25-44. by Kriangsak Damchoom, Michael Butler, Jean-Raymond Abrial posted to b-method event-b file-system rodin-tool tree-structure by GMariano on 2008-10-30 14:02:48 as along with 2 people and 1 group michaelbanks jhs06r Formal methods for safety critical software
	Reuse of SML module system for the B language [My Copy] In FDL'2004 (Forum on Specification and Design Languages) by Dorian Petit, Vincent Poirriez, Georges Mariano posted to b-method formal-methods harper-lillibridge-leroy module-system sml by GMariano on 2008-10-02 16:08:35 as along with 1 group Formal methods for safety critical software
	Using EventB to Create a Virtual Machine Instruction Set Architecture [My Copy] Abstract State Machines, B and Z (2008), pp. 265-279. by Stephen Wright posted to abz-2008 b-method event-b by GMariano on 2008-09-30 15:22:34 as
	Revisiting the traffic lights B case study [My Copy] (2001), pp. 1-24. by Mireille Ducassé, Laurence Rozé edited by Institut de recherche en informatique et systèmes aléatoires, Rennes, FRANCE posted to b-method case-study tutorial by GMariano on 2008-09-30 09:48:47 as
	Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems [My Copy] No. RR-6304. (2007) by Olivier Simonin, Arnaud Lanoix, Samuel Colin, Alexis Scheuer, François Charpillet posted to design hal-samuel-colin-import-08-09-10 influencereaction mas method model patterns platooning situated b-method by GMariano on 2008-09-10 13:56:47 as
	Schémas de développement d'adaptateurs à l'aide de B [My Copy] In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07) (2007), pp. 91-108. by Arnaud Lanoix, Samuel Colin, Jeanine Souquières posted to adaptateur b-method composant construction hal-samuel-colin-import-08-09-10 raffinement sre vrification by GMariano on 2008-09-10 13:56:47 as
	B: towards zero defect software [My Copy] (2001), pp. 23-42. by Ib Sorensen, David Neilson posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Approches Formelles dans l'Assistance au Développement de Logiciels [My Copy] (October 1998) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	FM'99 -- B Users Group Meeting -- Applying B in an industrial context : Tools, Lessons and Techniques [My Copy] (1999) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Approches Formelles dans l'Assistance au Développement de Logiciels [My Copy] (January 2000) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Approches Formelles dans l'Assistance au Développement de Logiciels [My Copy] (June 2001) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Approches Formelles dans l'Assistance au Développement de Logiciels [My Copy] (January 2003) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Fourth International Conference on Integrated Formal Methods [My Copy] No. 2999. (April 2004) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Approches Formelles dans l'Assistance au Développement de Logiciels [My Copy] (June 2004) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Fifth International Conference on Integrated Formal Methods [My Copy] No. 3771. (November 2005) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Approches Formelles dans l'Assistance au Développement de Logiciels [My Copy] (2006) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Communication Process Architecture 2007 [My Copy] (July 2007) posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Proceedings of FM'99: World Congress on Formal Methods [My Copy] No. 1708. (September 1999) edited by Jeannette M. Wing, Jim Woodcock, Jim Davies posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Proceedings of FM'99: World Congress on Formal Methods [My Copy] No. 1709. (September 1999) edited by Jeannette M. Wing, Jim Woodcock, Jim Davies posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	ZB'2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings [My Copy] In ZB05, Vol. 3455 (2005) edited by Helen Treharne, Steve King, Martin C. Henson, Steve Schneider posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Program Development by Refinement : Case Studies Using the B Method [My Copy] No. ISBN 1-85233-053-8. (December 1998) edited by E. Sekerinski, K. Sere posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	Formal Methods and Automation and Safety in Railway and Automotive Systems [My Copy] In FORMS'2004 / FORMAT'2004 (December 2004) edited by E. Schnieder, G. Tarnai posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:42 as
	VDM91. Formal Software Development Methods. 4th International Symposium of VDM Europe Proceedings. Vol.2: Tutorials [My Copy] (October 1991) edited by S. Prehn, W. J. Toetenel posted to abel-formal-development b-method formal-logic formal-software-development formal-specification larch lcl-specification-languages mathematical-methods programming-theory prospectra-methodology raise refinement-calculus reliable-systems-development software-reliability specification-languages vdm file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	Application des techniques formelles au logiciel [My Copy] (1997) edited by A. Oft posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	UML-B Specification for Proven Embedded Systems Design [My Copy] (2004) edited by Jean P. Mermet posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005 [My Copy] No. 3785. (November 2005) edited by Kung K. Lau, Richard Banach posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besan\\ccon, France, January 17-19, 2007, Proceedings [My Copy] Vol. 4355 (2006) edited by Jacques Julliand, Olga Kouchnarenko posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	Applications of Formal Methods [My Copy] (1995) edited by M. G. Hinchey, J. P. Bowen posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	B'98 : The 2nd International B Conference, Proceedings of the Educational Session [My Copy] (April 1998) edited by H. Habrias, S. E. Dunn posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	Proceedings of the 1st Conference on the B method [My Copy] (November 1996) edited by Henri Habrias posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	ZB'2000 -- International Conference of B and Z Users [My Copy] Vol. 1878 (August 2000) edited by D. C. S. York posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	VDM 88. VDM - The Way Ahead. 2nd VDM-Europe Symposium. Proceedings [My Copy] (September 1988) edited by R. Bloomfield, L. Marshall, R. Jones posted to algebraic-domain-equations b-tool character-sets chinese-characters compiler-prototyping computer-graphics flagship formal-logic formal-reasoning formal-specification metasoft modula-2 muffin nusl predicates program-compilers program-verification proof-rules raise sample software-support software-tools specification-languages standardisation-vdm term-rewriting three-valued-logic vdm vip b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	ZB'2003 -- Formal Specification and Development in Z and B,International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings [My Copy] Vol. 2651 (June 2003) edited by Didier Bert, Jonathan P. Bowen, S. King, M. Waldén posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	ZB'2002 -- Formal Specification and Development in Z and B [My Copy] Vol. 2272 (January 2002) edited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	B'98 : The 2nd International B Conference, Recent Advances in the Development and Use of the B Method [My Copy] Vol. 1393 (April 1998) edited by Didier Bert posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	Software Engineering with B [My Copy] (September 1996) by John Wordsworth posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:41 as
	The Role of Testing in the B Formal Development Process [My Copy] In Proceedings of 6th International Symposium on software Reliability Engineering (ISSRE'95) (October 1995), pp. 205-28. by Hélène Waëselynck, Jean L. Boulanger posted to b-formal-development-process b-method classical-verification-steps fault-avoidance file-import-08-08-21 formal-approach integration-testing proved-refinement-steps software-development-process testing ultra-high-dependability by GMariano on 2008-08-21 10:10:41 as
	A comparison of modularity in B and Cogito [My Copy] In Formal Methods Pacific (1997), pp. 263-286. by Geoffrey N. Watson edited by S. Reeves, L. Groves posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:40 as
	Formalisation des modèles d'information d'administration de réseaux à l'aide de la méthode B : Application au langage GDMO [My Copy] (2001) by David Watrin posted to b-method formalisation formal-language gdmo modelling network-administration object-oriented-method qos reliability file-import-08-08-21 by GMariano on 2008-08-21 10:10:40 as
	Reasoning about Action Systems using the B-Method [My Copy] Formal Methods in System Design: An International Journal, Vol. 13, No. 1. (May 1998), pp. 5-35. by M. Waldén, K. Sere posted to action-systems b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:40 as
	Towards a framework for testing B models [My Copy] No. 97225. (1997) by Hélène Waeselynck, Salimeh Behnia posted to testing b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:40 as
	B model animation for external verification [My Copy] No. 97392. (1997) by Hélène Waeselynck, Salimeh Behnia posted to b-method file-import-08-08-21 by GMariano on 2008-08-21 10:10:40 as

Note: You may cite this page as: http://www.citeulike.org/user/GMariano/tag/b-method

Result page: 1 2 3 4 5 6 7 8 9 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

b-method	446
file-import-08-08-21	432
uml	32
event-b	29
uml-to-b	21
refinement	20
formal-specification	19
amn	18
formal-methods	16
hardware	16
tools	15
smartcards	14
codesign	14
bhdl	13
railway	13
testing	13
model-checking	12
b-to-uml	11
javacard	10
csp	9
code-generation	9
components	8
b-toolkit	8
prj-brillant	7
formal-development	6
case-study	6
pro-b	6
program-verification	6
z	6
b-tool	6
ocl	6
software-engineering	6
software-tools	6
vdm	5
formal-method	5
pamn	5
specification-languages	5
hal-samuel-colin-import-08-09-10	5
abz-2008	5
modularity	5
hci	5
proof	4
generalised-substitutions	4
coq	4
substitution	4
verification	4
tool	4
animation	4
probabilistic-b	4
programming-theory	4
action-systems	4
software-development	4
safety-critical-software	4
validation	3
theorem-proving	3
object-oriented	3
java	3
combining-formalisms	3
patterns	3
inference-mechanisms	3
rewriting	3
data-refinement	3
proof-assistant	3
formal-approach	3
specification	3
software-specification	3
floating-point	3
programming	3
design	3
set-theory	3
bicoq	3
automatic-code-generation	3
vhdl	3
maintenance	3
formal	3
method	3
formal-logic	3
pattern-matching	3
protocol	3
elan	2
model-based-specifications	2
specifications	2
ieee-std-754	2
weakest-preconditions	2
specification-language	2
reactive-systems	2
probability	2
functional-specification	2
reachability	2
formal-verification	2
vrification	2
tla	2
software-verification	2
buchi-automata	2
specification-construction	2
numerical-analysis	2
b-theory-language	2
raise	2
authentication	2
sre	2
tutorial	2
adaptateur	2
sdl	2
safecode	2
model	2
logic-programming	2
grid-computing	2
guarded-command-notation	2
integrated-program-suite	2
concurrency	2
proof-base-development	2
expression-transformers	2
program-correctness	2
construction	2
online	2
built-in-structuring-mechanisms	2
integration	2
formal-specification-language	2
alloy	2
methodology	2
modelling	2
platooning	2
cics	2
reversible-computation	2
temporal-logic	2
2009	2
distributed-systems	2
axiomatic-specifications	2
pussee	2
maintainable-software	2
software-maintenance	2
petri-nets	2
systemc	2
consistency	2
time-requirements	2
rodin	2
predicate-calculus	2
rewrite-mechanisms	2
software-reliability	2
interface	2
raffinement	2
theorem-proving-assistant	2
composant	2
operators	2
structuring-mechanisms	2
safety-critical-applications	2
b-extension	2
reliable-systems-development	1
language-extensions	1
meteor	1
order-sorted-algebra	1
formal-software-developement	1
proved-refinement-steps	1
schema-composition	1
geometric-modelling	1
mas	1
handel-c	1
large-scale-safety-critical-development	1
distributed	1
incremental-construction	1
object	1
algebraic-specification	1
meta-iv	1
proof-obligations	1
transformation-rules	1
linear-temporal-logic	1
recursive-functions	1
mathematical-notions	1
situated	1
specification-case-study	1
three-valued-logic	1
middleware	1
system-b	1
jml	1
systems-specification	1
tdl	1
language	1
parallel-composition	1
t1-protocol	1
real_time_operating_system	1
document-handling	1
sml	1
marte	1
bunch-theory	1
specification-proof	1
probabilistic-algorithms	1
type-checker	1
thesis	1
phox	1
posix	1
b-theorem-prover	1
data	1
plx-code	1
development-aid	1
automatic-proof	1
theorem-proving-environment	1
safety-systems	1
rtl-level	1
industrial-projects	1
network-administration	1
1998	1
pvs-facilities	1
scenarios-symbolic-testing	1
hll	1
b-animation	1
stuttering	1
query-languages	1
abstract-specification	1
medical-application	1
computer-aided-programming	1
virtual-machine	1
graphics-kernel-system	1
task-validation	1
formal-software-development-methods	1
layered-software	1
fully-formal-proof	1
prospectra-methodology	1
data-integrity-constraints	1
conveyor-system	1
component-based-verification	1
genesyst	1
data-models	1
fault-tolerant-computing	1
model-oriented-specification	1
document-management-system	1
short-term-conflict-alert-air-traffic-control-function	1
trace-based-specifications	1
multi-agents	1
mathematical-methods	1
inference-engine	1
complete-formal-development-process	1
interactive-theorem-proving-assistants	1
systems-analysis	1
atelierb	1
domain-specific-languages	1
real-time	1
nonfunctional-requirements	1
stac	1
event-system	1
communication-channel	1
object-oriented-method	1
technology-transfer	1
reusability	1
multi-view	1
distributed-algorithms	1
case-toolset	1
symmetry-reduction	1
gdmo	1
logical-correctness-of-programs	1
deep-embedding	1
transition-systems	1
integration-testing	1
reliability	1
kaos	1
automatic-proof-assistants	1
composing-specifications	1
modular-verification	1
executable-program	1
train	1
software-construction	1
fault-tolerance	1
ltl	1
abstraction	1
b-specifications	1
bphox	1
proof-rules	1
requirements-analysis	1
rodin-tool	1
provers	1
standard-library-machines	1
automotive	1
mathematically-based-formal-method	1
formalisation	1
formal-software-development	1
mutual-exclusion	1
automatic-coding	1
software-package	1
framing	1
flagship	1
obj	1
computer-aided-software-engineering	1
spark-ada-code	1
reverse-engeniering	1
mathematically-formal-approach	1
breakdown	1
modula-2	1
proof-printer	1
retrenchment	1
b0	1
highly-structured-data-handling	1
study	1
methods	1
module-system	1
mathematical-based-techniques	1
large-specification	1
information-systems	1
object-z	1
conceptual-modeling-language	1
qos	1
duration-calculus	1
software-programming	1
chinese-characters	1
type-checking	1
approach	1
ontology	1
pvs	1
industrial-quality-toolset	1
error-handling	1
formal-tools	1
rts	1
business-process	1
built-in-rules	1
z-specifications	1
circuit-design	1
attributes	1
formal-linux	1
interactive-prover	1
modularisation	1
interactive-proof-assistants	1
software-systems	1
ibm-hursley	1
database-programming-languages	1
implementation-technology	1
semi-automatic-production	1
component-interoperability	1
incremental-development	1
lcl-specification-languages	1
requirement	1
quicksort	1
program-compilers	1
dsl	1
language-interpreter	1
spin	1
performance	1
b-technology-evaluation	1
automaton	1
toolset	1
model-based-systems	1
specification-animation	1
classes	1
constraint-programming	1
visualisation	1
human-factors	1
zedb-tool	1
amba	1
semantics	1
communication-protocol	1
software-system-development	1
component-specifications	1
harper-lillibridge-leroy	1
algorithm-construction	1
railway-critical-systems	1
interactive-proof-assistant	1
incremental-verification	1
bluespec	1
virtual-machines	1
standardisation-vdm	1
predicate-transformers	1
byte-code	1
process-model	1
gec-alsthom	1
vues	1
distributed-architectures	1
dynamic-reconfiguration	1
uml-rsds	1
mathematical-models	1
formal-construction	1
algebraic-specifications	1
special-purpose-language	1
initial-specification	1
database-management-systems	1
verifiably-correct	1
fadec	1
csp-b	1
commitment	1
relational-databases	1
invariance	1
general-principles	1
computer-graphics	1
core-requirements-modelling-method	1
sample	1
compositional-verification	1
computerised-control	1
stepwise-development	1
software-support	1
vip	1
z-style-specification	1
prospective-value-semantics	1
internal-telephone-number-database	1
secondary-memory-space	1
software-engineering-tool-writing	1
formal-requirements-expression	1
probabilistic-predicate-transformers	1
free-rtos	1
animating-tool	1
wp-calculus	1
xml	1
constraints	1
formal-reasoning	1
term-rewriting	1
optimisation	1
amn-proof-tool	1
asynchronous-circuits	1
term-rewriting-task	1
schemas	1
algebraic-domain-equations	1
term-transformers	1
goal-oriented-proofs	1
larch	1
verifiable-code	1
design-patterns	1
rational-rose	1
scheduling	1
specification-pattern	1
correctness	1
b-abstract-systems	1
hiding	1
software-tool-software-development	1
formal-software-development-process	1
reuse	1
jvm	1
randomised-algorithms	1
formal-language	1
software-design	1
backtracking	1
formal-technique	1
correct-construction	1
proof-proving-tool	1
refinement-validity	1
b-formal-development-process	1
grammar	1
implementability-proof-obligation	1
systems	1
e3	1
muffin	1
process-algebra	1
software-design-specification	1
mathematical-construction	1
method-integration	1
computer-aided-system	1
provably-correct-software	1
design-by-contract	1
certification-process	1
static-modelling	1
mathematical-transformation	1
large-developments	1
adapter	1
application-specific-theories	1
graphical-specifications	1
decision-procedure	1
use-case	1
class-diagram	1
program-construction	1
memory-management	1
fault-avoidance	1
influencereaction	1
program-specification	1
vital-coded-processor	1
provably-correct-spark-ada	1
spanning-tree	1
interactive-program	1
dbpl	1
memvatex	1
hardware-formal-specification	1
programming-calculi	1
compiler-prototyping	1
protocols	1
tree-structure	1
software-development-process	1
constraint-logic-programming	1
programming-languages	1
be4	1
objects	1
formal-proof	1
precondition	1
design-verification	1
design-pattern	1
gks	1
safety	1
nusl	1
verifiably-correct-software	1
formal-proofs	1
real-software-engineering	1
propositional-calculus	1
industrial-application	1
acl2	1
abel-formal-development	1
flexible-symbolic-inference-engine	1
lustre	1
automatic-theorem-proving-assistants	1
case	1
security-policy	1
people	1
ultra-high-dependability	1
requirement-engeeniering	1
sysml	1
refinement-calculus	1
demonstration	1
system-recovery	1

GMariano's b-method [at least 200 articles] Export Sort

GMariano's tags