GMariano's library 470 articles Export

	É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
	Ontology-driven middleware for next-generation train backbones [My Copy] Sci. Comput. Program., Vol. 66, No. 1. (2007), pp. 4-24. by Stijn Verstichel, Sofie Van Hoecke, Matthias Strobbe, et al.Steven Van den Berghe, Filip De Turck, Bart Dhoedt, Piet Demeester, Frederik Vermeulen posted to backbones middleware ontology railway train by GMariano on 2009-01-13 16:02:22 as
	What Every Computer Scientist Should Know About Floating-Point Arithmetic [My Copy] ACM Computing Surveys, Vol. 23, No. 1. (1991), pp. 5-48. by David Goldberg posted to floating-point ieee-std-754 numerical-analysis by GMariano on 2009-01-09 15:08:17 as along with 14 people ryidle higepon derek_farn ansobol brian yaroslavvb jrw croys ozarfreo sachingarg dguibert chrisatcite bsilverthorn pedagand
	Formal Methods Applied to a Floating-Point Number System [My Copy] IEEE Trans. Softw. Eng., Vol. 15, No. 5. (1989), pp. 611-621. by Geoff Barrett posted to floating-point formal-method ieee-std-754 z by GMariano on 2009-01-08 15:34:46 as
	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
	Model-based Methodology for Requirements Traceability in Embedded Systems [My Copy] In Proceedings of the 3rd ECMDA Traceability Workshop (2007) by A. Albinet, J. L. Boulanger, H. Dubois, M. A. Peraldi-Frati, Y. Sorel, Q. D. Van posted to automotive marte mde memvatex real-time safecode sysml uml by GMariano on 2008-11-27 11:20:34 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
	The Coq Proof Assistant A Tutorial [My Copy] (August 2007) by Gerard Huet, Gilles Kahn, Christine Paulin-Mohring posted to coq proof-assistant tutorial by GMariano on 2008-10-14 08:47:25 as along with 2 people msakai shimomura
	Tutorial on the event-based B method [My Copy] (2006) by Dominique Cansell, Dominique Méry posted to formal invariance method modelling proof-base-development refinement theorem-proving by GMariano on 2008-10-13 09:18:20 as
	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
	Formal methods: state of the art and future directions [My Copy] ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643. by Edmund M. Clarke, Jeannette M. Wing posted to formal-methods safety-critical-software by GMariano on 2008-10-02 15:09:35 as along with 8 people mishra_satish michaelbanks richardmitchell jrw bfraser leonardo RalfMitschke mmuecke
	Verification and Validation of Web Service Composition Using Event B Method [My Copy] Abstract State Machines, B and Z (2008), pp. 339-340. by Idir Ait-Sadoune, Yamine Ait-Ameur posted to no-tag by GMariano on 2008-09-30 15:23:35 as
	A First Attempt to Express KAOS Refinement Patterns with Event B [My Copy] Abstract State Machines, B and Z (2008), pp. 338-338. by Abderrahman Matoussi, Frédéric Gervais, Régine Laleau posted to abz-2008 event-b kaos requirement-engeeniering by GMariano on 2008-09-30 15:23:04 as along with 1 person leonardo
	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
	A Verifiable Conformance Relationship between Smart Card Applets and B Security Models [My Copy] Abstract State Machines, B and Z (2008), pp. 237-250. by Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet posted to no-tag by GMariano on 2008-09-30 15:21:42 as
	Reconciling Axiomatic and Model-Based Specifications Reprised [My Copy] Abstract State Machines, B and Z (2008), pp. 223-236. by Ken Robinson posted to no-tag by GMariano on 2008-09-30 13:57:28 as
	The Composition of Event-B Models [My Copy] Abstract State Machines, B and Z (2008), pp. 209-222. by Michael Poppleton posted to no-tag by GMariano on 2008-09-30 13:56:49 as
	A Practical Single Refinement Method for B [My Copy] Abstract State Machines, B and Z (2008), pp. 195-208. by Steve Dunne, Stacey Conroy posted to no-tag by GMariano on 2008-09-30 13:55:35 as
	Towards Modelling Obligations in Event-B [My Copy] Abstract State Machines, B and Z (2008), pp. 181-194. by Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard posted to no-tag by GMariano on 2008-09-30 13:54:31 as along with 1 person michaelbanks
	UseCase-Wise Development: Retrenchment for Event-B [My Copy] Abstract State Machines, B and Z (2008), pp. 167-180. by Richard Banach posted to no-tag by GMariano on 2008-09-30 13:53:17 as
	Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance [My Copy] Abstract State Machines, B and Z (2008), pp. 153-166. by Frédéric Dadeau, Adrien De Kermadec, Régis Tissot posted to b-animation formal-linux model-based posix scenarios-symbolic-testing testing by GMariano on 2008-09-30 13:41:49 as
	Generating Tests from B Specifications and Test Purposes [My Copy] Abstract State Machines, B and Z (2008), pp. 139-152. by Jacques Julliand, Pierre-Alain Masson, Régis Tissot posted to no-tag by GMariano on 2008-09-30 13:40:33 as
	On the Purpose of Event-B Proof Obligations [My Copy] Abstract State Machines, B and Z In Abstract State Machines, B and Z (2008), pp. 125-138. by Stefan Hallerstede posted to abz-2008 event-b by GMariano on 2008-09-30 13:29:14 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
	Trustworthy interface compliancy: data model adaptation using B refinement [My Copy] In Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS (2007) by Samuel Colin, Arnaud Lanoix, Jeanine Souquières posted to adapter approach components correctness data formal hal-samuel-colin-import-08-09-10 interface interoperability method model by GMariano on 2008-09-10 13:56:47 as
	Towards Validating a Platoon of Cristal Vehicles using CSP\|\|B [My Copy] In 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008) (July 2008) by Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières edited by Springer posted to case csp csp-b distributed formal hal-samuel-colin-import-08-09-10 methods platooning study systems by GMariano on 2008-09-10 13:56:47 as
	Développement formel par composant : assemblage et vérification à l'aide de B [My Copy] Techniques et Sciences Informatiques, Vol. 27, No. 8. (October 2008), pp. 1007-1032. by Arnaud Lanoix, Samuel Colin, Jeanine Souquières posted to adaptateur assemblage composant construction hal-samuel-colin-import-08-09-10 interface raffinement sre vrification by GMariano on 2008-09-10 13:56:46 as
	A Formal Framework for UML Modelling with Timed Constraints: Application to Railway Control Systems [My Copy] In SVERTS 2004, in [GHOS04], 2004 Susanne Graf1 and Øystein Haugen2 and Ileana Ober1 and Bran Selic3 (2004) by Rafael Marcano, Samuel Colin, Georges Mariano posted to formal-methods railway uml by GMariano on 2008-09-05 15:55:56 as
	The pitfalls of verifying floating-point computations [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 30, No. 3. (30 December 2008) by David Monniaux posted to bugs floating-point numerical-analysis by GMariano on 2008-09-04 11:48:43 as along with 1 person ansobol
	OCL-Based Validation of a Railway Domain Profile [My Copy] Models in Software Engineering (2007), pp. 159-168. by Kirsten Berkenkötter posted to ocl railway by GMariano on 2008-08-28 08:59:54 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

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

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

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

GMariano's library 470 articles Export

GMariano's tags